Сообщество AI-for-math расширяется на фоне новых моделей и релизов доказчиков

Пэт Шафто, программный менеджер DARPA, организует встречу математиков и исследователей, работающих над применением ИИ в математике, каждые два или три месяца. Последняя встреча прошла около двух недель назад в Сиэтле в формате трёхдневной исследовательской программы; в ней участвовали академические и корпоративные исследователи ИИ, в том числе представители OpenAI и AWS US.

На встрече представили новые разработки в области открытых моделей. Godot Prover, созданный Princeton Labs и Джеффом Орошом, достиг версии 3.

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