„Die Mathematik durchläuft die größte Veränderung in ihrer Geschichte.“ Ich freue mich, dass unser Mathematik-Agent #Aletheia von @newscientist in Bezug auf seine Ergebnisse beim FirstProof-Inaugural-Challenge hervorgehoben wird, zusammen mit anderen interessanten Meilensteinen in der KI-Forschung für Mathematik! Über die Implikationen lohnt es sich nachzudenken. Link im Thread.