谷歌推出两大数学模型秒解开几何问题

谷歌推出两大数学模型，秒解开几何问题

·六道题每题可得7分，总分最高42分。谷歌DeepMind的人工智能系统在今年国际数学奥林匹克竞赛中最终得分28分。今年金牌的门槛是29分，在正式比赛的609名选手中，58名达到了这一门槛。·DeepMind表示，尽管基于自然语言的方法可以访问更多数据，但会产生看似合理但不正确的中间推理步骤和解决方案。而形式语言提供了一个重要优势，即涉及数学推理的证明可以被形式化地验证其正确性。DeepMind人工智能系统在IMO2024上相对于人类竞争者的表现。在42分的总分中，人工智能系统获得了28分。谷歌DeepMind的A...