Simons Foundation выделяет $15 млн, чтобы математики не остались в стороне от эпохи AI
Simons Foundation Launches $15M Effort to Help Mathematicians Navigate AI Era
Simons Foundation совместно с Anthropic и OpenAI вкладывает $15 млн в поддержку математического сообщества на фоне стремительного распространения AI. Средства пойдут на воркшопы и открытый конкурс предложений, чтобы исследователи могли оценивать результаты, полученные с помощью AI, осваивать новые инструменты и вырабатывать общие стандарты. Anthropic и OpenAI также предоставят свои AI-инструменты и вычислительные ресурсы учёным, поддерживаемым фондом, не только в математике, но и в других областях фундаментальной науки.
«Сейчас настало время взглянуть на математику в целом — не как на набор доказательств и теорем, а как на коллективное понимание, движимое человеческим любопытством».
- muragekibicho
Я много думаю о том, как Терренс Тао и обычные 30 (уже хорошо финансируемых) математиков получат эти деньги, а мы, начинающие математики, останемся с носом.
Это чем-то похоже на «пожертвовать 100 долларов фонду node JS, а не пакетам, которые появляются, когда вы запускаете npm fund».
- simonw
> В рамках партнёрства Simons Foundation, Anthropic и OpenAI выделят 15 миллионов долларов в виде совместного финансирования и ресурсов. Фонд будет управлять и распределять финансирование, в том числе через открытый конкурс предложений, для поддержки семинаров и инициатив, которые помогают исследователям оценивать недавние результаты, полученные с помощью ИИ, изучать и использовать новые инструменты, обмениваться мнениями и формировать коллективные стандарты использования ИИ.
Фонд был основан в 1994 году, Википедия говорит, что это «одна из крупнейших благотворительных организаций в США с активами более 5 миллиардов долларов в 2022 году» — Джим Саймонс основал хедж-фонд Renaissance Technologies.
- mrandish
> > В рамках партнёрства Simons Foundation, Anthropic и OpenAI выделят 15 миллионов долларов в виде совместного финансирования и ресурсов.
OAI и Ant получили отпор за то, что по сути выкачивали математические открытия в PR-победы для своих моделей, попутно случайно разрушая исследовательскую область. Вбросить по ~5 миллионов каждый в PR-отмывание (частично в виде токен-кредитов) выглядит своекорыстно.
Хвала Simons Foundation за то, что ухватили момент и предложили лабораториям фиговый листок респектабельности. Возможно, это было самое быстрое «Да» на грантовое предложение в истории.
- defgeneric
Почти все отвергли идею проекта по математике, подобного CERN, когда его недавно предложили. К нему следовало отнестись более серьёзно.
Теперь, когда всё немного успокоилось после шоков с Навье-Стоксом и вываливанием теорем, начинает вырисовываться что-то вроде того, как будет выглядеть математика после ИИ. Конечно, всё это следует рассматривать при условии, что возможности будут продолжать улучшаться, но представьте себе что-то вроде этого —
Институт с огромным количеством вычислений, арендованных или собственных, построенный по гумбольдтовской модели единства преподавания и исследований. Главной приманкой для больших имён будет доступ к вычислениям, свободный от страха, что их опередят. Разовьются новые формы атрибуции и сотрудничества, и мы получим некоторую ясность для студентов и аспирантов относительно того, как выглядит будущая карьера.
Нынешняя мешанина математических университетских кафедр, каждая из которых идёт своим путём через кризис, не консолидируя ресурсы, делает переход более трудным. Вспомните путь физики, начавшийся с разбросанных циклотронов (в подвале института Нильса Бора даже вырыли помещение, чтобы поставить один), а затем появились более крупные лаборатории. Этот переход был постепенным, потому что физика вела его изнутри, тогда как в математике каждая университетская кафедра внезапно оказывается в огромном проигрыше по вычислениям по сравнению с лабораториями, которые не следуют той же модели и движимы другими стимулами.
Всё может быть так просто — может быть, нам не нужно полностью т […]
- cuttothechase
15 миллионов — это средняя стоимость 5 домов в районе залива!
Не уверен, что они вообще пытаются сделать этим усилием, кроме как получить немного бесплатного маркетинга!
- Trusteando
В чатах с такими моделями, как deepseek, LLM делает много базовых математических ошибок. Возможно, более продвинутые модели в особых обстоятельствах, направляемые работой людей и Lean, могут доказывать теоремы. Но так же, как в RL, подход грубой силы с миллионом неудач может оказаться недостаточным, когда награда далека.
В математике награда — это нахождение декомпозиции, сводящей задачу к более простым случаям, и во многих случаях эта награда очень далека. Более того, LLM может быстро обработать множество случаев, но декомпозиция часто исходит от человека, а модель присваивает себе заслугу за доказательство.
Этот фонд мог бы предоставить LLM декомпозиции, созданные человеческой изобретательностью, которые им нужны. Но как только они предоставлены, модель может прогнать случаи и получить признание. Следовательно, больше заслуг для LLM и меньше рабочих мест и хуже перспективы для людей, даже если это непреднамеренное последствие.
- an0malous
Мои усилия помочь учёным ориентироваться в эпоху ИИ:
В ChatGPT: Настройки -> Управление данными -> Отключить «Улучшать модель для всех»
В Claude: Настройки -> Конфиденциальность -> Отключить «Помогите улучшить наши модели ИИ»
Они могут собирать вашу работу после того, как вы её опубликуете.
- efficient_dairy
Значит, они хотят, чтобы математики продолжали подсказывать моделям и давать обратную связь для разъяснений их доказательств. Затем всё это записать и опубликовать в журнале, упомянув использование ИИ. И вдруг модели начинают выдавать читаемые и понятные доказательства благодаря «эмерджентности» навыков из-за законов масштабирования.