Заявка Theorem в YC
Theorem прошел Y Combinator в потоке Spring 2025 как компания из сферы B2B. Ниже: чем занимается компания, кто ее основал, и ее заявка в YC, реконструированная вопрос за вопросом в реальной форме YC.
- Поток YC
- Spring 2025
- Сфера
- B2BEngineering, Product and Design
- Размер команды
- 4
- Статус
- Active
- Запущено
- 2025
Фаундеры
- Jason Gross
- Rajashree Agrawal
Чем занимается Theorem
Theorem is training models that make program verification 10,000 times faster. Using verification as a feedback loop, developers have found zero-days in GPU accelerated code and cryptography implementations, and sped up code migration in legacy systems. If you have complicated code that needs to be correct and secure, sign up for our beta!
Заявка Theorem в YC, реконструирована
Заявка Y Combinator
Theorem, батч Spring 2025. Реальные вопросы из анкеты, ответы из публичных данных.
- Founders2
- Company7
- Progress7
- Idea4
- Equity3
- Curious2
- Batch Preference1
Company
Theorem
Program verification 10,000x faster
We build machine learning models that automate program verification, making it 10,000 times faster. Our technology feeds verification results back into development, helping engineers identify zero-day vulnerabilities in GPU-accelerated code and cryptography, and speed up legacy code migration.
We live and work in San Francisco, and will base the company here after YC.
San Francisco is where our small team is located and where our early users - engineering teams working on complex code - are concentrated. Staying here keeps us close to both talent and customers.
21 еще ответ в полной заявке
Founders, Progress, Idea, Equity, Curious, Batch Preference находятся в полной версии. Создайте бесплатную учетную запись, чтобы открыть ее в YC Insights, рядом с каждым другим потоком YC.
Часто задаваемые вопросы
Это реальная заявка Theorem в YC?
Нет. Y Combinator держит поданные заявки в приватности. Это реконструкция: реальные вопросы формы YC, ответы на которые основаны на публичных данных Theorem (заметки о запуске, бэкграунд фаундеров, описание продукта). Это показывает, как компания вроде Theorem представила бы себя YC, а не текст, который они подали.
В каком потоке YC был Theorem?
Theorem был частью потока Y Combinator Spring 2025.
Кто основал Theorem?
Theorem был основан Jason Gross, Rajashree Agrawal.
Что делает Theorem?
Program verification so even your systems engineers can vibecode
Как мне прочитать полную реконструированную заявку?
Создай бесплатный аккаунт Round Funded. Полная 26-ответная версия заявки Theorem и каждой другой партии YC доступна в YC Insights.
Другие стартапы YC, как Theorem
