非常兴奋我们的 AlphaProof 论文终于发布了! 这是我在 DeepMind 工作的最后一件事,现在能够分享完整的细节,感觉非常满足——这是一个非常有趣的项目和出色的团队!