Штучний інтелект Deepmind вирішив математичне завдання, яке поставило людей у глухий кут
Час веселощів
DeepMind стверджує, що вперше ШІ вирішив знамените складне математичне завдання, вирішення якого вислизнуло від математиків-людей. Це завдання може виявитися величезним, якщо витримає ретельну перевірку.
В інтерв'ю MIT Technology Review та The Guardian дослідники Google DeepMind докладно розповіли про свій новий інструмент штучного інтелекту, який, за їхніми твердженнями, дозволив створити абсолютно нове рішення так званої «проблеми обмеження», що передбачає нанесення все більшої кількості точок, жодна з яких ніколи не утворює пряму лінію.
Нові результати, про які дослідники оголосили в статті, опублікованій в журналі Nature, стануть першим випадком, коли ШІ зробить унікальне наукове відкриття, яке, оскільки воно раніше було невідоме, не було частиною його навчальних даних. Це було б дуже важливо, враховуючи, що ШІ відомий тим, що вигадує дурницю та вигадане сміття, навіть якщо його навчальні дані дають правильні відповіді.
DeepMind створила розглянутий інструмент під назвою «FunSearch» щодо математичних функцій (а не іншого виду розваг) на базі свого штучного інтелекту AlphaZero, який вирішує математичні завдання, ніби він грав у гру. Програма LLM, яку він використовує, називається Codey. Вона навчена та відточена на комп'ютерному коді та запрограмована на відхилення неправильних відповідей та повернення правильних відповідей у свою модель.
Відповідь невідома
Вставити код у ШІ — це одне, а змусити його знайти зовсім нове рішення знаменитої головоломки (хоча, як зазначає MIT Tech, це зайняло кілька днів), — це зовсім інше.
«Цього немає в даних навчання», — повідомив сайт віце-президент DeepMind з досліджень Пушміт Кохлі. "Про це навіть не було відомо".
У твердженнях вчених DeepMind є щось містичне: LLM вдалося, можливо, думати самостійно.
«Чесно кажучи, ми маємо гіпотези, але ми не знаємо точно, чому це працює», — сказав MIT Tech дослідник DeepMind Альхуссейн Фавзі. «На початку проєкту ми не знали, чи це спрацює взагалі».
Хоча, очевидно, потрібно ще багато досліджень, щоб перевірити твердження і спробувати з'ясувати, як саме FunSearch придумала нове розв'язання проблеми з набором обмежень, його творці явно надихнуті.
"Коли ми розпочали проєкт, не було жодних ознак того, що він створить щось справді нове", — сказав Кохлі The Guardian. «Наскільки ми знаємо, це перший випадок, коли справжнє нове наукове відкриття було зроблено за допомогою великої мовної моделі».
Джерела: MIT Technology Review, The Guardian
