标签：数学竞赛
2024的最后一天，由智谱AI新上线的o1为这一年划上句点。
智谱在2024年的最后一天发布了名为Zero的o1模型，这一智能体形式的模型在数学和编程能力上表现出色。Zero在AIME 2024和MATH500数学能力测试中超过了o1，尽管...
OpenAI甩王炸！发布新模型o3，一夜再次改变世界！
OpenAI在技术直播的最后一天发布了预览版模型o3，该模型在多个测试中表现出色。在AIME数学竞赛中，o3得分96.7分，仅错一题，达到了顶级数学家的水平。在ARCAG...
o1 pro挑战美国本科生最难数学竞赛，30分钟交卷却被「大佬」现场打脸！
普特南数学竞赛（Putnam Exam）作为北美最难的本科数学竞赛之一，每年吸引来自数百所高校的3500多名学生参与。这场竞赛要求参赛者在6小时内完成作答，而今年...
第一个国产中文o1来了，直接数学竞赛题伺候！
昆仑万维的Skywork o1系列模型因其出色的推理能力而备受关注。该系列包括Skywork o1 Open、Skywork o1 Lite和Skywork o1 Preview三个细分模型，分别具备解决...
刚刚，阿里全球数学竞赛决赛结果公布，姜萍违反预选赛规则未获奖
2024年阿里巴巴全球数学竞赛决赛结果已公布，共有86名选手获奖。决赛设有五个赛道，每个赛道分别评出金奖1名、银奖2名、铜奖4名和优秀奖10名。北京大学的崔霄...
勾股定理还能这样证明？高中生一连发现10种证明方法，陶哲轩点赞
勾股定理，这一历史悠久的数学定理，最近因两位美国高中生Ne’Kiya Jackson和Calcea Johnson的新发现而再次受到关注。这两位高中生在数学竞赛中发现了证明勾股...
陶哲轩：纳维-斯托克斯方程或已不再是流体的良好模型
在巴塞罗那的最新专访中，著名数学家陶哲轩分享了他对人工智能在数学竞赛中表现的看法。他认为，尽管AI在某些竞赛中可能短期内超越人类，但在需要长期创造性...
o1 研发团队完整采访：Ilya早期曾参与，灵感源于AlphaGo
OpenAI的o1模型自问世以来，以其卓越的推理能力在人工智能领域引起了广泛关注。o1不仅在数学奥林匹克竞赛中表现出色，甚至在博士级别的科学问答中超越了人类...
实测OpenAI的o1：真没吹牛，奥数题高考题都能信手拈来了？
OpenAI于2024年9月13日推出了全新的AI模型系列——OpenAI o1，也被称为“Strawberry模型”。这一系列模型专为解决复杂问题而设计，其性能在多个平台上超越了以往...
秘密打造「AI陶哲轩」 震惊数学圈！谷歌IMO梦之队首曝光，菲尔兹奖得主深度点评
谷歌DeepMind的AI系统AlphaProof和AlphaGeometry 2在2024年国际数学奥林匹克竞赛（IMO）中取得了显著成绩，仅以一分之差错失金牌，这一成果在业界引起了巨大...
1
2
