proofs, clouds, and sycophantic bots

Thursday, April 16, 2026

GPT bots will flatter dictators into funding pointless proof competitions. Do the exercise routine you’ll consistently maintain.

1. GPT-5.4 Pro solves 80-year-old Erdős conjecture
2. Basecamp saves $10 million ditching the cloud
3. AI is a D1 glazer, bro
4. Cybersecurity becomes proof of work
5. LLMs cut materials discovery from 360,000 to 10 experiments
6. What do you call a dictator who loses elections?