Simons Foundation запустила 15-мільйонну програму для допомоги математикам у навігації в епоху AI

15-мільйонне партнерство для математичної спільноти

Simons Foundation оголосила про новий пакет ініціатив, який допоможе математичній спільноті орієнтуватися в швидкому зростанні штучного інтелекту в цій сфері. У межах партнерства Simons Foundation, Anthropic та OpenAI разом виділять 15 мільйонів доларів і ресурси. Фонд керує та розподіляє це фінансування, зокрема через відкритий конкурс, щоб підтримати воркшопи та ініціативи, які допомагають дослідникам оцінювати останні результати, отримані за допомогою AI, вивчати та використовувати нові інструменти, обмінюватися думками та розробляти колективні стандарти використання AI.

Стандарти використання AI, розроблені спільнотою

«Коли штучний інтелект швидко змінює ландшафт досліджень, ми хочемо допомогти математичній спільноті об'єднатися та знайти найкращий шлях уперед», — заявляє президент Simons Foundation Девід Спергель. «Тепер час глядіти на математику цілісно, не як на набір доказів і теорем, а як на колективне розуміння, спричинене людською допитливістю.»

Anthropic та OpenAI також нададуть інструменти AI та обчислювальні ресурси дослідникам, яких підтримує Simons Foundation, і це стосуватиметься не лише математики, а й фундаментальних наук. Фінансування та ресурси визначатимуться спільнотою та спиратимуться на десятилітню відданість фонду підтримці та заохоченню математики.

Досвід використання AI в математиці

Фонд на ранніх етапах підтримував машинне навчання в науці, зокрема фінансував розробку асистента доказів Lean, який здійснив революцію в тому, як математики працюють, зробивши можливою верифікацію доказів за допомогою AI. Крім того, фонд організовував воркшопи, лекції та колаборації, які об'єднували математиків для дослідження ролі AI та роздумів над цією сферою.

«Це момент, коли математичній спільноті потрібно об'єднатися», — каже Спергель. «Саме спільнота повинна вести дискусії про те, як оцінювати, інтегрувати та використовувати ці інструменти, а не яокремо взята компанія чи інститут. Мета програми — підтримати математичну спільноту.»

Джерела: simonsfoundation.org