Arystoteles z @HarmonicMath rozwiązał 10/12 problemów w ciągu 7 godzin na Putnamie, najtrudniejszym na świecie konkursie matematycznym dla studentów! Skąd to wiem? Cóż, sam uruchomiłem Arystotelesa za pomocą publicznego API Harmonic. I zajęło mi to około 10 minut, aby się przygotować i rozpocząć! 9 z 10 problemów ukończono w mniej niż 3 godziny. Dziesiąty (B5) zajął 7 godzin, o godzinę więcej niż przyznano uczestnikom. Dla wszystkich 10 problemów podałem Arystotelesowi treści problemów w języku angielskim — a on automatycznie sformalizował te treści, udowodnił je i wygenerował zweryfikowane wyniki autonomicznie, bez żadnej ludzkiej interakcji. Jako ktoś, kto kocha matematykę, ale nie jest ekspertem, to ekscytujące mieć tak potężne narzędzie na wyciągnięcie ręki! 1/