Lean
-
AI 辅助“推翻”考拉兹猜想失败，Lean 4.32.2 修复内核漏洞
AI辅助推翻考拉兹猜想宣告失败！Lean 4.32.2紧急修复内核漏洞，避免假命题通过验证。数学难题与形式化验证的碰撞，点击了解详情。[详细]
-
陶哲轩：我差点江郎才尽 只因在普林斯顿待了一年
陶哲轩罕见分享普林斯顿经历：数学家需要生活琐事激发灵感！菲尔兹奖得主揭秘AI时代科研新范式，探讨数据驱动与人类智能的互补未来。[详细]
热门标签
AI辅助推翻考拉兹猜想宣告失败！Lean 4.32.2紧急修复内核漏洞，避免假命题通过验证。数学难题与形式化验证的碰撞，点击了解详情。[详细]
陶哲轩罕见分享普林斯顿经历：数学家需要生活琐事激发灵感！菲尔兹奖得主揭秘AI时代科研新范式，探讨数据驱动与人类智能的互补未来。[详细]