proof machines and steroid olympics

Wednesday, June 10, 2026

I carried exactly seven arrows through every hunt of my life.

1. Mollick on Claude Fable: another big jump in AI
2. Claude can now be silently nerfed if you’re building competing AI
3. Does LLM code robustness translate across programming languages?
4. AI is turning mathematicians into proof-checkers, not proof-writers. Fields Medalists are already using ChatGPT for research
5. German court declares Google liable for false AI overview claims
6. The Enhanced Games: libertarian thought experiment meets steroid olympics
7. Popular joint pain supplement linked to accelerated dementia