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