热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Thomas Wolf
@HuggingFace 联合创始人 - moonshots - angel
哇 🤯 - 2025年普特南竞赛得分9/12！
如果你不懂AI和数学，你可能会错过这里获得的令人震惊的结果。
解释：
- 在测试集上零训练/基准最大化！模型在与学生同时并行工作时，自动发现/处理了2025个问题。
- 普特南竞赛比国际数学奥林匹克（IMO）难得多！针对本科生（而IMO是针对高中生），这是一个包含研究项目级别数学问题的测试。中位数得分通常为0（是的，大多数参与者连一个问题都无法解决……）
- AxiomMath是一家成立4个月的初创公司…
12月8日 04:39
普特南，世界上最难的大学数学考试，昨天4点太平洋时间结束。
今天中午，AxiomProver在Lean中自主解决了9/12个问题（昨天3:58pm太平洋时间时是8/12）。
我们的得分在去年的约4000名参与者中将是第一，并且在最近几年中是普特南奖学金获得者（前5名）。
93.94K
热门
排行
收藏