Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Alex Korbonits. I write about machine learning, software, and books.
News
Who Writes the Question
OpenAI shipped ten open problems with Lean certificates. I built all 550,000 lines and checked what they rest on. Everything passed - and the only thing left to trust is 1,700 lines of definitions written by the same system that wrote the proofs.
Read more
Report
Trust Nothing, Verify Everything: reproducing the Jacobian counterexample from my couch
The Jacobian conjecture fell yesterday, during the World Cup final, via a tweet. Wikipedia still says it
Read more
Report
I Killed a Container and It Came Back
I can design batch, real-time, and streaming inference - the data plane. But I
Read more
Report
Easier to Convince Than to Prove
Two posts ago I quoted a warning: an AI will find it easier to convince you it has a proof than to write one. A middling new paper finally put a number on that gap - 0.99 against 0.55.
Read more
Report
Who Verifies the Verifier
An AI built the machine I said mathematics needed - a compiler that verifies proofs for cents instead of expert weekends. The catch is what it still can
Read more
Report
Pro access
Upgrade to see all 38 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.