ChatGPT допоміг 23-річному британцю розв’язати математичну гіпотезу Пола Ердеша
Джерело: Scientific American.
Британець Ліам Прайс, який не вивчав поглиблену математику, зумів знайти відповідь на питання, над розв’язанням якого науковці працювали понад 60 років. Ключовим інструментом у цьому став доступ до останніх мовних моделей OpenAI. Минулого тижня Прайс опублікував на спеціалізованому сайті erdosproblems.com рішення однієї з гіпотез Пола Ердеша, отримане ним після одного запиту до нейромережі GPT-5.4 Pro.
Суть проблеми стосується “примітивних множин” цілих чисел – таких груп, де жодне число не ділиться націло на інше. Пол Ердеш свого часу припустив, що певне математичне значення (сума Ердеша) для таких множин має нижню межу, що дорівнює одиниці при наближенні чисел до нескінченності. Джаред Ліхтман зі Стенфордського університету, який раніше довів іншу частину цієї теорії, зізнався, що також не міг подолати цей етап до появи рішення від ШІ.
Експерти зазначають, що це відкриття відрізняється від попередніх успіхів ШІ в математиці своєю оригінальністю.
“Це рішення трохи інше, тому що люди розглядали його його, і ті люди просто колективно зробили невеликий неправильний поворот на першому кроці. Починає вимальовуватися картина, що проблема була, можливо, легшою, ніж очікувалося, і це було схоже на якийсь ментальний блок”, – зауважив професор Каліфорнійського університету в Лос-Анджелесі Терренс Тао.
За словами фахівців, штучний інтелект використав формулу, яка добре відома в суміжних галузях, але ніхто раніше не здогадався застосувати її саме до цього типу завдань. Хоча первинний текст доказу від ChatGPT був технічно недосконалим, Ліхтман та Тао змогли його відредагувати, виділивши головну ідею.
“Сирий вихід доказу ChatGPT був насправді досить слабким. Тож знадобився експерт, щоб просіяти його та зрозуміти, що він намагався сказати”, –додав Джаред Ліхтман.
Сам Ліам Прайс розповів, що просто експериментував із задачами Ердеша у вільний час, не знаючи їхньої історії. Тепер науковці бачать у цьому результаті потенціал для глибшого розуміння анатомії великих чисел.
“Ми відкрили новий спосіб мислення про великі числа та їхню анатомію. Це гарне досягнення. Я думаю, що питання про довгострокову значущість ще залишається відкритим”, – підсумував Терренс Тао.
- У Німеччині 41-річний чоловік уникнув покарання у справі про неправомірне отримання допомоги з безробіття після того, як скористався чат-ботом ChatGPT для підготовки процесуальних документів.
Пакистанські силовики здійснили наземну операцію на основі розвідувальних даних у прикордонному районі з Афганістаном. Після цього були проведені точкові удари по місцях перебування бойовиків.
Міністр внутрішньої безпеки США Марквейн Маллін заявив, що мігранти з тимчасовим захищеним статусом мають або подати документи на постійне проживання, або залишити країну. Його слова пролунали після рішення Верховного суду, яке може позбавити захисту сотні тисяч гаїтян і сирійців.
США та Іран домовилися припинити взаємні атаки на тлі загострення довкола Ормузької протоки. Сторони планують зустрітися у вівторок у столиці Катару Досі, щоб обговорити умови безпечного проходження суден.
Міністр закордонних справ Ірану Аббас Арагчі заявив, що країни регіону не повинні дозволяти використовувати свої території або об’єкти для атак проти Ірану. Про це він сказав під час зустрічі з прем’єр-міністром Іраку Алі Фалехом аль-Заїді в Багдаді.
Кількість загиблих унаслідок потужних землетрусів у Венесуелі зросла до 1450. За оцінками ООН, близько 50 тисяч людей досі вважаються зниклими безвісти.