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