AI Pulse

形式化验证

2 篇文章 · 1 条信号 · 持续更新

📖

纳维-斯托克斯方程证明中没人谈论的部分

AI数学2026 年 9 月 10 日
📡

计算生物学家用Codex解决30年前提出的超立方体铺石数猜想

𝕏2026 年 6 月 10 日
📖

陶哲轩如何成为人工智能数学的布道者

AI数学2026 年 6 月 9 日

订阅 AI Pulse

每天 08:00 · 12:30 · 18:30 · 23:50 更新