该主题下的文章: 数学
Page 1
哥德尔不完备性定理：形式系统的极限
AI 解决数学问题：证明与发现
GPT-5.4 Pro 解决了来自格林列表的埃尔德什问题 No. 1202
OpenAI 模型解决了 3 个埃尔德什问题
GPT-5.4 Pro：非中心化测度下 GCI 的反例
数学中的 AI：陶哲轩眼中的 50 个埃尔德什胜利
将自然数分组为 n/2 个两两互质组
宇宙的分形：从原子到多宇宙的自相似性
哥德尔定理：形式系统的非完备性
陶哲轩的宇宙距离梯
通过 CMF 和 AI 连接的 π 公式
形式数学中实数的结构
抽象数学：皮亚诺公理
AI 在数学中：Terence Tao 的结论
