Glad att kunna dela med mig: #Aletheia, vår matematikforskningsagent, löste precis 6 av 10 ökända svåra FirstProof-problem autonomt, det bästa resultatet i den första utmaningen! För mig är detta ännu större än vår historiska IMO-guldframgång förra året; Dessa problem utmanar även toppmatematiker. Vi delar våra resultat öppet, ser papper och fullständiga tankar i tråden. 👇