OpenAI 公布前沿模型数学开放问题新成果并开源 Lean 证明形式化
OpenAI 公布其内部前沿模型在数学开放问题上取得的新结果，并在 GitHub 上分享 Lean 证明形式化及相关研究细节。
#OpenAI
#OpenAI
今日 0 条OpenAI News精选AI 评分3030 arXiv · cs.CY（AI+教育/社会）精选AI 评分6060 研究审计 Claude Opus 4、GPT-4.1 与 Gemini 2.5 Pro 的多语言数学题文化改编
研究分析 Claude Opus 4、GPT-4.1 和 Gemini 2.5 Pro 如何将 60 道英文数学应用题改编为孟加拉语、印地语、旁遮普语（印度）、乌尔都语、信德语（巴基斯坦）、意大利语和西西里语，并标注了 6489 处实体转换。
推荐理由：论文用 6489 处实体标注量化了三个模型在多语言数学题改编中的文化偏差，为个性化学习内容审核提供了可复用的审计方法。
arXiv · cs.CY（AI+教育/社会）AI 评分4141 GPT-5.4 双建议对比单建议 AI 辅助：住院医师影像判读随机多读者研究
一项在中国三家医院开展的随机三臂多读者研究显示，132 名临床经验不足 3 年的住院医师在 AI 辅助下判读 60 张影像，放射科住院医师采用 GPT-5.4 加 Kimi-K2.6 或 Gemini-3.6 Flash 的双建议支持，准确率提升比单用 GPT-5.4 高 6.69 和 7.87 个百分点（Holm 校正 P=0.030），非放射科住院医师则无显著差异。
Inside Higher EdAI 评分6262 马里兰大学自研 AI 学习助手研究未得出明确结论
马里兰大学对其自研的生成式 AI 学习助手 Virtual Study Assistant（VSA）开展随机对照试验，结果显示 VSA 使用权限使同一课程各分班的期末成绩和 LMS 参与度略有下降，但 VSA 样本中仅约 15% 的学生实际使用。
量子位（AI，覆盖 AI+教育）精选AI 评分6262 丘成桐参与论文致谢GPT 6 Astra和Claude Pro，宣称解决七维怪球正曲率问题
丘成桐参与的一篇微分几何论文在致谢中感谢GPT 6 Astra和Claude Pro，称二者在部分证明策略探索和计算中提供了帮助，论文同时声明人工验证与写作由作者负责。
arXiv · cs.CY（AI+教育/社会）AI 评分2222 CALLIOPE：一个基于来源的口语测评系统与合成就绪度评估
CALLIOPE 是一个基于来源的口语测评系统，整合版本化教学材料、学习者录音转写、自适应提问、双供应商评分标准打分、教师复核与可导出证据。2026 年 9 月 25 日的合成验证记录显示，三个口语样本在最终发布演练中获 AI 总分 100、62、8（满分 100），并触发两次供应商分歧标记；两轮运行中 8 个检索音频文件均与输入逐字节一致。
OpenAI News精选AI 评分2727 OpenAI 设立 500 万美元资助计划，研究生成式 AI 对青少年发展的影响
OpenAI 开放申请一项总额 500 万美元的资助计划，支持针对生成式 AI 如何影响青少年发展、身心健康与安全的独立研究。
arXiv · cs.CY（AI+教育/社会）精选AI 评分6262 研究：印度、尼日利亚、巴西、巴基斯坦用户如何使用 ChatGPT
研究分析了印度、尼日利亚、巴西和巴基斯坦 1252 名用户的 202590 条完整 ChatGPT 对话，时间跨度为 2022 年 12 月至 2026 年 2 月，是首个基于对话层面、带人口统计信息的非西方国家 ChatGPT 使用比较。
推荐理由：基于四国 20 万余条真实对话，呈现 ChatGPT 使用目的与话题的国别差异，为理解学生与教师实际用法提供一手数据。
OpenAI NewsAI 评分3535 OpenAI 推出 MentalHealthBench：面向心理健康对话的 AI 评测基准
OpenAI 发布 MentalHealthBench，这是一个由专家参与构建的评测基准，用于评估 AI 在真实心理健康对话中回应的有用性与安全性。该基准覆盖多种贴近实际的对话场景，衡量模型在心理健康语境下的表现。
OpenAI NewsAI 评分2222 OpenAI 经济研究：员工如何用 AI 解锁新的工作方式
OpenAI 经济研究显示，员工使用 AI 的方式已超出传统岗位职责，部分新活动正成为其工作中的常规环节。该研究关注这些新工作方式的具体形态及其在员工日常工作中的固化情况。
OpenAI NewsAI 评分1212 一位研究者如何用 Codex 和 ChatGPT 寻找新型抗菌分子
César de la Fuente 的实验室利用 Codex 和 ChatGPT，在现存与已灭绝生物的基因组中搜寻抗菌候选分子，以对抗耐药性感染。
OpenAI NewsAI 评分88 OpenAI 分享 Navier–Stokes 千禧年大奖难题的 AI 生成解答
OpenAI 分享了一份针对 Navier–Stokes 千禧年大奖难题的 AI 生成解答，包含一份书面说明和一份 Lean 形式化证明。