OpenAI说AI推翻了27年的指数时间假说，这意味着什么？
GPT-6 Astra 20分钟交出精确解：59年核聚变猜想被推翻
计算机领域天塌了，两大巨头同日宣布：世纪猜想ETH被证伪！
全球直播！Astra狂破整数乘法纪录，AI蜂群24小时击穿CS圣杯
Anthropic向国会推AI法案：死50人以下，政府无权阻止模型继续运行
刚刚，Claude首次设计出抗蝎毒蛋白！狂算64小时，已过实测
突发！Claude拿下概率论「圣杯」，AI跨过菲尔兹奖终点线
Dota2 人类彻底失守！OpenAI 2:0横扫冠军战队OG
《GPT-10astra：能》
🏅 2030 菲尔兹奖：ChatGPT
AI逆向任意软件 github断层第一
AI证明数学猜想？——不要杞人忧天
眩晕瘫坐，GPT 6-Astra耗10亿token建造巨型空中城市，MC圈将迎来大变。
AI数学新闻：有限单群分类定理被Axiom公司彻底形式化，4310万行Lean代码成为史上最大数学形式化项目！
数学界遗留的类似于“挂谷猜想”的难题，下一个天才在哪里？
菲尔兹奖得主陶哲轩：AI对数学难题的成功率是5%-6% 还有95%的它解决不了
诺奖得主、AI教父Hinton：人类数学家很快将会失业，因为数学是封闭系统不需要数据
什么是朗道西格尔零点，以及它如何变成一道课后习题
第一次直观感受到AI对数学期刊的冲击
Claude Opus 5.5开始攻克材料学：发现两种室温反铁磁半导体候选材料
