
AI math'AI is proving things no one understands': Hank Green's video hits 668K views in a day
Science YouTuber Hank Green's "AI is Proving Things No One Understands*" passed 668,000 views less than a day after he posted it on Oct 26. The asterisk in the title stands for "...yet." In the hour-long video he talks with 3Blue1Brown's Grant Sanderson about what OpenAI's mass release of math manuscripts on GitHub changes.
OpenAI's repo lists 721 manuscripts, most produced by an unreleased internal model averaging three hours of ChatGPT Pro thinking per problem; about 42% of top-line results are formalized. Green's sources include OpenAI's Navier-Stokes result, the credit dispute around it and a roundup of mathematicians' reactions.
The top comment (3,100 likes): "The true purpose of AI is to allow wealth to access skill without allowing skill to access wealth." A self-described mathematician wrote that Hank explained "this incredibly intricate and subtle thing in my area of expertise so well" that they now trust him more on biology and medicine (589 likes). Another comment recalled an NPR interview with a mathematician who felt her life's work on a single problem was wasted once OpenAI solved it (40 likes).
The same day, Anthropic released a paper saying Claude had independently refuted the Exponential Time Hypothesis.