PERSON DIRECTORY
Kevin Hartnett
Kevin Hartnett appears in 2 indexed conversations across Hard Fork, Machine Learning Street Talk. This directory brings every appearance, source, TL;DR, digest, and transcript into one searchable feed.
Mathematics Just Changed Forever — Kevin Hartnett
Tim ScarfeKevin HartnettLeonardo de MouraJeremy AvigadKevin BuzzardPaul Lessard
AI mathematics is advancing through formal and natural-language routes: AlphaProof reached silver-medal level at the 2024 IMO using Lean and substantial compute, while Google DeepMind and OpenAI reported gold-level natural-language results in July 2025.Lean can filter candidate proofs, and Buzzard’s team used AI to uncover missing assumptions in published Annals statements involving four Fields Medalists, underscoring that trust still depends on definitions and specifications.
How We Got to the Biggest I.P.O. Race Ever | SpaceX, Anthropic & OpenAI
Kevin RooseCasey NewtonKevin Hartnett
SpaceX could pursue a $1.75 trillion-to-$2 trillion IPO at $135 a share, bundling reusable rockets and Starlink with xAI and X.Anthropic’s revenue surge to a prospective trillion-dollar-plus IPO shows AI economics accelerating, while its pledged philanthropy could reshape funding for health and AI safety.Public ownership may intensify safety pressures; AI’s unit-distance result signals “absolutely top-tier research,” with disclosure and liability worth monitoring.