Фонд Саймонса объявил о новом наборе инициатив, призванных помочь математическому сообществу справиться с быстрым развитием искусственного интеллекта в этой области, при поддержке совокупного финансирования в размере 15 миллионов долларов США и ресурсов от фонда, Anthropic и OpenAI.

Фонд будет управлять и выделять финансирование, в том числе посредством открытого конкурса заявок, для поддержки семинаров и инициатив, которые помогают исследователям оценивать последние результаты с помощью ИИ, изучать и использовать новые инструменты, делиться взглядами и формировать коллективные стандарты использования ИИ в математических исследованиях. Подробнее об этой истории — в нашем последние разработки в ИИ.

Инструменты и вычисления за пределами математики

Помимо финансирования, Anthropic и OpenAI предоставят инструменты искусственного интеллекта и вычислительные ресурсы исследователям, которых поддерживает Фонд Саймонса. Согласно заявлению фонда, эта поддержка выходит за рамки математики и включает фундаментальную науку в более широком смысле — необычно прямой канал между передовыми лабораториями искусственного интеллекта и работающими академическими исследователями.

Соглашение примечательно своей структурой: вместо того, чтобы лаборатории определяют повестку дня, фонд контролирует, как распределяются деньги, а в материалах для прессы подчеркивается, что награды и ресурсы будут определяться сообществом.

Почему математика — это передовая линия

Математика стала одним из наиболее важных полигонов для тестирования ИИ в науке. Фонд Саймонса был одним из первых, кто поддержал машинное обучение в науке, в том числе профинансировал разработку помощника по бережливому доказательству, который изменил то, как математики формализуют работу, и сделал возможными доказательства с помощью ИИ. Поскольку системы искусственного интеллекта все больше способствуют математическим открытиям, сообщество сталкивается с практической проблемой: как проверять, оценивать и доверять результатам, полученным с существенной помощью машин.

Эта проблема проверки занимает центральное место в том, что финансирует новая инициатива. Семинары и инициативы, направленные на «оценку последних результатов с помощью ИИ», признают, что традиционный процесс рецензирования не был предназначен для доказательств, составленных с использованием систем ИИ, а в некоторых случаях и в значительной степени созданных с их помощью.

Структура Фонда: сообщество прежде всего

Президент Фонда Саймонса Дэвид Спергель назвал эти усилия моментом для коллективного принятия решений. «Поскольку искусственный интеллект быстро меняет исследовательский ландшафт, мы хотим помочь математическому сообществу объединиться и проложить лучший путь вперед», — сказал Спергель в объявлении. «Сейчас самое время взглянуть на математику в целом — не как на набор доказательств и теорем, а как на коллективное понимание, движимое человеческим любопытством».

Спергель четко указал на то, кто должен устанавливать условия усыновления. «Обсуждение того, как эти инструменты оцениваются, принимаются и используются, должно стимулировать сообщество, а не какая-то отдельная компания или учреждение», — сказал он. «Цель программы — поддержка математического сообщества».

Это заявление выглядит как преднамеренный контраст с динамикой, знакомой по внедрению ИИ: отдельные учреждения договариваются об отдельных сделках с поставщиками моделей, согласно нормам, установленным той лабораторией или университетом, которые двинутся первыми. Направляя финансирование через открытый конкурс и уделяя особое внимание коллективным стандартам, фонд пытается создать координационный центр для дисциплины, результаты которой — доказательства — необычайно поддаются проверке и, следовательно, необычно подвержены ярлыкам с помощью ИИ.

Модель для других областей

Эта инициатива может послужить образцом за пределами математики. Области фундаментальной науки сталкиваются с одним и тем же основополагающим вопросом — как освоить инструменты ИИ, не уступая стандарты поставщикам этих инструментов — и структура Фонда Саймонса, в которой нейтральная филантропия управляет ресурсами, пожертвованными конкурирующими компаниями ИИ, является одной из первых попыток найти ответ.

История фонда дала ему возможность играть эту роль: помимо раннего финансирования помощника по бережливому доказательству, он проводил семинары, лекции и совместные мероприятия, исследующие роль ИИ в математике. Новое обязательство в размере 15 миллионов долларов формализует объединение полномочий в финансируемую программу именно в тот момент, когда результаты с помощью ИИ достигаются быстрее, чем нормы сообщества могут их поглотить.

---

Будьте в курсе ИИ

Последние новости, аналитика и прорывы в сфере ИИ — всё в одном месте.

Читать больше новостей об ИИ →