OpenAI виділяє $5 млн, щоб математики розібралися з новими доказами від моделей ШІ
Simons Foundation запускає ініціативу з бюджетом $15 млн, зокрема за фінансування OpenAI, щоб допомогти математикам аналізувати результати ШІ та виробити стандарти їх використання в математиці.
OpenAI виділяє $5 млн, щоб допомогти математикам зрозуміти нещодавні математичні докази, отримані за допомогою моделей ШІ.
Фонд Simons Foundation, який раніше підтримував проєкт Lean, запускає ініціативу, щоб допомогти математикам зрозуміти й оцінити нещодавні результати, отримані за допомогою ШІ, опанувати нові інструменти та виробити спільні стандарти використання ШІ в математиці.
Загальний бюджет ініціативи — $15 млн. З них $5 млн виділяє OpenAI, а ще частину, ймовірно, — Anthropic. Обидві компанії також надають дослідникам інструменти та обчислювальні ресурси. Кошти переважно підуть на організацію конференцій, воркшопів і фінансування досліджень.
Чому це важливо
АналітикаЦе важливо, бо ШІ вже генерує складні математичні результати, а спільні стандарти й інструменти можуть визначити, як наука перевірятиме й прийматиме такі докази.
Обговорити новину у спільноті
Діліться своїм досвідом та думками з ШІ-розробниками