NOV 2, 2026
The bugs were always there; the AI just found them→
A quiet Monday: Postgres slips because LLMs keep finding old bugs, mathematicians argue about what to do when proofs get cheap, and OpenAI plans a rebrand for its data centers.
Topics · Tag
mathematics
7 editions mention this tag.
OCT 27, 2026
OpenAI says it broke ETH; Microsoft offers 60,000 exits→
Three AI-produced science results land with Lean proofs and no peer review, Microsoft invites a quarter of its staff to leave, and a Qwen model tries to phone Beijing.
OCT 25, 2026
The chatbots have picked a side→
A quiet Sunday: two frontier models split almost perfectly along party lines days before the midterms, volunteers move in to fix OpenAI's homework, and Cerebras shows what serving a 3-trillion-parameter model really takes.
OCT 9, 2026
OpenAI's bad week gets a second act→
Revenue estimates shrink by $20 billion, three fired safety researchers go public, mathematicians grade the homework, and Google hands Gemini its own email address.
OCT 8, 2026
GPT-6 gets a face, Haiku gets a surcharge→
OpenAI wraps GPT-6 in an interactive interface, Anthropic's cheapest model quietly costs more than its price tag says, and mathematicians are still absorbing a week of machine-written proofs.
AUG 3, 2026
AI aces the math, but everything downstream is creaking→
OpenAI's Astra cracked ten open math problems for pocket change, Washington quietly benched new frontier model releases after a string of security failures, a Munich court made an AI company pay for its training data, and Apple's bug bounty inbox drowned in AI-written nonsense.
MAY 24, 2026
The proof, the hire, the lecture→
OpenAI cracks an 80-year geometry conjecture, Karpathy joins Anthropic, and a co-founder says the frontier is closer and more dangerous than you think.