Topik trending
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Axiom
Selama 98 tahun sejarah kompetisi Putnam (sejak 1927), hanya ada 5 skor sempurna.
AxiomProver mendapat 120/120.
Kami memberi hormat kepada para siswa yang berpartisipasi dalam ujian, dan berharap dapat melihat pencetak nilai prefek manusia yang lebih mengesankan!
11 Jan, 01.49
AI baru saja mencapai skor sempurna pada kompetisi matematika tersulit di dunia.
Putnam memiliki 12 masalah x 10 poin. Skor tertinggi tahun lalu adalah 90. Median? 0. Pembuktian AI Axiom di Lean mendapat skor 120/120 dan hanya membagikan semua solusi.
Tonggak besar untuk AI dalam Matematika.
319
1/ AxiomProver mendapat 12/12 dari Putnam 2025. Hari ini kami merilis bukti Lean yang dihasilkan AxiomProver secara mandiri.
Kami juga memberikan pandangan kami tentang masalah, membuktikan visualisasi, dan membandingkan bagaimana manusia vs AI mendekati secara berbeda. Banyak matematika yang menyenangkan dan Lean!
Temuan kami di utas.
384
dari Putnam (pembuktian teorema formal) hingga penemuan matematika de novo, ayo lakukan pekerjaan hebat bersama kami di Axiom
12 Des 2025
Current students are the first generation of scholars who'll be able to use AI models for substantive, abstract research tasks at scale.
My @a16zcrypto outlook for 2026, QED:
552
Teratas
Peringkat
Favorit