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