AI Pulse

形式化验证

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

📡

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

𝕏2026 年 6 月 10 日
📖

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

AI数学2026 年 6 月 9 日

📬 订阅 AI Pulse

每天三次更新,不错过重要信号

▲ 回到顶部