Theorem

Program verification so even your systems engineers can vibecode

Ada jawatan kosong

Laman web ↗Sumber: Y Combinator ↗

Tentang syarikat

Penerangan syarikat dalam bahasa Inggeris

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!

Kecerdasan Buatan

Topik

Machine Learning B2B Engineering, Product and Design

Lokasi: San Francisco, CA, Amerika Syarikat
Saiz pasukan: 4 pekerja
Kumpulan YC: Spring 2025
Status: Aktif
Peringkat: Peringkat awal

Startup serupa & pesaing

Podium

Ada jawatan kosong

Bidang perniagaan:

Dapatkan lebih banyak prospek. Jana lebih banyak wang.

Kecerdasan Buatan E-dagang

Fakta ringkas:

Ibu pejabat: Lehi, UT, Amerika Syarikat

1,000 pekerjaYC W16Peringkat pertumbuhan58 jawatan kosong

Lihat profil Laman web ↗

Flock Safety

Ada jawatan kosong

Bidang perniagaan:

Sistem pengoperasian keselamatan awam pertama yang membanteras jenayah.

Kecerdasan Buatan

Fakta ringkas:

Ibu pejabat: Atlanta, GA, Amerika Syarikat

1,000 pekerjaYC S17Peringkat pertumbuhan

Lihat profil Laman web ↗

Checkr

Ada jawatan kosong

Bidang perniagaan:

Infrastruktur sumber manusia untuk masa depan dunia pekerjaan

Sumber Manusia & Pengambilan Kecerdasan Buatan Alatan Pembangun Undang-undang & Pematuhan

Fakta ringkas:

Ibu pejabat: San Francisco, CA, Amerika Syarikat

800 pekerjaYC S14Peringkat pertumbuhan43 jawatan kosong

Lihat profil Laman web ↗

Scale AI

Ada jawatan kosong

Bidang perniagaan:

Infrastruktur berpusatkan data untuk mempercepat pembangunan AI

Kecerdasan Buatan

Fakta ringkas:

Ibu pejabat: San Francisco, CA, Amerika Syarikat

500 pekerjaYC S16Peringkat pertumbuhan182 jawatan kosong

Lihat profil Laman web ↗

Scribd

Bidang perniagaan:

Perpustakaan dalam talian terbesar di dunia.

Kecerdasan Buatan Pendidikan

Fakta ringkas:

Ibu pejabat: San Francisco, CA, Amerika Syarikat

300 pekerjaYC S06Peringkat pertumbuhan

Lihat profil Laman web ↗

Relativity Space

Ada jawatan kosong

Bidang perniagaan:

Membina masa depan berbilang planet untuk umat manusia.

Pembuatan & Semikonduktor Kecerdasan Buatan Aeroangkasa & Pertahanan

Fakta ringkas:

Ibu pejabat: Los Angeles, CA, Amerika Syarikat

2,500 pekerjaYC W16Peringkat pertumbuhan

Lihat profil Laman web ↗

Soalan dan jawapan

Di manakah Theorem berpangkalan?

San Francisco, CA, Amerika Syarikat

Berapakah bilangan pekerja Theorem?

4 pekerja, menurut profil syarikat.

Adakah Theorem telah mendapat pembiayaan?

Tiada pusingan pembiayaan untuk Theorem dalam data kami.

Apakah alternatif kepada Theorem?

Startup yang serupa: Podium, Flock Safety dan Checkr.