„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.

Z radością dzielę się: #Aletheia, nasz agent badań matematycznych, właśnie samodzielnie rozwiązał 6/10 notoriously hard problemów FirstProof, co jest najlepszym wynikiem w inauguracyjnym wyzwaniu! Dla mnie to nawet większe niż nasze historyczne osiągnięcie złota IMO w zeszłym roku; te problemy stanowią wyzwanie nawet dla najlepszych matematyków. Dzielimy się naszymi wynikami w sposób przejrzysty, zobacz artykuł i pełne przemyślenia w wątku. 👇