Model językowy jest matematycznym geniuszem. Utworzył dowód dla problemu, który nie miał rozwiązania

Zdjęcie: Model językowy


Po raz pierwszy model językowy oparty na sztucznej inteligencji – ChatGPT‑5.2 – został użyty do wygenerowania oryginalnego dowodu matematycznego dla problemu geometrycznego, który wcześniej nie posiadał formalnego rozwiązania. W badaniu zorganizowanym przez przedstawicieli Data Analytics Lab pierwsze skrzypce odegrała metoda, w ramach której AI eksploruje przestrzeń możliwych rozumowań i proponuje kolejne fragmenty dowodu. Zaprzężony do […]