OpenAI 的内部人工智能模型推翻了已有 80 年历史的 Erdős 单位距离猜想，这是数学领域的一项重大成就。这一突破促使数学家们发布了莱顿宣言，要求在人工智能辅助的研究中提高透明度。该宣言呼吁披露论文中使用的 AI 工具、人类对正确性的责任以及同行评审员获取计算细节的权利。 AI
影响 这项由人工智能驱动的数学证明为人工智能在科学发现中的应用树立了新的先例，并引发了关于研究透明度的关键问题。
排序理由 该集群报道了人工智能模型取得的一项重要的数学证明，这是一个研究里程碑。
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 4 个来源。 我们如何撰写摘要 →
🚀 Ah, the miracle of modern AI: strings of numbers magically morphing into words ✨. Who needs dictionaries or grammar when you've got matrix multiplication?! 🙄 Next thing you know, calculators will start writing sonnets. 🎩 https:// maxleiter.com/blog/weights # AI # Magic # Modern…
Mathematicians have published the Leiden Declaration in response to OpenAI's proof of an 80-year-old conjecture. The core demand: disclose AI tools used in papers, keep humans accountable for correctness, and give peer reviewers access to compute details. The math field is drawin…
OpenAI has shaken up the mathematics world. An internal AI model has disproved the Erdős unit distance conjecture, a famous problem that had stumped human mathematicians for 80 years. Tim Gowers, a Fields Medallist, called the solution 'a milestone in AI mathematics.' https:// ar…
# OpenAI disproved the # Erdős planar unit distance conjecture of # DiscreteGeomerty . # AI —disturbing on many levels.... https:// openai.com/index/model-disprov es-discrete-geometry-conjecture/