Hoskinson ocenił postępy sztucznej inteligencji w matematyce

Założyciel Cardano, Charles Hoskinson, stwierdził, że postępy sztucznej inteligencji w zaawansowanej matematyce znacznie przekroczyły oczekiwania. Podkreślił szczególnie zdolność do generowania i weryfikacji skomplikowanych dowodów matematycznych. Hoskinson ocenił podejście Naviera-Stokesa, które rzekomo zostało opracowane przez sztuczną inteligencję, w swoim programie na YouTube. Problem ten należy do najbardziej znanych nierozwiązanych zagadnień w matematyce. Hoskinson wyraził przekonanie, że pomysł, iż sztuczna inteligencja mogłaby napisać pełny dowód, wydawał się kiedyś odległy, ale duże modele językowe dokonały niespodziewanego skoku w tej dziedzinie. Zaznaczył, że ten rozwój może oznaczać głęboką zmianę w sposobie pracy matematycznej. Zwrócił również uwagę na wpływ systemów sztucznej inteligencji na produkcję akademicką i prywatność danych. Podkreślił, że badacze pracujący z modelami opartymi na chmurze mogą stracić kontrolę nad swoimi pomysłami i zapisami pracy. Hoskinson powiedział, że sztuczna inteligencja jest w stanie rozwijać istniejące pomysły, co ponownie stawia ją w centrum dyskusji na temat produkcji naukowej. Przypomniał, że ze względu na znaczenie problemu Naviera-Stokesa w dynamice płynów i inżynierii, weryfikacja tego twierdzenia może mieć wpływ na szerokie obszary nauki i technologii.