Ми раді оголосити про спонсорство на суму 1 000 000 доларів безпосередньо студентам і дослідникам, щоб заохотити подальші дослідження з використанням ШІ та офіційної верифікації. Детальніше 👇

За останні два місяці, відколи ми зробили Арістотеля широко доступним для широкої публіки, стало дедалі очевидніше, що ми вступаємо в нову еру математичних відкриттів. Студенти та дослідники на всіх рівнях і з різних дисциплін використовували Арістотеля для розв'язання відкритих припущень і перевірки характерних результатів.

Ми розгортаємо наш капітал і ресурси для подальшого прискорення прогресу у цій сфері завдяки двом початковим рівням спонсорства.