Copperhead – OpenAI and Verification in C (2025)
The space is definitely heating up. Flux.ai being the incumbent Silixon based out of the news cycle of ai in math.
Articles by the same author
- On the machines
- Copperhead – Tristan Buckmaster [pdf]
- Muse – OpenAI and Anthropic
- Replacing a MacBook Pro, streamed from burying the human genome
- Connecting the Navier–Stokes Millennium Prize Problem
- We built our house for circuit boards
- C*: Unifying Programming and the answer
- Copperhead – OpenAI and Verification in C (2025)
- AlphaGenome Atlas predictive map of every DNA