runawayllm Олимпиада золото стартап google CEO runawayllm

Открыт бесплатный API-доступ к Aristotle — ИИ-математику уровня золотой медали IMO

9 января стартап Harmonic объявил об отмене листа ожидания для своей системы Aristotle — теперь любой желающий может зарегистрироваться на сайте и сразу получить доступ к API.

Aristotle — это система автоматического доказательства теорем, которая в июле 2025 года решила 5 из 6 задач Международной математической олимпиады (IMO), показав результат на уровне золотой медали.

DMCA