What will be scarce?
- When AI makes most things cheap, we'll spend on whatever still needs a human in the loop. Not so convinced.
How quickly could robots scale up?
- From 10,000 humanoid robots a year to billions, if costs fall the way they did for cars and solar panels.
A recent experience with ChatGPT 5.5 Pro
- A Fields medallist puts a frontier model through some real research mathematics. Worth reading for his reactions alone.
FLT: Anthropic has beaten me to it
- Kevin Buzzard at Imperial has spent years leading a project to formalise Fermat's Last Theorem in Lean. Then an AI model got there first.