AI4Math
致宏Rex
数学控,技术宅
展开
-
o1-preview 在 IMO 2024 第一题的实测表现
OpenAI o1-preview 展示了其在 IMO 问题上的解题能力。虽然得出了正确答案,但证明不完整。本文将对其解题过程进行简单的分析。原创 2024-10-06 16:02:31 · 88 阅读 · 0 评论 -
AI 改写数学竞赛 | 从 IMO Grand 到 AlphaProof
数学竞赛大致分为两类:一类面向高中生,例如国际数学奥林匹克竞赛(IMO)及相关选拔赛;另一类涵盖本科以上知识,如全国大学生数学竞赛和阿里巴巴数学竞赛等。IMO 作为高中生数学竞赛的巅峰赛事,由于背景知识需求相对较少,成为了测评 AI 能力的绝佳试金石。原创 2024-10-06 15:58:05 · 402 阅读 · 0 评论