新芒1月21日消息 谷歌DeepMind创建了一个人工智能系统，可以解决奥林匹克级别的几何问题。“ AlphaGeometry ”系统解决的几何问题与普通人类国际数学奥林匹克（IMO）金牌得主（通常是高中数学家）一样多。
- 由于几何需要创造力和刚性，因此给人工智能研究人员带来了挑战。
- 它还缺乏可用于在网络上训练的基于文本的人工智能模型的大量数据。
- 为了解决这个问题，AlphaGeometry 将神经语言模型与“符号推演引擎”相结合，利用数学规则来验证前者的想法。
- 为了训练模型，DeepMind 生成了 1 亿个综合定理和证明。
- 随后，AlphaGeometry 在 30 个具有挑战性的 IMO 几何问题上进行了测试。该系统在4.5小时的时限内成功解决了其中25个问题，超过了之前仅解决了10个问题的最佳系统。
- 研究结果发表在本周《自然》杂志上的一项研究中。DeepMind 还开源了 AlphaGeometry 的代码。
