首页 归档 老文章 关于

文章归档

OpenAI给的722个问题证明，我的目光却盯住了第244号
从希尔伯特纲领到生成式 AI：证明、字符串与计算的边界
斯梅尔第18问题：人工智能和人类智能究竟有没有极限？
OpenAI公布NS问题证明，100万美元奖金如何认定？
代数几何核心猜想雅可比猜想被AI的一个简单反例推翻
2026国际数学奥林匹克(IMO)：中国第一、美国第二
AI再助力：攻克50年难题实数和积猜想
从古典时代到当代，两千多年的完美传奇
震惊！这回是真震惊了：AI模型解决顶级数学猜想！