https://www.neican.ai/tags/ai%E6%95%B0%E5%AD%A6%E8%AF%81%E6%98%8E/ Recent content in AI数学证明 on AI内参 Hugo zh-cn Thu, 11 Jun 2026 22:10:18 +0800 https://www.neican.ai/insights/ai784799-20260611221018933-2/ Thu, 11 Jun 2026 22:10:18 +0800 https://www.neican.ai/insights/ai784799-20260611221018933-2/ 陶哲轩的First Proof第二轮评测结果出炉：10道研究级数学难题中，AI解出7道达到发表标准的答案，最低成本仅8美元/题。其中一套AI系统还给出了人类从未想到的原创解法。不过陶哲轩认为整体表现未达预期，第三轮已安排上。 https://www.neican.ai/insights/aiclaude-mythos80openai-20260527191003310-0/ Wed, 27 May 2026 19:10:03 +0800 https://www.neican.ai/insights/aiclaude-mythos80openai-20260527191003310-0/ 上周AI界上演“神仙打架”：OpenAI、DeepMind、Anthropic三家在一周内各自用AI推翻了困扰数学家80年的Erdős单位距离猜想。其中Anthropic的Claude Mythos在断网隔离下，找到了一条比OpenAI更短更优雅的证明路径，还在第一个可行解前紧张得停手——让数学家们直呼“我懂你”。三年前GPT-4还做不了本科数学题，如今这些顶级难题正在变成AI的入学考试。