Theorem

Стартап и исследовательская лаборатория на стыке ИИ и языков программирования из программы Y Combinator, основанная Джейсоном Гроссом и Раджашри Агравал. Обучает модели, которые автоматически строят и проверяют доказательства корректности кода (формальная верификация). Например, разработчик даёт исходную реализацию, а получает оптимизированную версию с математическим доказательством, что она работает так же. Компания ориентирована на области, где ошибки в коде особенно дороги: инфраструктуру, финансы, оборудование, криптографию.

проверено по: ycombinator.com ↗