LLMs’ mathematical breakthrough is another vibe coding moment, this time for Lean
How AI models prove mathematical statements, using systems from major players such as Google DeepMind and ByteDance as examples.
Posts
Internet Has Nothing to Bet On (Part 1)
Why does Polymarket look like a newspaper your grandfather would read?
Editing a Human's Words Is Forgery. Editing an LLM's Is Not.
Why we solve problems with LLMs but can't learn from them — and what an interface that fixes it looks like.