谷歌DeepMind公开IMO金牌模型AlphaProof技术细节，揭示其如何通过强化学习、8000万道自动生成数学题及创新树搜索算法，实现AI在数学证明领域的重大突破。最新AI资讯尽在AIGC门户。