Rubriques tendance
#
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
Au cours des 98 années d'histoire de la compétition Putnam (depuis 1927), il n'y a eu que 5 scores parfaits.
AxiomProver a obtenu 120/120.
Nous saluons les étudiants participant à l'examen et avons hâte de voir d'autres impressionnants élèves parfaits !
11 janv., 01:49
L'IA vient d'atteindre un score parfait lors de la compétition de mathématiques la plus difficile au monde.
Le Putnam a 12 problèmes x 10 points. Le score le plus élevé l'année dernière était de 90. La médiane ? 0. Le prouveur IA d'Axiom dans Lean a obtenu 120/120 et vient de partager toutes les solutions.
Une étape importante pour l'IA en mathématiques.
326
1/ AxiomProver a obtenu 12/12 au Putnam 2025. Aujourd'hui, nous publions les preuves Lean générées de manière autonome par AxiomProver.
Nous fournissons également notre point de vue sur les problèmes, des visualisations de preuves, et comparons comment les humains et l'IA abordent les choses différemment. Une tonne de mathématiques amusantes et de Lean !
Nos découvertes dans le fil.
391
de la démonstration théorique de Putnam à la découverte mathématique de novo, venez faire un excellent travail avec nous chez Axiom
12 déc. 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:
559
Meilleurs
Classement
Favoris