几何证明 - AI话题

2024-01-18

DeepMind 与谷歌相继在 Nature 发表几何定理证明模型，达到 IMO 金牌水平，超越传统吴文俊法；NeurIPS MATH-AI 研讨会聚焦 LLM 数学推理极限，显示 AI 正向形式科学核心领域渗透，为科研自动化打开新范式。

AI快开门