熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico-7%
USELESS
USELESS+2.59%
IKUN
IKUN-14.01%
gib
gib+30.53%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk-3.93%
ALON
ALON-9.04%
LAUNCHCOIN
LAUNCHCOIN-10.25%
GOONC
GOONC-9.69%
KLED
KLED-13.52%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-2.7%
Boopa
Boopa-11.99%
PORK
PORK0.00%
header
Axiom
Axiom
Axiom1月27日 02:39
1/ 我們自豪地宣布由 Axiom 贊助和共同舉辦的奧胡斯數學與 AI 研討會。 演講者包括菲爾茲獎得主 Terence Tao 和 Maryna Viazovska✨ 來自 Axiom 的有：Francois Charton @f_charton，Alberto Alfarano @albe_alfa，Seewoo Lee @antimath3 丹麥見！❄️
74
Axiom
Axiom1月12日 03:55
在普特南競賽的98年歷史中（自1927年以來），只有5個滿分。 AxiomProver 獲得了 120/120 的成績。 我們向參加考試的學生致敬，期待看到更多令人印象深刻的人類滿分得主！
Deedy
Deedy1月11日 01:49
AI just achieved a perfect score on the hardest math competition in the world. The Putnam has 12 problems x 10 points. The highest score last year was 90. The median? 0. Axiom's AI prover in Lean scored 120/120 and just shared all the solutions. Huge milestone for AI in Math.
472
Axiom
Axiom1月10日 01:45
1/ AxiomProver 在 2025 年的 Putnam 考試中獲得了 12/12。今天我們發布了 AxiomProver 自主生成的 Lean 證明。 我們還提供了我們對這些問題的看法、證明可視化，並比較人類與 AI 的不同解題方式。充滿樂趣的數學和 Lean！ 我們的發現請參見討論串。
537