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