„Matematyka przechodzi największą zmianę w swojej historii.” Cieszę się, że nasz agent matematyczny #Aletheia został zaprezentowany przez @newscientist w kontekście jego wyników w inauguracyjnym wyzwaniu FirstProof, obok innych interesujących kamieni milowych w badaniach AI w matematyce! Warto pomyśleć o implikacjach. Link w wątku.