[9/5 03:00] Anthropic uses Claude to formalize proof of Fermat's Last Theorem / OpenAI quietly revised Astra's benchmark numbers after launch

Sign in to dive into this episode

Pick what you care about and we read the whole transcript for it — the claims, the quotes, the moments to skip to. Your account is free and comes with 5 dives a day.

Already have a scoop? Signing in brings you straight back here.