据报道，OpenAI 使用一款名为 Astra 的先进、未发布的 AI 模型解决了十个长期存在的数学问题。这些解决方案涵盖了数学的各个领域，包括球体打包、纠错码和网络复杂性。该 AI 能够以新颖的方式组合已知结果和方法，这激发了人们对加速数学发现的兴奋，但也引起了像 James Maynard 这样的数学家对他们职业未来的担忧，以及人工智能可能削弱人类贡献的担忧。 AI
影响 可能加速数学发现，但引发了对人类数学家角色和价值的担忧。
排序理由 AI 模型解决了长期存在的科研难题，引发了关于该领域未来的辩论。
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 3 个来源。 我们如何撰写摘要 →
<p><span>Yesterday I sat down with GPT 5.6 Sol High to do some brainstorming. The topic was one of the less appreciated Millenium Problems (the Birch and Swinnerton-Dyer conjecture), and the initial prompt started life as a question on Quora. </span></p><p><span>Number theory is …
Mathematician James Maynard has spent a lot of time this past year "soul searching." A professor at the University of Oxford and winner of the prestigious Fields Medal, Maynard told The Verge he's been grappling with the future of his field as the traditionally slow-moving discip…
The AI takeover of mathematics has begun OpenAI showed that AI can tackle long-standing problems in mathematics. Experts are excited about the possibilities — and worried about what comes next for their field. https://www. theverge.com/ai-artificial-int elligence/977273/the-ai-ta…