Підпишіться на нас в Google
Група дослідників заявила, що їм вдалося спростувати давню невирішену проблему, спочатку поставленою одним із найвідоміших діячів сучасної математики. За їхніми словами, через 80 років гіпотеза Пала Ердеша про кількість різних відстаней нарешті була розв'язана, пише IFLScience.
Вчені заявили, що цю задачу зміг розв'язати штучний інтелект. Результати опублікували на сайті OpenAI.
"Це найвражаючий окремий результат. Але ви бачите, що зараз майже кожні кілька днів з’являється якесь нове доведення, отримане за допомогою ШІ. Це справді змінює обличчя математичних досліджень", – сказала Нога Алон, комбінаторист із Принстонського університету, яка рецензувала доказ у супровідній статті для OpenAI.
Фізик і математик із Техаського університету Томас Чен у розмові з журналістами висловив побоювання, що впровадження "чорного ящика" у робочий процес строгої математики підриває самі основи того, чим має бути математика як галузь людської діяльності.
У виданні нагадали, що суть гіпотези Ердеша про кількість різних відстаней полягає в наступному: при заданій довільній кількості точок на площині, якою є максимальна кількість пар, розташованих на однаковій відстані одна від одної? Однак вченим не вдавалося довести її вже 80 років.
Як виявилося, була дуже вагома причина, через яку ніхто не міг довести цю гіпотезу. Коли перед OpenAI було поставлено завдання розв'язати цю проблему, компанія натомість представила те, чого ніхто не очікував: контрприклад.
У виданні підкреслили, що знайти контрприклад було не так вже й складно – як написав у своїй частині супровідної статті, присвяченій огляду результату, комбінатор-арифметик з Манчестерського університету Томас Блум, це було "природним, хоча й вельми нетривіальним, узагальненням вихідної решіткової конструкції Ердеша".
Навіщо для розв'язання задачі знадобився ШІ
У виданні пояснили, що для того, щоб придумати цей контрприклад, людині знадобилося б, щоб одразу сталося кілька малоймовірних подій: їй довелося б не просто бути знайомою з цією задачею, а й захоплено нею займатися. Також їй знадобилися б знання в галузі теорії класів полів – досить відокремленої галузі математики, якщо не розглянути всю задачу під дещо іншим кутом.
"ШІ використовував досить складні інструменти з алгебраїчної теорії чисел. Можливо, озираючись назад, не зовсім несподівано, що між ними є зв’язок, але це не перше, що спадає на думку", – пояснила Алон.
Крім того, вчені додали, що для пошуку контрприкладу людині знадобилася б величезна наполегливість, яка дозволяє не здаватися навіть тоді, коли більшість людей уже давно б здалися. Однак ШІ не має подібної проблеми.
Вчені підкреслили, що у ШІ немає его і йому не потрібно відпочивати. Дослідники зазначили, що це дуже допомагає у швидкому пошуку інформації.
Штучний інтелект створив вакцину
Раніше універсальна вакцина проти коронавірусів, розроблена вченими Кембриджського університету та британської біотехнологічної компанії DIOSynVax, успішно пройшла перше клінічне випробування за участю людей.
Особливість цієї вакцини полягає в тому, що під час її розробки використовували штучний інтелект і машинне навчання, які допомогли створити так званий "суперантиген" – компонент, що навчає імунну систему розпізнавати широкий спектр вірусів. Це перший випадок, коли вакцину, створену за допомогою ШІ, успішно випробували на людях.
