符号AI - AI话题 - AI快开门

2025-02-09

谷歌AlphaGeometry2在IMO几何题上拿到84%金牌级表现，结合辅助作图与符号引擎的新范式显著超越纯LLM，证明专用推理系统已逼近人类顶尖水平，为科学发现与自动形式化验证打开新空间。

# 符号AI