Tao Zhexuan ostrzega przed kryzysem wartości w matematyce, nadmiar dowodów generowanych przez AI

Chiński matematyk Tao Zhexuan na Międzynarodowym Kongresie Matematyków (ICM) stwierdził, że matematyka wkracza w podstawowy kryzys dotyczący wartości i metod badawczych. Zauważył, że AI wkrótce będzie w stanie wykonać wiele zadań matematycznych na poziomie badawczym w rozsądnych kosztach. W najnowszym teście cztery systemy AI zmierzyły się z 10 nowymi problemami badawczymi, a przynajmniej jeden z systemów rozwiązał 7 z nich na poziomie nadającym się do publikacji, przy koszcie obliczeniowym od 10 do 1000 dolarów za zadanie. Tao Zhexuan uważa, że matematyka przejdzie od "niedoboru dowodów" do "nadmiaru dowodów", a dowody generowane przez AI będą się gromadzić w oczekiwaniu na weryfikację. Wyniki po weryfikacji będą wymagały od ludzi jasnego wyjaśnienia, recenzji i uporządkowania. Prawdziwą rzadkością będzie umiejętność oceny znaczenia wyników oraz przekształcania dowodów w wiedzę zrozumiałą dla ludzi. Podkreślił, że jeśli autor nie potrafi jasno i dokładnie wyjaśnić swoich osiągnięć, nawet jeśli dowód został wygenerowany przez AI i przeszedł weryfikację, nie powinien być publikowany.

Niniejsza treść ma charakter wyłącznie informacyjny i nie stanowi porady finansowej, inwestycyjnej, prawnej ani podatkowej. Wszelkie wydarzenia, nagrody, promocje online lub powiązane informacje, o których tu mowa, nie powinny być traktowane jako rekomendacja, zachęta ani zaproszenie do kupna, sprzedaży, wymiany lub innego rodzaju obrotu aktywami kryptograficznymi. Aktywa kryptograficzne charakteryzują się dużą zmiennością i mogą prowadzić do strat. Dostępność usług, produktów i powiązanych wydarzeń WEEX może się różnić w zależności od regionu. Użytkownik jest odpowiedzialny za upewnienie się, że jego udział jest zgodny z obowiązującymi lokalnymi przepisami i regulacjami.