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
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., 01:49
AI tocmai a obținut un scor perfect la cea mai dificilă competiție de matematică din lume.
Putnam are 12 probleme x 10 puncte. Cel mai mare scor anul trecut a fost 90. Mediana? 0. Demonstratorul AI al Axiom în Lean a obținut 120/120 și a împărtășit toate soluțiile.
Un reper uriaș pentru AI în matematică.
186
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.
300
de la Putnam (demonstrarea teoremei formale) până la descoperiri matematice de novo, vino să faci o treabă excelentă cu noi la Axiom
12 dec. 2025
Studenții actuali reprezintă prima generație de cercetători care vor putea folosi modele AI pentru sarcini de cercetare substanțiale, abstracte, la scară largă.
Perspectiva mea @a16zcrypto pentru 2026, QED:
473
Limită superioară
Clasament
Favorite