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.
clhong1248
Mise à jour la plus récente.
il y a 18 heures
Le Putnam, le test de mathématiques de niveau universitaire le plus difficile au monde, s'est terminé hier à 16h PT.
Aujourd'hui à midi, AxiomProver a résolu 9/12 problèmes dans Lean de manière autonome (hier à 15h58 PT, c'était 8/12).
Notre score aurait été le #1 d'environ 4000 participants l'année dernière et Putnam Fellow (top 5) ces dernières années.
11,8K
Putnam, le concours de mathématiques de premier cycle le plus difficile au monde, s'est terminé hier à 16h PT.
À 15h58, AxiomProver @axiommathai a résolu de manière autonome 8/12 de Putnam2025 dans Lean, un langage 100% vérifiable.
L'année dernière, notre score aurait été le #4 sur ~4000 et un Putnam Fellow (top 10 ces dernières années)
233K
Il y a de la beauté à faire de votre étudiant votre collaborateur.
Sir Hardy à Ramanujan.
Le professeur Ono à moi.
Et maintenant, un groupe des meilleurs mathématiciens chez Axiom @axiommathai à notre IA.
Les équations de Thue avec lesquelles nous avons travaillé sont au tableau. Notre article était un exemple de calcul traditionnel aidant à des découvertes sur les formes modulaires, les courbes elliptiques et les surfaces K3.
105,04K
Meilleurs
Classement
Favoris