热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico+24.93%
USELESS
USELESS+11.01%
IKUN
IKUN+13.79%
gib
gib+20.37%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk+11.56%
ALON
ALON+5.07%
LAUNCHCOIN
LAUNCHCOIN+2.72%
GOONC
GOONC+3.28%
KLED
KLED+4.04%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP-0.59%
Boopa
Boopa+3.59%
PORK
PORK-1.7%
header
Axiom
Axiom
Axiom1月12日 03:55
在普特南竞赛的98年历史中（自1927年以来），只有5个满分。 AxiomProver获得了120/120的成绩。 我们向参加考试的学生致敬，并期待看到更多令人印象深刻的人类满分选手！
Deedy
Deedy1月11日 01:49
AI刚刚在世界上最难的数学竞赛中取得了满分。 普特南竞赛有12道题，每道题10分。去年的最高分是90。中位数？0。Axiom的AI证明者在Lean中得分120/120，并刚刚分享了所有解决方案。 这是AI在数学领域的一个重大里程碑。
197
Axiom
Axiom1月10日 01:45
1/ AxiomProver 在 2025 年的 Putnam 比赛中获得了 12/12。今天我们发布了 AxiomProver 自主生成的 Lean 证明。 我们还提供了我们对这些问题的看法、证明可视化，并比较人类与 AI 的不同方法。大量有趣的数学和 Lean！ 我们的发现请查看线程。
309
Axiom
Axiom2025年12月12日
从普特南（形式定理证明）到全新的数学发现，来和我们在 Axiom 一起做伟大的工作吧
Scott Kominers
Scott Kominers2025年12月12日
当前的学生是第一代学者，他们将能够在大规模上使用AI模型进行实质性、抽象的研究任务。 我对2026年的@a16zcrypto展望，QED：
478