We really need a better way to distinguish what's a bot and what's an agent.
Lots of overlap. But slop or spam vs intelligence needs to be distinguishable overtime.
An 87-year-old math problem just got solved during the World Cup final. From a living room with Claude.
This broke the seal. Everyone started piling on - solving math problems using the latest models. Over 40+ now
This is math's four-minute mile. And the race is on.
First the marginal cost of intelligence will fall to the price of energy.
Then the marginal cost of energy will fall due to infrastructure and AI-invented breakthroughs.
Then the marginal cost of intelligence will accelerate its trend toward zero.
An internal version of our next major model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, using roughly $2,000 worth of tokens at GPT-5.6 Sol API rates.