数学家盘点OpenAI内部AI模型产出的722篇数学论文手稿
Start here
OpenAI发布了由其内部AI模型产出的722篇论文手稿，内容归为372类，涉及马勒猜想、九维博苏克问题、哈德维格尔猜想等数十个前沿数学命题的证明或反例。数学家吉尔·卡莱随后撰文对这些成果进行了盘点，指出该批研究成果仍需数学界进一步核验与消化。此外，卡莱还公布了自己的巡回演讲计划，并表示计划利用AI工具协助整理讲座的详细讲义，将其改写为博客内容发布。
AI-generated from reports · Updated 5 hours ago
Report timeline
Follow the reports to see different sides of the story.
- Hacker News · AISelectedMathematician Gil Kalai Reviews OpenAI's Internal AI Math Milestones and Outlines Upcoming Lecture Tour
Mathematician Gil Kalai published an article reviewing mathematical achievements released by OpenAI's internal AI models, alongside plans for his upcoming lecture tour. Kalai noted that OpenAI shared 722 manuscripts (grouped into 372 categories) generated by its internal AI models, spanning proofs or counterexamples for dozens of frontier mathematical problems, including Mahler's conjecture, the 9-dimensional Borsuk problem, and Hadwiger's conjecture—results that still require further verification and digestion by the mathematical community. He also mentioned plans to use AI tools to help organize detailed lecture notes from his tour and adapt them into blog posts.
Story heat trend
Current heat 9·Comparable peak 10（Nov 3 03:00）·Comparable change, last 24 hours–
Trends compare only the same parties observed continuously, so the scope can be narrower than current heat counts. Move the pointer or tap the chart to see hourly heat; use the left and right arrow keys on a keyboard.