Careers · Theorem
theorem.dev · 235 words · saved by 1 readers
Join Theorem — we’re building products to make software correct, understandable, and secure.
Join Us Theorem is a programming languages and AI lab. We expect that infinite time-horizon AI software engineering will be qualitatively different from faster human software engineering. To steer models doing work far beyond what any human has ever done, we do research and build products that scale correctness feedback to arbitrarily complex software development. Who we are We're a team of engineers and researchers who genuinely love software. We've developed cryptography which secures trillions of internet connections daily, built infrastructure powering billions of dollars of transactions,
related reading
- The fall of the theorem economydavidbessis.substack.com
- #define CTO OpenAIblog.gregbrockman.com
- Phil Chen (@philhchen) on Xx.com
- Geoffrey Littgeoffreylitt.com
- Mechanize, Inc.mechanize.work
- Cognitioncognition.ai
- There's An AI For That® — The front page of AItheresanaiforthat.com
- Home · theor.nettheor.net
- AI safety technical research | Career review | 80,000 Hours80000hours.org
- All postsseangoedecke.com
- How to fully automate software engineering | Mechanize, Inc.mechanize.work
- Sequent: Scale and Automation for Higher Confidence in Alignment — Sequentsequent.org