AITOP
精选
过去 24 小时，从 752 条中筛出 46 条
全部模型产品行业论文技巧
标签：AI 数学发现×
6月11日
15:28
15:23
15:07
6月1日
00:09
5月29日
08:02
AITOP5月29日 08:02
Opus 4.8发布：编程助手的“静默时刻”，是解放开发者，还是新门槛？🔥Anthropic 把 AI 编程的“确认键”彻底删掉了！Claude Code 搭载全新 Opus 4.8 模型，长时间任务不跑偏、不废话、不中断，像一个资深工程师一样默默干活，从功能开发到漏洞清扫全包圆，你在旁边喝茶等结果就行。过去 AI 写代码三步一问“这样可以吗”，现在它直接交完整交付物……自主编程的最后一层窗户纸，被捅破了。做自动化开发和代码审查的团队，这个模型建议直接上手，效率差距肉眼可见……Opus 4.8发布：编程助手的“静默时刻”，是解放开发者，还是新门槛？
5月21日
09:50
09:50arXiv: OpenAI@Noga Alon, Thomas F. Bloom, W. T. Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang, Melanie Matchett Wood
精选
OpenAI 生成的构造反例推翻了 Erdős 单位距离猜想，该猜想曾认为平面上单位距离对的数量最多为 O(n^{1+c/log log n})。研究者将反例提炼为简洁、可验证的版本，并指出其核心思想可追溯至 Ellenberg-Venkatesh、Golod-Shafarevich 和 Hajir-Maire-Ramakrishna 的工作。这一发现是组合几何领域的重大突破，展示了 AI 在数学发现中的潜力。论文还包含对反例的反思，探讨了 AI 辅助数学研究的未来方向。
论文Erdős 单位距离猜想OpenAI反例组合几何AI 数学发现
推荐理由：OpenAI 用 AI 构造反例推翻了数学界 70 年的猜想，做组合几何或数论的研究者值得关注——这不仅是数学突破，更展示了 AI 如何改变数学发现的方式。
原文