Нейромережі не зможуть володіти всеосяжними знаннями з математики, оскільки у людей постійно виникають нові ідеї, повідомила завідувач кафедри математики і статистики коледжу Суортмор Лінн Стюерле Шофілд.

Компанія Anthropic повідомляла, що модель штучного інтелекту Claude менш ніж за два тижні перевірила і формалізувала доказ Великої теореми Ферма за допомогою мови програмування. ШІ згенерував 13 мільйонів рядків коду і довів 29,5 тисяч проміжних теорем. Роботу оцінив провідний експерт з оцифрування математики Кевін Баззард з Імперського коледжу Лондона, підтвердивши, що комп'ютерна перевірка пройдена повністю і без спотворень вихідних аксіом.

"ШІ повністю спирається на знання, які вже є і були опубліковані, але у людей постійно виникають нові ідеї, з'являються дані, світ розвивається, як і дослідження", - розповіла Шофілд.

Математичні проблеми нейромережа вирішує тільки з опорою на існуючі та опубліковані дані, сказала вона.

Теорема, сформульована П'єром де Ферма в XVII столітті, стверджувала, що жодна сума двох цілих позитивних чисел, зведених в однакову ступінь вище другої, не може дорівнювати третьому цілому числу в тій же мірі. Вчені не могли знайти підтвердження цієї ідеї більше трьох століть, поки в кінці ХХ століття англійський математик Ендрю Вайлс не представив складне багатосторінковий доказ, перевірка якого вручну зайняла у рецензентів цілий рік.