分享数学方面的AI进展
OpenAI从内部前沿模型发布数学公开问题的新成果,并分享关于GitHub的Lean证明形式化和研究细节.
检索标题、摘要与正文,把分散的信息连起来。
OpenAI从内部前沿模型发布数学公开问题的新成果,并分享关于GitHub的Lean证明形式化和研究细节.
Jump Trading使用OpenAI扩展定量研究. 参见持续时间较长的AI工作流程如何将多个数据源与人文审查相结合.
OpenAI如何接近欧盟规则下的文字水标记. 了解水印的应用地点,检测工作如何,以及为什么访问始于研究人员.
GPT‐6 Astra允许平行公司的代理人在半个时间和半个成本中研究和综合劳动力市场数据,而不是以前的模型.
新的OpenAI经济研究显示,工人在传统角色之外如何使用AI,以及哪些新活动成为其工作的经常性部分.
采用ChatGPT用于金融服务,将内置金融数据和GPT-6 Astra用于研究、建模和客户准备的材料相结合.
César de la Fuente的实验室使用Codex和ChatGPT搜索活体基因组和已灭绝的基因组,寻找抗微生物候选人来对抗抗药性感染.
见麻省理工学院研究员如何使用GPT-5.6 Sol与Codex一起自主运行量子计算实验,分析结果,校准方位.
现在申请OpenAI500万美元的赠款计划.
在OpenAI内部,编码代理正在重塑AI研究. 探索有关剂用量,实验速度,任务复杂性,研究加速的早期数据.
ChatGPT现在可以连接到可信赖的保健数据,帮助临床医生安全地获取病人的背景,医学研究等等.
波利米尔使用OpenAI GPT模型和Codex帮助市镇搜索和使用行政知识,同时加快发展.
谷歌研究团队在I/O 2026大会上集中发布面向科学发现、气候预测、医疗健康与边缘计算的系列AI系统,包括多模态科研助手Gemini for Science、支持飓风预警的WeatherNext、可自主构建操作系统的Agentic平台Antigravity 2.0,以及开源量子芯片Willow等;所有成果均为实验性演示,尚无独立验证或监管批准。
推荐理由:人工审核
谷歌DeepMind与英国人工智能安全研究所(AISI)在关键的人工智能安全与保障研究领域加强合作