Tag: formal-math
All the articles with the tag "formal-math".
- 8.0
AI 系统成功验证了 Maryna Viazovska 的球堆积问题证明（2022 Fields 奖），OpenAI 和 Google DeepMind 的 AI 模型也在尝试解决 First Proof 难题。
→ 原文链接
All the articles with the tag "formal-math".
AI 系统成功验证了 Maryna Viazovska 的球堆积问题证明（2022 Fields 奖），OpenAI 和 Google DeepMind 的 AI 模型也在尝试解决 First Proof 难题。
→ 原文链接