刚刚！OpenAI 连发三项科学成果，从 Kakeya 猜想到量子色动力学
10 月 26 日，OpenAI 发了一篇博客，语气很平，内容却像往基础科学界扔了三颗炸弹。
中国学者得奖后，美国OpenAI立马解决了十个菲尔兹奖级难题？
文 |议史纪编辑 |议史纪中国学者熬了十几二十年，才拿到全世界最顶级的数学奖，美国那边一个新模型一上线，马上解决了10个菲尔兹难度的难题？这事儿到底可能吗？
OpenAI破译数论百年悬案，揭开P≠NP重大线索，0千禧年神题逼近了
这两天，整个数学界和计算机圈，都陷入了巨大震撼。10月18日，斯坦福大学数论学家Jared Duker Lichtman在X上的话，瞬间引爆全网——
OpenAI被曝雪藏数百个证明，你死磕3年的题，答案可能早在服务器上
她的父亲Scott Aaronson，是德州大学奥斯汀分校的理论计算机科学教授，也曾在OpenAI对齐团队担任访问研究员。
OpenAI的下一代Astra，拿下10项开放问题新突破，成本仅2000美元
OpenAI 最近还宣布推出 ChatGPT for Academic Researchers，计划向 10 万名科学家和数学家免费开放其最强的 ChatGPT 模型。
与杨振宁、王虹有关，《量子杂志》简评OpenAI新发的三项重磅成果
为此，专门记录AI对数学影响的，由著名的《Quanta Magazine》新设立的“Transformation”的每周专栏也对此进行了专门报道;
数学大爆炸，OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。其中，OpenAI 未发布的 AI 模型证明了拟黎曼猜想，并同步发布了 Lean 形式化验证。
姚期智、杨植麟联合署名论文：9个前沿大模型，如何证明人类数学极限？
AI能当理论计算机科学家吗？姚期智和杨植麟共同署名的论文给出答案。如果把理论计算机科学比作数学界的“奥林匹克”，那它研究的不是怎么修电脑，而是计算本身的上限：哪些问题算得快，数学证明的极限在哪里。
中国人造出了那台“造AI的光刻机”吗？
（本文作者为 胡说成理，钛媒体经授权发布）文 | 胡说成理就在这两天，ForgeKernel，一个无人参与的Agent在无需参考DeepSeek原始实现的情况下，当着全网的面，把DeepSeek最新的核心算子写快了9.8%！
OpenAI被曝雪藏数百个证明！你死磕3年的题答案可能早在服务器上
数学家Scott Armstrong爆料，OpenAI至少从7月起压着数百个数学证明没发。机器出证明按天算、人类读懂按年算，数学界的老规矩正在失效。