AlphaGeometry

谷歌 DeepMind· 2024-01-17 发布 ·语言模型 ·开源 ·AlphaGeometry 系列

谷歌 DeepMind 于 2024-01-17 发布奥林匹克数学几何证明系统 AlphaGeometry。