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.
63
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.
239
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
Les étudiants actuels sont la première génération de chercheurs qui pourront utiliser des modèles d'IA pour des tâches de recherche substantielles et abstraites à grande échelle.
Mon outlook @a16zcrypto pour 2026, QED :
410
Meilleurs
Classement
Favoris