🗝️🔓Rok 2026 zaczyna się od wiadomości, że sztuczna inteligencja w końcu rozwiązuje problemy, które nie zostały rozwiązane przez matematyków. Jeden z najwybitniejszych współczesnych matematyków, laureat Nagrody Fieldsa Terence Tao potwierdził, że GPT-5.2 rozwiązał problem Erdősa nr 397.
Węgierski matematyk Paul Erdős, który opublikował więcej prac naukowych niż ktokolwiek inny w historii królowej nauk, ponad 1400, pozostawił ponad tysiąc zagadek po swojej śmierci w 1996 roku. W zadaniu nr 397 stawia się pytanie, czy istnieje nieskończoność rozwiązań dla konkretnego równania, które obejmuje centralne współczynniki dwumianowe. GPT-5.2 wygenerował dowód, matematyczna LLM Arystoteles poprawił błędy i sprawdził poprawność uzyskanego rozwiązania, a teraz także Terence Tao zaakceptował ten dowód.
Zgłoszono również, że GPT-5.2 rozwiązał zadania Erdős nr 728 i nr 729 - wszystko to dosłownie w ostatnich dniach. Czy naprawdę przechodzimy do ery, gdy sieci neuronowe przejdą od dopasowywania wzorców do prawdziwej logiki i dowodów? Sztuczna inteligencja zbliża się i prowadzi nas do technologicznej osobliwości?
Taо podkreśla jednak, że zdolności AI w rozwiązywaniu zadań matematycznych są mocno przesadzone i wyrwane z kontekstu. W końcu to są najprostsze zadania z listy Erdős, "nisko wiszący owoc", a nie głębokie nowatorskie przełomy. Zadanie nr 397 zostało sformułowane na nowo zaledwie kilka miesięcy temu, a matematycy po prostu nie zdążyli się nim odpowiednio zająć. W przeglądach piszą, że GPT-5.2 pokazuje bardzo wysokie wyniki na dobrze sformalizowanych zadaniach olimpijskich i znacznie skromniejsze i niestabilne sukcesy na otwartych zadaniach badawczych.
Wygląda na to, że pozostało niewiele czasu, aby 660 nierozwiązanych problemów Erdős pozostawało nierozwiązanych - a tam i do zupełnie innych problemów sprawa dojdzie.
Na zdjęciu - Terence Tao, nawiasem mówiąc, człowiek z najwyższym IQ na świecie, 225–230 punktów.
#BTC #BTC走势分析 #Write2Earn $TRX
