"Matematikken gjennomgår den største endringen i sin historie." Hyggelig å se at vår matteagent #Aletheia @newscientist omtalt av resultatene sine under FirstProofs første utfordring, sammen med andre interessante milepæler innen AI for matematikkforskning! Implikasjoner verdt å tenke på. Lenke i tråden.