"Matematika prochází největší změnou ve své historii." Jsem rád, že náš matematický agent #Aletheia @newscientist představen za výsledky úvodní výzvy FirstProof, spolu s dalšími zajímavými milníky v AI pro matematický výzkum! Důsledky, které stojí za zrozmysl. Odkaz v vlákně.