Мы рады объявить о спонсорстве в размере 1 000 000 долларов США, направленном непосредственно студентам и исследователям, чтобы поощрить дальнейшие исследования с использованием AI и формальной верификации. Больше деталей 👇

За последние два месяца с тех пор, как мы сделали Aristotle доступным для широкой публики, стало все более очевидно, что мы вступаем в новую эру математических открытий. Студенты и исследователи всех уровней и из многих дисциплин использовали Aristotle для решения открытых гипотез и проверки знаковых результатов.

Мы выделяем наш капитал и ресурсы для дальнейшего ускорения прогресса в этой области с двумя начальными уровнями спонсорства.