ChatGPT допоміг 23-річному британцю розв’язати математичну гіпотезу Пола Ердеша

Джерело: Scientific American.

Британець Ліам Прайс, який не вивчав поглиблену математику, зумів знайти відповідь на питання, над розв’язанням якого науковці працювали понад 60 років. Ключовим інструментом у цьому став доступ до останніх мовних моделей OpenAI. Минулого тижня Прайс опублікував на спеціалізованому сайті erdosproblems.com рішення однієї з гіпотез Пола Ердеша, отримане ним після одного запиту до нейромережі GPT-5.4 Pro.

Суть проблеми стосується “примітивних множин” цілих чисел – таких груп, де жодне число не ділиться націло на інше. Пол Ердеш свого часу припустив, що певне математичне значення (сума Ердеша) для таких множин має нижню межу, що дорівнює одиниці при наближенні чисел до нескінченності. Джаред Ліхтман зі Стенфордського університету, який раніше довів іншу частину цієї теорії, зізнався, що також не міг подолати цей етап до появи рішення від ШІ.

Експерти зазначають, що це відкриття відрізняється від попередніх успіхів ШІ в математиці своєю оригінальністю.

“Це рішення трохи інше, тому що люди розглядали його його, і ті люди просто колективно зробили невеликий неправильний поворот на першому кроці. Починає вимальовуватися картина, що проблема була, можливо, легшою, ніж очікувалося, і це було схоже на якийсь ментальний блок”, – зауважив професор Каліфорнійського університету в Лос-Анджелесі Терренс Тао.

За словами фахівців, штучний інтелект використав формулу, яка добре відома в суміжних галузях, але ніхто раніше не здогадався застосувати її саме до цього типу завдань. Хоча первинний текст доказу від ChatGPT був технічно недосконалим, Ліхтман та Тао змогли його відредагувати, виділивши головну ідею.

“Сирий вихід доказу ChatGPT був насправді досить слабким. Тож знадобився експерт, щоб просіяти його та зрозуміти, що він намагався сказати”, –додав Джаред Ліхтман.

Сам Ліам Прайс розповів, що просто експериментував із задачами Ердеша у вільний час, не знаючи їхньої історії. Тепер науковці бачать у цьому результаті потенціал для глибшого розуміння анатомії великих чисел.

“Ми відкрили новий спосіб мислення про великі числа та їхню анатомію. Це гарне досягнення. Я думаю, що питання про довгострокову значущість ще залишається відкритим”, – підсумував Терренс Тао.

У столиці Сирії відбулося перше судове засідання у справі поваленого диктатора Башара Асада та його найближчого оточення. Поки сам експрезидент переховується за кордоном, на лаві підсудних у кайданках постав колишній керівник служби безпеки Атіф Наджиб, якого звинувачують у жорстокому придушенні протестів.

Колишні очільники ізраїльського уряду Нафталі Беннет та Яїр Лапід офіційно оголосили про намір об’єднати свої політичні сили в єдину фракцію. Головною метою союзу є консолідація опозиційного електорату для перемоги над чинним прем’єр-міністром Беньяміном Нетаньягу на майбутніх виборах.

Президент Франції Еммануель Макрон під час візиту до Греції виступив за посилення автономної оборони Європи. Він наголосив, що положення Договору про ЄС щодо взаємної допомоги є дієвим механізмом, який уже пройшов перевірку під час нещодавньої кризи на Кіпрі.

23-річний Ліам Прайс, який не має профільної математичної освіти, зміг розв’язати задачу, що залишалася непідкореною світовим світилам протягом шістдесяти років. Використовуючи підписку на ChatGPT Pro, він надіслав запит нейромережі, яка запропонувала неочевидний підхід до гіпотези видатного математика Пола Ердеша.

Військове керівництво Малі оголосило стан підвищеної готовності через масштабний наступ ісламістів та повстанців-туарегів на кілька міст країни. Поки державні медіа заявляють про контроль над ситуацією, джерела повідомляють про загибель високопосадовців та евакуацію глави держави генерала Ассімі Гоїти.