Putnam, maailman vaikein korkeakoulutason matematiikan koe, päättyi eilen klo 16 PT. Tänään klo 12 AxiomProver ratkaisi 9/12-ongelmat Leanissa itsenäisesti (eilen klo 15:58 PT, se oli 12.8). Meidän pisteemme olisi ollut #1 ~4000 osallistujasta viime vuonna ja Putnam Fellow (top 5) viime vuosina