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.
clhong1248
Pembaruan terbaru.
20 jam lalu
Putnam, tes matematika tingkat perguruan tinggi tersulit di dunia, berakhir kemarin 4p PT.
Siang hari ini, AxiomProver memecahkan masalah 9/12 di Lean secara mandiri (3:58p PT kemarin, itu adalah 8/12).
Skor kami akan menjadi #1 dari ~4000 peserta tahun lalu dan Putnam Fellow (5 besar) dalam beberapa tahun terakhir
11,8K
Putnam, kontes matematika sarjana tersulit di dunia, berakhir pukul 4 sore PT kemarin.
Pada pukul 15:58, AxiomProver @axiommathai secara mandiri memecahkan 8/12 dari Putnam2025 dalam Lean, bahasa yang 100% dapat diverifikasi.
Tahun lalu, skor kami akan menjadi #4 dari ~4000 dan Putnam Fellow (10 besar dalam beberapa tahun terakhir)
233K
Ada keindahan dalam menumbuhkan siswa Anda menjadi kolaborator Anda.
Sir Hardy kepada Ramanujan.
Profesor Ono kepada saya.
Dan sekarang, sekelompok matematikawan paling cerdas di Axiom @axiommathai ke AI kami.
Persamaan Thue yang kami kerjakan ada di papan. Makalah kami adalah contoh komputasi tradisional yang membantu penemuan pada bentuk modular, kurva elips, dan permukaan K3.
105,06K
Teratas
Peringkat
Favorit