GEOZ

Entity

AlphaGeometry 2

谷歌DeepMind开发的改进版几何求解系统，基于神经符号混合方法。

术语属性

  • 开发者：Google DeepMind
  • 技术：神经符号混合、Gemini、合成数据
  • 成就：在IMO 2024中解决一个几何问题，19秒内解决第四题

相关文章

AlphaProof 解出全场仅五人做出的 IMO 难题，AI 数学推理跨过银牌线