AI-for-math community expands alongside new models and prover releases
Pat Shafto, a DARPA program manager, organizes a meetup for mathematicians and researchers working on AI for mathematics every two or three months. The latest edition took place about two weeks ago in Seattle as a three-day research program, bringing together academics and industry AI researchers, including people from OpenAI and AWS US.
The event featured reports on new open-source model work. Godot Prover, developed by Princeton Labs and Jeff Orosz, has reached version 3.
The community was characterized as thriving, with “incredible” energy. The advancing technology was also said to be making an increasing number of previously open mathematical problems attainable—a prediction about future progress.
Сообщество AI-for-math расширяется на фоне новых моделей и релизов доказчиков
Пэт Шафто, программный менеджер DARPA, организует встречу математиков и исследователей, работающих над применением ИИ в математике, каждые два или три месяца. Последняя встреча прошла около двух недель назад в Сиэтле в формате трёхдневной исследовательской программы; в ней участвовали академические и корпоративные исследователи ИИ, в том числе представители OpenAI и AWS US.
На встрече представили новые разработки в области открытых моделей. Godot Prover, созданный Princeton Labs и Джеффом Орошом, достиг версии 3.
Сообщество назвали активно развивающимся, а его энергию — «невероятной». Также прозвучал прогноз, что развитие технологий сделает доступным всё больше математических задач, остающихся нерешёнными.