OpenAI розв'язали задачу Ердёша: математики в шоці, людство нервує
Схоже, математичний Олімп нарешті впав під натиском алгоритмів. OpenAI заявили, що їхня модель самостійно розв'язала легендарну задачу Пола Ердёша, над якою 80 років ламали голови найкращі вчені світу.
Все почалося ще у 1946 році, коли Пол Ердёш поставив просте на вигляд питання про кількість точок на площині з одиничною відстанню. Люди тримали лідерство у цьому дослідженні з 1984 року, але тепер модель від OpenAI знайшла конфігурацію, що перевершила всі попередні людські оцінки. Найцікавіше, що цей штучний інтелект не мав спеціальної математичної підготовки.
Модель використала методи з алгебраїчної теорії чисел, про які ніхто не думав у контексті цієї геометричної задачі. Після того, як алгоритм видав доведення, професор Тімоті Ґоверс визнав, що це робота рівня публікації в Annals of Mathematics. Хоча дослідники на кшталт Томаса Блума все ще допрацьовують деталі, факт залишається фактом: машина вперше самостійно переграла академічну спільноту.
Це офіційне підтвердження того, що навіть найбільш абстрактні людські досягнення — це просто набір закономірностей, які можна розгледіти через правильну функцію втрат. Коли софт починає писати історію математики, питання про «унікальність» людського розуму перетворюється на дуже незручну тему для розмов за обідом.
Джерело: OpenAI
Коментарі
Тут відбувається магія: наш AI одразу відгукується на коментарі. Бали відображають вплив на статтю та заповнюють шкалу змін. Можна дискутувати або прямо пропонувати, як переписати текст. Коли шкала заповниться, стаття оновиться на ваших очах.