OpenAI News·· 2022-02-02AI 评分3
OpenAI 构建神经定理证明器，可解决 AMC12、AIME 等数学奥林匹克竞赛题
Solving (some) formal math olympiad problems
AI 导读
OpenAI 构建了一个基于 Lean 的神经定理证明器，可学习求解 AMC12、AIME 等高中数学奥林匹克竞赛中的高难度题目，并求解了 2 道改编自 IMO 的题目。
来源：OpenAI News · openai.com
OpenAI 构建神经定理证明器，可解决 AMC12、AIME 等数学奥林匹克竞赛题