📖
OpenAI成立数学与人工智能咨询小组:有发言权,没有决策权
OpenAI人工智能2026 年 9 月 22 日
📖
OpenAI内部模型解开100多个数学难题,数学证明不再只属于数学家
AIOpenAI2026 年 9 月 22 日
📡
陶哲轩称目前没人能完整解释为什么LLM有效
𝕏2026 年 9 月 13 日
📡
@mathandcobb 谈 LLM 解决数学难题不能只给答案
𝕏2026 年 9 月 12 日
📖
NYU教授:OpenAI用我们的Codex数据抢先发布千禧年证明
AI学术争议2026 年 9 月 9 日
📖
OpenAI用未发布模型解决千禧年难题,被指抢先于数学家团队
AI商业2026 年 9 月 9 日
📖
OpenAI用AI解决了百万美元千禧年数学难题,引发争议
AI科技进展2026 年 9 月 9 日
📡
新一代AI数学模型还没解决纳维-斯托克斯问题
𝕏2026 年 9 月 6 日
📖
人类留一句话 AI 独自干一天半推进150年数学难题
AI大语言模型2026 年 8 月 12 日
📖
AI未解出黎曼猜想,却将零点比例下界提升至67.2%
AI2026 年 8 月 11 日
📡
这位研究者分享了能帮你读懂AI证明的prompt
𝕏2026 年 8 月 8 日
📖
OpenAI发布十项数学与理论计算机科学前沿进展
AI科技进展2026 年 8 月 2 日
📡
数学家拿大模型算题,居然算出了新成果
𝕏2026 年 7 月 28 日
📡
Claude Fable 5帮忙解开了一个存了87年的数学题
𝕏2026 年 7 月 23 日
📡
数学家陶哲轩用ChatGPT聊数学猜想反例
𝕏2026 年 7 月 23 日
📡
持续五十年的人机协作数学时代,要结束了?
𝕏2026 年 7 月 20 日
📡
AI刚解决几何难题,现在又要冲新数学论文
𝕏2026 年 6 月 28 日
📡
GPT-5.5 Pro给出埃尔德什第514号问题近似解
𝕏2026 年 6 月 21 日