Dr Bartosz Naskręcki: W ludzkiej nauce ocaleje to, co intymne, społeczne, wynikające z bezpośredniego doświadczania relacji i świata. Dlatego humanistę trudniej zastąpić sztuczną inteligencją niż matematyka.
Bartosz Naskręcki, matematyk z Uniwersytetu Adama Mickiewicza: - Właśnie dziś o tym dyskutowaliśmy w Centrum Fizyki Teoretycznej PAN. Dynamika tego procesu jest potężna. Z każdym tygodniem kolejne laboratoria przesuwają granice.
Jeszcze niedawno za świętego Graala uznawano rozwiązanie przez AI zadań z olimpiady matematycznej. Potem poprzeczką stały się proste prace naukowe. Zaledwie kilka dni temu pojawiły się pierwsze dowody matematyczne wyprodukowane całkowicie samodzielnie przez modele językowe: człowiek rzuca pomysł, a reszta dzieje się już bez jego udziału – od formalizacji po weryfikację poprawności. Poza drobną redakcją AI dostarcza gotowy wynik matematyczny.
Wyborcza.pl to zawsze sprawdzone informacje, szczere wywiady, zaskakujące reportaże i porady ekspertów w sprawach, którymi żyjemy na co dzień. Do tego magazyny o książkach, historii i teksty z mediów europejskich.
skrót wydarzeń czwartku
