Открыт бесплатный API-доступ к Aristotle — ИИ-математику уровня золотой медали IMO
9 января стартап Harmonic объявил об отмене листа ожидания для своей системы Aristotle — теперь любой желающий может зарегистрироваться на сайте и сразу получить доступ к API.
Aristotle — это система автоматического доказательства теорем, которая в июле 2025 года решила 5 из 6 задач Международной математической олимпиады (IMO), показав результат на уровне золотой медали.
habr.com