Blij om te delen: #Aletheia, onze wiskunde onderzoeksagent, heeft zojuist 6/10 beruchte moeilijke FirstProof-problemen autonoom opgelost, het beste resultaat in de inaugurele uitdaging! Voor mij is dit zelfs groter dan onze historische IMO-gouden prestatie van vorig jaar; deze problemen zijn een uitdaging voor zelfs de beste wiskundigen. We delen onze resultaten transparant, zie het paper en volledige gedachten in de thread. 👇