OpenAI перемогла математику — компанія за один захід видала 722 математичні роботи, над якими люди, зокрема, билися десятиліттями.
Компанія опублікувала результати роботи своєї поки що неназваної внутрішньої моделі: вона отримала близько 4000 математичних задач і зрештою видала 722 рукописи у 372 напрямках.
У середньому на один результат йшло близько трьох годин обчислень рівня ChatGPT Pro — просто зараз результати перевіряють найкращі розуми світу.
Щоправда, у математиків уже «підгоріло», адже такі публікації мають супроводжуватися повноцінними статтями, а не… постами в соцмережах.
Результати вже доступні на GitHub. Там же є Lean-формалізації частини доказів.