Hasty Briefsbeta

双语

OpenAI claiming gold medal standard at IMO 2025

10 months ago

#Math Olympiad
#LLM
#Proofs

该代码库包含由实验性推理大语言模型生成的数学证明
这些证明是在该模型参加2025年国际数学奥林匹克竞赛评估时产生的
该代码库有11个分支，但缺少描述、网站或主题标签
该代码库尚未发布任何版本或软件包