AI攻陷百年猜想：数学家的工具，还是数学的终结？
AI攻陷百年猜想：数学家的工具，还是数学的终结？## 解题狂欢：2026年，AI“算”出了什么？从87年到80年：两个标志性猜想的陷落2026年夏天，数学界接连收到两份来自人工智能的“战报”，间隔恰好两个月。
AI找出数学反例推翻论文，作者确认，453篇手稿，AI开始自己出题了
仓库首页给出的定位更直接:From Answer Generation to Research-Agenda Generation——从生成答案，走向生成研究议程。AI把论文里的猜想推翻了，原作者回信确认。
陶哲轩惊叹，数学奇点初现，AI首次给出人类无法企及的原创证明
数学奇点初现！Gemini攻克全新数学定理，斯坦福大牛惊呼「想出来能吹一辈子」；陶哲轩预言数学家+AI共生未来；Grok发现黎曼猜想新的隐蔽通道……汉语是人类语言的一种。比特是计算机的语言。而数学则是宇宙的语言。
黎曼猜想推至理论边界99.55%，元代理架构AI：在思考中重塑大脑
当我们惊叹于大语言模型能写诗、会编程时，科学家们正面临一个更棘手的问题:如何让AI像真正的科研工作者一样，去解决那些需要数月甚至数年持续思考、且充满未知的科学难题?
2025年高考数学：Gemini 145分/DeepSeek 143分/ChatGPT 140分/Claude 139分
Gemini 2.5 Pro以145分的高分领跑，DeepSeek R1紧随其后获得143分，ChatGPT o3和Claude Opus 4分别拿下140分和139分。
姜萍“不懂数学”新实锤，一行等式11个字母，只抄对了2个……
标题：以严谨态度对待学术研究，避免误导与错误传播近日，网络上出现了关于姜萍“不懂数学”的新实锤，称其在一行等式中11个字母只抄对了2个。这一消息引发了广泛关注和热议。然而，在面对这样的指控时，我们不应轻信网络传言，而应保持客观、理性的态度，深入分析事实真相。
突发，Claude首破黎曼猜想新纪录
今天，Anthropic重磅发文，让内部研究版Claude去证明「黎曼猜想」，结果失败了。但Claude却在这一世纪难题，取得了重大突破——
大神开发arXiv全新H5版，告别公式排版错误，手机也能轻松看文献
arXiv几乎是每个科研人员都必须用到的网站，但是它已经快31岁了。尤其是在移动网络普及的今天，科研文献一般使用两列排版，手机上不放大根本没法看PDF。
AI大战数学家：可以回去刷盘子了
9月4日，OpenAI的GPT-6 Astra，攻克了5道埃尔德什数学难题。数学界的超级震荡，一个接着一个，有研究者公开承认“要震蒙了”。