熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico+4.91%
USELESS
USELESS+4.95%
IKUN
IKUN+1.2%
gib
gib+15.36%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk+3.55%
ALON
ALON-2.8%
LAUNCHCOIN
LAUNCHCOIN-4.65%
GOONC
GOONC+10.67%
KLED
KLED+3.88%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.05%
Boopa
Boopa-1.16%
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 在數學領域來說，這是一個巨大的里程碑。
184
Axiom
Axiom1月10日 01:45
1/ AxiomProver 在 2025 年的 Putnam 考試中獲得了 12/12。今天我們發布了 AxiomProver 自主生成的 Lean 證明。 我們還提供了我們對這些問題的看法、證明可視化，並比較人類與 AI 的不同解題方式。充滿樂趣的數學和 Lean！ 我們的發現請參見討論串。
298
Axiom
Axiom2025年12月12日
從普特南（正式定理證明）到全新的數學發現，來和我們在 Axiom 一起做偉大的工作吧
Scott Kominers
Scott Kominers2025年12月12日
目前的學生是第一代學者，他們將能夠在大規模上使用 AI 模型進行實質性、抽象的研究任務。 我對 2026 年的 @a16zcrypto 展望，QED:
471