OpenAI 的通用推理模型在离散几何领域取得了重大突破，推翻了与保罗·埃尔德什（Paul Erdős）的平面单位距离问题相关的核心猜想。该 AI 识别出一个无限的点排列族，其表现优于长期以来持有的方格网直觉，这一发现得到了外部数学家的验证。这一发展凸显了 AI 通过探索人类专家可能忽略的组合来连接不同领域的知识并为前沿研究做出贡献的潜力。 AI
影响 展示了 AI 通过发现新的数学联系和解决开放性问题来为基础研究做出贡献的能力。
排序理由 AI 模型通过解决一个长期存在的数学问题，实现了新的研究里程碑。
在 Exponential View (Azeem Azhar) 阅读 →
AI 生成摘要 · Google Gemini · 来自 11 个来源。 我们如何撰写摘要 →
RT @pushmeet: AI agents are advancing research-level math. 🚀 I’m thrilled to share @GoogleDeepMind’s AlphaProof Nexus - an agentic framewo…
This result points to something larger: AI systems are becoming capable of holding together long, difficult chains of reasoning, connecting ideas across distant fields, and surfacing paths researchers may not have explored. We believe those same abilities will soon accelerate
The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular, and represents an important milestone for the math and AI communities. https://t.co/a0DKbCAWZI
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that https:…
“Humans were not put on this earth to maintain Excel models.”
OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the attention of elite mathematicians.
OpenAI has used an AI model to disprove a 1946 conjecture by Hungarian mathematician Paul Erdos - the planar unit distance problem. Mathematicians are calling it the first AI-generated result that is interesting in itself, with Fields Medallist Timothy Gowers recommending publica…
🧠 Researchers develop AI systems that search for formal mathematical proofs by learning patterns from existing proof databases. The approach aims to assist mathematicians in discovering solutions to unsolved problems more efficiently. 💬 Hacker News 🔗 https:// arxiv.org/abs/2605.2…
Tiesitkö että oppimisen taustalla on matematiikka? # tekoäly # AI
Tiesitkö että oppimisen taustalla on matematiikka? #tekoäly #AI
Tiesitkö että oppimisen taustalla on matematiikka? #tekoäly #AI