OpenAI News·2022-02-02 16:00· 2022-02-02AI 评分59

OpenAI 构建神经定理证明器，可解部分形式化数学奥赛题

Solving (some) formal math olympiad problems

AI 导读

OpenAI 构建了一个面向 Lean 的神经定理证明器，能解多种有挑战性的高中奥赛题，包括 AMC12 和 AIME 竞赛题，以及两道由 IMO 改编的题目。

来源：OpenAI News · openai.com