热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Simo Ryu
如果是真的，那就太大了。
12月8日 00:54
普特南，世界上最难的本科数学竞赛，昨天太平洋时间下午4点结束。
到下午3:58，AxiomProver @axiommathai 在 Lean 这个 100% 可验证的语言中自主解决了 8/12 的 Putnam2025。
去年，我们的得分将是大约 4000 名参赛者中的第 4 名，并且是普特南奖学金获得者（近年来前 10 名）。
300
热门
排行
收藏