Фонд Саймонса оголосив про нову низку ініціатив, щоб допомогти математичній спільноті зорієнтуватися у стрімкому зростанні штучного інтелекту в цій галузі, підтримавши 15 мільйонів доларів спільного фінансування та ресурсів від фонду, Anthropic та OpenAI.
Фонд керуватиме та надаватиме фінансування, в тому числі через відкритий конкурс пропозицій, для підтримки семінарів та ініціатив, які допомагають дослідникам оцінювати останні результати за допомогою штучного інтелекту, вивчати та використовувати нові інструменти, ділитися точками зору та формувати колективні стандарти використання штучного інтелекту в математичних дослідженнях. For more context on this story, see our ongoing AI news.
Інструменти та обчислення поза межами математики
Крім фінансування, Anthropic і OpenAI нададуть інструменти штучного інтелекту та обчислювальні ресурси дослідникам, яких підтримує Фонд Саймонса. Згідно з повідомленням фонду, ця підтримка виходить за межі математики й охоплює фундаментальну науку ширше — надзвичайно прямий канал між передовими лабораторіями штучного інтелекту та працюючими академічними дослідниками.
Угода примітна своєю структурою: замість того, щоб лабораторії встановлювали порядок денний, фонд контролює, як присуджуються гроші, а в прес-матеріалах наголошується, що нагородами та ресурсами керуватиме спільнота.
Чому математика є першою лінією
Математика стала одним із найбільш ефективних полігонів для тестування ШІ в науці. Фонд Саймонса був першим підтримцем машинного навчання для науки, зокрема фінансував розробку Lean proof Assistant, який змінив спосіб формалізації роботи математиків і зробив можливим докази за допомогою ШІ. Оскільки системи штучного інтелекту все більше сприяють математичним відкриттям, спільнота стикається з практичною проблемою: як перевірити, оцінити та довіряти результатам, отриманим за допомогою значної машинної допомоги.
Ця проблема перевірки є центральною для фінансування нової ініціативи. Семінари та ініціативи, спрямовані на «оцінку нещодавніх результатів, отриманих за допомогою штучного інтелекту», визнають, що традиційний процес рецензування не був розроблений для доказів, розроблених за допомогою систем штучного інтелекту або в деяких випадках значною мірою створених ними.
Фундація: передусім громада
Президент Фонду Саймонса Девід Спергель назвав ці зусилля моментом для колективного прийняття рішень. «Оскільки штучний інтелект швидко змінює дослідницький ландшафт, ми хочемо допомогти математичній спільноті об’єднатися та прокласти найкращий шлях вперед», — сказав Спергель в повідомленні. «Настав час поглянути на математику в цілому — не як на збірку доказів і теорем, а як на колективне розуміння, кероване людською цікавістю».
Шпергель чітко сказав, хто має встановлювати умови усиновлення. «Обговорення того, як ці інструменти оцінюються, приймаються та використовуються, має бути суспільство, а не якась окрема компанія чи установа», — сказав він. «Мета програми — підтримати математичну спільноту».
Ця заява звучить як навмисний контраст із динамікою, звичною для впровадження штучного інтелекту: окремі установи домовляються про окремі угоди з постачальниками моделей, при цьому норми встановлюються залежно від того, яка лабораторія чи університет рушить першою. Направляючи фінансування через відкритий конкурс і наголошуючи на колективних стандартах, фонд намагається створити координаційний пункт для дисципліни, чий результат — докази — є незвичайно перевіреним, і, отже, незвичайно схильний до швидких шляхів за допомогою ШІ.
Модель для інших сфер
Ініціатива може слугувати шаблоном за межами математики. Галузі фундаментальної науки стикаються з тим самим основним питанням — як використовувати інструменти штучного інтелекту, не передаючи стандартів постачальникам цих інструментів — і структура Фонду Саймонса, в якій нейтральна філантропія управляє ресурсами, пожертвуваними конкуруючими компаніями ШІ, є однією з перших спроб знайти відповідь.
Історія фонду додала йому довіри до виконання цієї ролі: окрім раннього фінансування Lean proof assistant, він скликав семінари, лекції та співпрацював, досліджуючи роль штучного інтелекту в математиці. Нове зобов’язання у розмірі 15 мільйонів доларів офіційно закріплює залучення потужності до фінансованої програми саме в той момент, коли результати за допомогою штучного інтелекту надходять швидше, ніж норми спільноти можуть їх поглинути.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
