GPT-5 właśnie przeszedł to, co badacze nazywają „Testem Gödel’a”. To oznacza, że nie tylko rozwiązuje problemy z podręczników, ale także zajmuje się otwartymi konjekturami matematycznymi, które normalnie zajmowałyby utalentowanemu doktorantowi dni na rozwiązanie. W nowym artykule GPT-5 został przetestowany na 5 nierozwiązanych konjekturach optymalizacyjnych. Rozwiązał 3 z 5. W jednym z problemów nawet przedstawił inny ważny dowód, niż badacze się spodziewali. Oficjalnie weszliśmy w erę, w której nowoczesna AI nie tylko uczy się matematyki, ale także ją wykonuje. Implikacje są ogromne: • Postęp w problemach, które przez dni lub tygodnie stawiają ludzi w martwym punkcie • AI przyczyniające się do prawdziwego odkrycia matematycznego • Zapowiedź tego, jak badania same w sobie przekształcą się w latach 30-tych XXI wieku Ludzie wciąż to niedoceniają. Wpływ modeli, które potrafią dowodzić twierdzeń, dopiero zaczyna być odczuwany. To jest granica między „fancy autocomplete” a prawdziwym rozumowaniem naukowym.