Nyt kun olen palannut Princetoniin @DARPA expMathin avaustapahtuman jälkeen, alan kerätä ajatuksiani autoformalisoinnin tulevaisuudesta, tekoälystä matematiikassa ja tekoälystä tieteessä laajemmin. Tässä minun täytyy mennä. "Tuottavista ja tuottamattomista kitkoista"