[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"news-slug-openai-erdos-unit-distance-disprove":3,"topics-all":37,"news-related-54e3cac6-61df-4c68-bf07-559e94ae2624":56},{"id":4,"title":5,"summary":6,"content":6,"original_url":7,"source_id":8,"tags":9,"translations":23,"news_slug":29,"published_at":30,"created_at":31,"modified_at":32,"is_published":33,"publish_type":34,"image_url":35,"view_count":36},"54e3cac6-61df-4c68-bf07-559e94ae2624","OpenAI 推理模型攻克80年数学难题：证明埃尔德什单位距离猜想不成立","在人工智能与数学交汇的前沿，一场迟到七个月的正名之战终于落下帷幕。2026年5月20日，OpenAI 宣布其通用推理模型成功证明了埃尔德什（Paul Erdős）于1946年提出的单位距离猜想不成立——这是数学史上首次由 AI 自主完成且获领域专家背书的开难题证明。\n\n事件回顾：从翻车到翻盘。去年10月，前 OpenAI VP Kevin Weil 高调宣布 GPT-5 解决了10个此前无解的埃尔德什问题，随后被数学家 Thomas Bloom 公开批为严重的虚假陈述——模型只是复现了文献中已有的解，一度让 OpenAI 在学术圈颜面尽失。\n\n七个月后，OpenAI 卷土重来。这次有 Noga Alon、Melanie Wood、Thomas Bloom 等顶级数学家联名发布配套评论，验证了证明的正确性。Bloom 曾尖锐批评过 OpenAI 此前的失误，此次亲自表态认可，足见结论的分量。\n\n技术突破意味着什么？该模型并非专门针对数学设计，而是通用推理模型。它能驾驭长链条逻辑、跨领域关联，发现了比传统近似方形网格更优的全新构造方法。Bloom 写道：AI","https:\u002F\u002Ftechcrunch.com\u002F2026\u002F05\u002F20\u002Fopenai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time\u002F","226bcb3d-18b8-4bb0-a999-4e82ec13f5fd",[10,14,17,20],{"id":11,"name":12,"slug":12,"description":13,"color":13},"5e628969-6d2a-437f-998a-104e4b16cfb1","ai-progress",null,{"id":15,"name":16,"slug":16,"description":13,"color":13},"0a93ec8e-ea39-4693-81de-563ca8c173f7","inference",{"id":18,"name":19,"slug":19,"description":13,"color":13},"01598627-1ea6-4b27-a5d8-874971571a71","llm",{"id":21,"name":22,"slug":22,"description":13,"color":13},"42e59a88-7795-47dc-a334-ef1e72c24347","openai",[24],{"id":25,"lang":26,"title":27,"summary":28,"content":13},"6b280803-e9f8-4feb-bb9d-bd0fc87c3c76","en","OpenAI reasoning model cracks the 80-year Erdos distance problem","At the intersection of AI and mathematics, a long-overdue redemption arc has finally concluded. On May 20, 2026, OpenAI announced that its general reasoning model had successfully proven the unit distance conjecture, posed by Paul Erdős in 1946, to be false — the first time in mathematical history an AI has independently completed a proof of an open problem and earned endorsement from domain experts.\n\n**Recap: from fiasco to comeback**\n\nLast October, then-OpenAI VP Kevin Weil loudly announced that GPT-5 had solved 10 previously-unsolved Erdős problems, only to be publicly rebuked by mathematician Thomas Bloom as a serious misrepresentation — the model had merely reproduced existing solutions from the literature, briefly costing OpenAI its standing in the academic world.\n\nSeven months later, OpenAI struck back. This time, top mathematicians including Noga Alon, Melanie Wood, and Thomas Bloom co-published companion commentary validating the proof. Bloom had sharply criticized OpenAI's previous misstep, and his personal endorsement this time speaks volumes about the weight of the conclusion.\n\n**What does the technical breakthrough mean?**\n\nThe model was not specifically designed for mathematics — it is a general reasoning model. It could navigate long chains of logic and cross-domain connections, discovering a brand-new construction superior to the traditional approximate square grid. As Bloom wrote: AI is helping us more completely explore the mathematical cathedral humans have built over centuries. What other undiscovered wonders are waiting?\n\nPrevious doubts about AI's math ability focused on hallucination and memorization. This time, hallucination was ruled out through independent mathematician verification, and the originality of the construction rules out memorization. This isn't the end, but it is a turning point — from solving math problems to doing math research.","openai-erdos-unit-distance-disprove","2026-05-21T04:10:00Z","2026-05-21T04:06:35.194936Z","2026-08-19T02:08:40.142862Z",true,"agent","正在帮助我们更完整地探索几个世纪以来人类建造的数学殿堂。还有什么未被发现的奇迹在等待？\n\n此前外界对 AI 数学能力的质疑主要集中在幻觉和记忆两方面。这次通过数学家独立验证排除幻觉，通过原创构造证明非记忆。这不是终点，但确实是一个转折点——从会做数学题到能做数学研究。",282,[38,47],{"slug":39,"tag_slug":39,"title_zh":40,"title_en":41,"intro_zh":42,"intro_en":43,"id":44,"is_active":33,"created_at":45,"modified_at":46},"ai-for-science","AI for Science 2026：从 UniPert 到 GPT-Rosalind 的硬核进化","AI for Science 2026: from UniPert to GPT-Rosalind","生命科学、化学材料、物理世界模型——AI 正在从\"语言工具\"变成\"实验伙伴\"。本专题收录 AI 在三大科学方向的关键节点：UniPert 统一基因与化学扰动空间、GPT-Rosalind 端到端生命科学推理、达摩院 AI 智能体 28 小时找到 4 种超导新材料、Anthropic Claude Science 把工作台做成标准品。","From language tool to lab partner — AI is reshaping life sciences, chemistry\u002Fmaterials, and physical world models. This topic covers the key milestones: UniPert unifying genetic-chemical perturbation spaces, GPT-Rosalind's end-to-end life-sciences reasoning, DAMO's AI agent discovering 4 superconducting materials in 28 hours, and Anthropic's Claude Science workbench going mainstream.","988a4300-5fab-41c4-b5d8-63711a2dc757","2026-09-10T01:34:15.296649Z","2026-09-10T01:34:15.296663Z",{"slug":48,"tag_slug":48,"title_zh":49,"title_en":50,"intro_zh":51,"intro_en":52,"id":53,"is_active":33,"created_at":54,"modified_at":55},"h3-series","MiniMax H3 系列：从开源权重到 35 倍吞吐","MiniMax H3 Series: from open weights to 35x throughput","MiniMax H3 自 2026 年 8 月开源以来节奏密集：官方把生成、参考与编辑收回一个模型；ComfyUI 当天压进 RTX 3060；摩尔线程 3 小时完成国产 GPU 适配；fal 后训练版把吞吐拉到 35 倍；FastH3 蒸馏再砍推理成本。本专题持续追踪 H3 的发布—开源—蒸馏—部署全链路。","Since MiniMax open-sourced H3 in August 2026 the pace has been relentless: one unified omni-modal model, same-day ComfyUI support down to an RTX 3060, a 3-hour Day-0 port to Moore Threads GPUs, fal's post-trained H3 Max at 35x throughput, and FastH3 distillation cutting inference cost further. This topic tracks the full H3 chain — release, open weights, distillation, deployment.","83ef0daa-3c31-4cb3-86ed-e5ee58654d5f","2026-09-08T07:33:19.942193Z","2026-09-08T07:33:19.942209Z",{"items":57},[58,63,68,73,78,83],{"id":59,"title":60,"news_slug":61,"published_at":62},"1942b07b-f794-42b1-b944-ca6b32d4ae16","四大 AI 模型同日集体掉线:OpenAI\u002FClaude 官方确认,Gemini\u002FGrok 表面沉默","four-ai-models-overlapping-outage-sept-2026","2026-09-06T08:00:00+00:00",{"id":64,"title":65,"news_slug":66,"published_at":67},"376f281c-ed27-44af-93ed-61be1683cbf8","OpenAI推理模型证明80年数学难题：通用推理能力的成人礼","openai-erdos-80-year-math-coming-of-age","2026-05-20T14:10:00+00:00",{"id":69,"title":70,"news_slug":71,"published_at":72},"1e43b4fc-39fe-4cac-aaf9-57f82d5c0311","AI 公司与数学界「错位」:两个月三次刷屏,把同行评审甩在身后","ai-math-severe-misalignment-fields-medal","2026-09-15T10:00:00+00:00",{"id":74,"title":75,"news_slug":76,"published_at":77},"982c5e1e-5274-442e-9237-abaf39e8ee3c","25 位菲尔茨奖得主联名公开信:AI 解题竞赛正在伤害数学","fields-medalists-ai-misalignment-math","2026-09-13T13:07:00+00:00",{"id":79,"title":80,"news_slug":81,"published_at":82},"2fc4f696-a697-498c-b9d5-28250bfeaa79","ChatGPT 进欧盟 VLOP 名单:OpenAI 第一次要为生成式 AI 内容负全责","chatgpt-eu-vlop-dsa-first-ai-platform-rules","2026-09-05T07:00:00+00:00",{"id":84,"title":85,"news_slug":86,"published_at":87},"390c2437-4e4f-45ec-8270-67c5bfa4fa47","ChatGPT、Claude、Grok、Gemini 罕见同时下线,周四早晨全球 AI 集体失声","chatgpt-claude-grok-gemini-thursday-outage","2026-09-05T06:00:00+00:00"]