Populaire onderwerpen
#
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
Meest recente update.
8 dec, 04:39
Putnam, de moeilijkste wiskundetest op college-niveau ter wereld, eindigde gisteren om 16:00 PT.
Vandaag om 12:00 heeft AxiomProver 9/12 problemen autonoom opgelost in Lean (gisteren om 15:58 PT was het 8/12).
Onze score zou #1 zijn geweest van ~4000 deelnemers vorig jaar en Putnam Fellow (top 5) in de afgelopen jaren.
13,83K
Putnam, de moeilijkste wiskunde wedstrijd voor undergraduate ter wereld, eindigde gisteren om 16:00 PT.
Om 15:58 had AxiomProver @axiommathai autonoom 8/12 van Putnam2025 opgelost in Lean, een 100% verifieerbare taal.
Vorig jaar zou onze score #4 van ~4000 zijn geweest en een Putnam Fellow (top 10 in recente jaren)
277,28K
Er is schoonheid in het laten groeien van je student tot je samenwerker.
Sir Hardy tegen Ramanujan.
Professor Ono tegen mij.
En nu, een groep van de slimste wiskundigen bij Axiom @axiommathai naar onze AI.
De Thue-vergelijkingen waar we mee werkten staan op het bord. Ons paper was een voorbeeld van traditionele berekeningen die ontdekkingen over modulaire vormen, elliptische krommen en K3-oppervlakken assisteerden.
105,07K
Boven
Positie
Favorieten