🤖 Axiom: переход к верифицируемому ИИ
Стартап Axiom разрабатывает ИИ, использующий формальные математические доказательства вместо статистических догадок. Компания показала 99% на бенчмарке Verina Codegen, используя язык Lean для обеспечения корректности.
🌍 Переход к верифицируемым сигналам вознаграждения позволяет избежать ошибок в рассуждениях и создает высококачественные данные для обучения новых моделей.
👤 Это шаг к ИИ, который математически гарантирует правильность ответов, что критически важно для медицины, авиации и науки.
Источник 1: https://www.latent.space/p/axiom