23-річний ентузіаст без поглибленої математичної освіти Ліам Прайс за допомогою ChatGPT Pro отримав розв’язання математичної задачі, яка залишалася відкритою понад 60 років. Про це пише Scientific American. У матеріалі йдеться саме про Ліама Прайса, а не Ніла Сомані, як іноді помилково зазначають у переказах цієї історії.
За даними видання, Прайс ввів задачу в GPT-5.4 Pro і отримав відповідь, яка виглядала як коректне рішення. Після цього він передав її Кевіну Баррето, студенту другого курсу математики Кембриджського університету, а згодом результатом зацікавилися фахівці.
Задача стосувалася так званих примітивних множин — наборів цілих чисел, у яких жодне число не ділиться на інше. Це один із напрямів, пов’язаних із проблемами видатного угорського математика Пала Ердеша.
Читайте також: У Вашингтоні вивісили прапори Австралії замість британських напередодні візиту короля Чарльза III
Особливість випадку в тому, що штучний інтелект запропонував не просто чергову спробу доведення, а інший підхід до задачі. Математик Теренс Тао зазначив, що люди, які раніше працювали над цією проблемою, фактично йшли стандартним шляхом, тоді як модель використала формулу з суміжної галузі математики, яку раніше ніхто не застосовував до задач такого типу.
Водночас експерти наголошують, що сирий результат ChatGPT не був готовим математичним доказом у чистому вигляді. За словами математика Джареда Ліхтмана, вихідний текст моделі був досить слабким і вимагав роботи фахівців, які змогли зрозуміти ключову ідею, відфільтрувати помилки та скоротити доведення до надійнішої форми.
Попри це, науковці вважають випадок важливим. За словами Тао, новий підхід може мати ширше застосування і відкриває інший спосіб мислення про структуру великих чисел.