盘点大模型参与重大数学突破的真实案例，看AI如何助力数学研究前沿。
Article URL: https://mathoverflow.net/questions/502120/examples-for-the-use-of-ai-and-especially-llms-in-major-mathematical-development Comments URL: …
AI模型破解87年数学难题，小小公式推翻三维猜想，见证智能数学新突破
Article URL: https://www.sciencedaily.com/releases/2026/08/260804034634.htm Comments URL: https://news.ycombinator.com/item?id=49207486 Points: 1 # Co…
AI不再只解数学题，开始向黎曼猜想级难题发起进攻，这项框架研究或开启自动发现猜想时代
arXiv:2607.28632v1 Announce Type: new Abstract: Major mathematical conjectures still depend heavily on expert intuition, so a unified method for the s…
GPT-5.6 给出 Maxwell 猜想反例，AI 在数学推理领域的又一重要突破，值得深入了解
Article URL: https://xcancel.com/antibot/captcha Comments URL: https://news.ycombinator.com/item?id=49121313 Points: 2 # Comments: 2
探索LLM与进化搜索结合时，代码进化究竟在优化什么——对算法设计的关键追问
arXiv:2605.20086v1 Announce Type: cross Abstract: Recent work pairs LLMs with evolutionary search to iteratively generate, modify, and select code usi…