★ 5
OpenAI 一夜发布 722 篇数学论文，菲尔兹奖得主称不代表认可
OpenAI 公开其前沿大模型生成的大量数学研究成果，涉及黎曼猜想、霍奇猜想、BSD 猜想等重大方向，数量达 722 篇。三位菲尔兹奖得主表示，成果公开并不代表学界对其认可。该事件引发关于 AI 生成数学证明可信度与验证机制的广泛讨论。
量子位26 天前
#AI 科研
共 17 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 4
Sam Altman 回应数学界：OpenAI 数学成果发布不会停
OpenAI CEO Sam Altman 在播客中表示同情数学家的处境，但强调公众有权获得基础科学知识，公司不会停止发布 AI 生成的数学成果。他承认沟通方式需改进，同时被批评对杨-米尔斯理论等重大结果存在信息封锁。
快公司2 天前
★ 4
OpenAI 公布数学、计算机与物理三项发现，并设专家把关机制
OpenAI 宣布在数学、计算机科学和物理领域取得三项“重大”发现，包括证明指数时间假设（ETH）不成立、欧氏波动方程的局部光滑性，以及四维相互作用量子场论的严格存在性证明。与上次直接批量发布手稿不同，这次 OpenAI 邀请外部专家担任“牧羊人”指导结果发布，但其数学顾问小组同时建议 AI 公司…
The Verge AI6 天前
★ 4
arXiv 评测 GPT-6 Astra、Claude Opus 5.5 等预测 ML 实验效果
论文构建 288 条 LLM 提出的 ML 实验想法数据集，让 GPT-6 Astra、Claude Opus 5.5、Claude Fable 5.1、Kimi K3、GLM-5.3 预测训练结果。结果显示最佳模型 Claude Opus 5.5 仅解释一半方差（R²=0.49），所有模型系统性…
arXiv cs.LG13 天前
★ 4
Anthropic 称 Claude 半小时破解 ECDSA 曲线种子来源之谜
Anthropic 披露，一名员工让内部研究模型 Claude 追查 NIST 椭圆曲线 ECDSA 标准中「种子」参数的来源，Claude 在不到半小时内发现这些种子并非哈希结果，而是 C 库 lrand48 随机数生成器以 Unix 时间戳为种子的输出。该发现终结了密码学界数十年的猜测，并表明…
Hacker News16 天前
★ 4
AI 在 22 个科学领域发现被忽视的现成解决方案
Science 报道称，AI 在 22 个科学领域中找到了长期被忽视、其实已存在于文献中的问题解决方案。该成果展示了 AI 在跨学科知识挖掘与科学发现中的潜力。
Hacker News – AI22 天前
★ 3
OpenAI 公布模型在 Kakeya 猜想等数学难题上的结果
OpenAI 公开了模型在 Kakeya 猜想、指数时间假设与量子色动力学等问题上的计算结果，并说明研究者如何验证与在此基础上继续推进。这延续了 AI 模型参与数学与基础科学研究的讨论。
OpenAI7 天前
★ 3
ARATest：用属性测试核查 AI 智能体的科研主张
论文提出 ARATest，一个基于属性的测试库，把论文中的经验主张抽象为可执行的性质骨架并绑定证据。测试采用三值语义给出成立、违反或不确定三种判定，每次违反都附带可重放证据。在 33 份智能体科研产物的 243 条主张中，54 条完成忠实声明，其中 8 条被违反，两处违反暴露了作者确认的已发表论文…
arXiv cs.AI9 天前
★ 3
MELD：多智能体科研的分层协同自改进框架
论文提出 MELD，一个分层测试时训练框架，在单次科研发现流程中同时适配团队级 Coordinator 与个体级 Scientist 策略。两层在共享推导树上交替进行 GRPO 式更新，实现组织方式与研究行为的协同进化。在 22 个 MLGym 与 MLE-bench 任务中 20 个最优，协调与…
arXiv cs.AI12 天前
★ 3
Richard Socher 新书：AI 最大突破在科学发现而非聊天机器人
AI 研究者 Richard Socher 在新书《The Eureka Machine》中提出，AI 最有价值的应用是自动化科学发现，而非聊天机器人或生产力工具。他以 2024 年 Hassabis、Hinton 获诺贝尔奖为例，说明神经网络正深刻影响化学与物理。书中主张 AI 通过预测语言习得…
快公司15 天前
★ 3
西蒙斯基金会投 1500 万美元助数学家应对 AI
西蒙斯基金会宣布投入 1500 万美元，帮助数学界适应 AI 时代的研究方式变革。数学家陶哲轩在博客中介绍了该计划，旨在支持数学家在 AI 辅助证明、研究流程与人才培养方面进行探索。
Hacker News – AI17 天前
★ 3
中国数学家联合支持在研究中应用 AI
南华早报报道，中国多位顶尖数学家公开表态支持在数学研究中引入 AI 工具。此举反映 AI 辅助科研在基础数学领域获得主流学界认可，可能推动 AI 与数学证明、猜想验证的结合。
Hacker News – AI19 天前
★ 3
LabBench：AI 代理能否决定下一个实验
Gamow Labs 发布 LabBench 基准，用于评测 AI 代理在湿实验室中决定下一步实验的能力。该基准聚焦科研决策环节，试图衡量 AI 在真实实验流程中的自主判断水平。
Hacker News – AI33 天前
★ 2
RoundtableReview 多智能体框架提升自动论文评审质量
论文提出 RoundtableReview，将论文拆为八个语义槽位，协调六位视角互补的学术与产业评审智能体，通过独立评估、交叉质询、圆桌讨论与加权投票生成可追溯反馈。在两个自动研究骨干模型上，该方法以更少评论量提升了论文质量，并在自动与人工评测中优于基线。
arXiv NLP12 天前
★ 2
评论称 AI 是数学的 Uber 时刻
一篇博客文章认为 AI 正在给数学研究带来类似 Uber 颠覆出租车行业的转折点，主张 AI 将重塑数学发现与证明的方式。文章属于观点性评论。
Hacker News – AI14 天前
★ 2
Eurekist 推出 AI 驱动研究增速测量方法
Eurekist 提出一种衡量 AI 驱动科研产出指数级增长的方法，试图量化 AI 对研究节奏的实际加速作用。该工作关注如何用可观测指标评估 AI 在科学发现流程中的贡献，而非停留在个案叙述。
Hacker News – AI15 天前
★ 2
HN 讨论：AI 做数十年数学为何未引关注
Hacker News 用户发起讨论，质疑若 AI 已能完成数十年的数学工作，为何社会仍未给予足够重视。话题引发对 AI 科研能力与公众认知落差的思考。
Hacker News – AI24 天前
2026-W44本周数学领域由一起争议主导：10-30 OpenAI 被指抄袭并威胁数学家，千禧难题风波升级，4 篇报道。事件性质从学术讨论转向对 AI 公司与学界关系的质疑，相比常规研究进展，本周该主题的公共议题色彩明显加重，讨论焦点是行为与伦理而非数学成果本身。