Subiecte populare
#
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
1/ Suntem mândri să anunțăm Atelierul de Matematică și AI de la Aarhus, sponsorizat și co-organizat de Axiom.
Printre vorbitori se numără medaliații Fields Terence Tao și Maryna Viazovska✨
Din Axiom: François Charton @f_charton, Alberto Alfarano @albe_alfa, Seewoo Lee @antimath3
Ne vedem în Danemarca! ❄️
98
Pe parcursul a 98 de ani de istorie a competiției Putnam (din 1927), au existat doar 5 scoruri perfecte.
AxiomProver a luat 120/120.
Salutăm elevii care participă la examen și așteptăm cu nerăbdare să vedem mai mulți prefecți umani cu punctaje impresionante!
11 ian. 2026
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.
482
1/ AxiomProver a primit 12/12 din Putnam 2025. Astăzi lansăm demonstrațiile Lean generate autonom de AxiomProver.
De asemenea, oferim perspectiva noastră asupra problemelor, demonstrăm vizualizări și comparăm modul în care abordarea diferită a oamenilor față de AI. O mulțime de matematică distractivă și Lean!
Concluziile noastre din firul de discuție.
549
Limită superioară
Clasament
Favorite