AI颠覆80年数学猜想，学界迎来新纪元
OpenAI近期宣称，其人工智能（AI）推理能力再度实现重大突破，成功解决了一个困扰数学界长达80年的难题——由匈牙利数学家保罗·埃尔德什（Paul Erdős）在1946年提出的“平面单位距离问题”。埃尔德什提出的问题是：若在纸上绘制若干个点，其中有多少对点的距离恰好相等（即相距1个单位）？埃尔德什曾证明，将点按网格排列可获得大量单位距离点对。随后他推测，其他排列方式很难超越网格的效能。数十年来，学者们一直试图验证该猜想。然而，OpenAI的模型得出了不同结论，指出存在某种排列方式优于埃尔德什设定的“上
人工智能破解尘封80年数学难题，科研进入新纪元
当人工智能不再仅仅解答数学题目，而是真正开展数学研究时，科学的探索规则正在被彻底颠覆。一个困扰数学界长达八十年之久的经典难题，终于被机器智能自主攻破。这一突破并非沿用经典方法，而是另辟蹊径，开辟了全新的解题方向。整个数学界为此感到震惊。01 埃尔德什距离问题详解1946年，著名数学家埃尔德什提出了「单位距离问题」：在二维平面上放置n个点，最多能够形成多少对恰好距离为1的点？长期以来，数学家们认为最优布局接近棋盘式的网格排列，单位距离点对数量的增长趋势接近线性。然而，这一结论如今被人工智能所动摇。02 人工
AI周报：谷歌破解56年数学谜题 企业豪掷AI投资
谷歌DeepMind的AlphaProof Nexus解开了两个悬置56年的数学难题，AI做数学连续两周爆大新闻；一家卖味精的上市公司要投3亿给阶跃星辰；Uber四个月烧完全年AI预算，高管坦言"算不清这笔账"。12条消息，5分钟看完。事件：谷歌DeepMind发布AlphaProof Nexus，结合大语言模型和Lean形式化验证系统，在353个Erdős问题中自主解决9个，其中2个悬置了56年。意味着什么：上周OpenAI刚推翻80年数学猜想，这周谷歌就甩出AlphaProof Nexus。两家在AI
AI 日报：破解 80 年数学难题，OpenAI 启动 IPO 进程 | 2026-05-23
AI 行业日报 · 2026.05.23AI 实现原创数学证明 资本与监管同步布局▸ 🔬OpenAI 推翻 Erdős 80 年猜想▸ 🔬Mythos 单月发现 1 万 + 高危 0day▸ 💰OpenAI 确认提交 IPO 招股书▸ 🌐白宫拨款 90 亿为情报机构采购 AI 芯片▸ 🔧codegraph 登顶 GitHub 增速榜首周六的 AI 领域波澜起伏。一方面，OpenAI 的一款通用推理模型自主推翻了困扰数学界长达 80 年的 Erdős 单位距离猜想，并经由外部数学家逐层验证；另一方面，资本运
从AI教父到诺奖得主，他的成长史是个‘反AI’样本
前几天，谷歌DeepMind的最新AI研究智能体Aletheia，在数学界一场名为「FirstProof」的巅峰挑战赛中，一口气干掉了10道公认的世界级未解数学难题中的6道。要知道，这些题目连全球最顶尖的数学家都感到极度棘手。但Aletheia不仅自主算出了答案，甚至连提出其中第7题猜想的数学家Jim Fowler本人，都亲自出面盖章确认：“AI的解题过程，是完全正确的。”当AI的能力边界，一次又一次被刷新，家长们的焦虑，也随之抵达了新的顶峰——既担心孩子被AI取代，又不知道该往哪个方向使劲。或许这些焦虑