La oss prøve vanskeligere og vanskeligere ting, så de ikke kan kalle vår seier lett.
La oss prøve mer og mer smakfulle ting, så hypen ser smakløs ut.
La oss prøve bevisreduksjon, så de vet at "bevislengdeforholdet er hardhetsforholdet" er tull.
La oss være strutser og gå. Jeg elsker virkelig en underdog-historie.
Axioms nye forskningsblogg:
Learning Collatz – Moren til alle kaninhull
Hva skjer når du trener en transformator på en av matematikkens mest beryktede uløste gåter – og så studerer hvordan den feiler?
Putnam, verdens vanskeligste matteprøve på høyskolenivå, ble avsluttet i går kl. 16 PT.
Klokken tolv i dag løste AxiomProver 9/12-oppgaver i Lean autonomt (3:58p PT i går, det var 8/12).
Vår poengsum ville vært #1 av ~4000 deltakere i fjor, og Putnam Fellow (topp 5) de siste årene