Hank Green examines AI proofs that outrun human understanding

Grant Sanderson of 3Blue1Brown joins him to explain why getting an answer and creating useful mathematics are not necessarily the same achievement.

Channel: Hank Green Story of October 28, 2026Trari Newsroom

Why this story? One of the most watched videos since yesterday, with 713,225 views.

AI is Proving Things No One Understands*

A solved problem sounds like an uncomplicated victory. Hank Green wants to know what happens when the answer arrives without the understanding that makes it useful.

His video, "AI is Proving Things No One Understands*", drew roughly 713,000 views since yesterday. The asterisk matters: the description supplies the word "yet." This is not an argument that humans can never understand machine-generated mathematics, but a conversation about what counts as progress while they are catching up.

Green opens with OpenAI's release of hundreds of AI-generated mathematics preprints. He separates three reasons for doing science: discovering truth, building understanding and producing something useful. Those goals overlap, but they are not interchangeable. As he puts it, "Because you can have knowledge without understanding, this happens all the time."

For mathematics, he argues, the tools developed while tackling a problem can matter more than the final answer. A result about the breakdown of the Navier-Stokes equations, for example, does not automatically transform the practical business of engineering with fluids.

Then Grant Sanderson, the mathematician behind 3Blue1Brown, complicates Green's skepticism. He explains why mathematics attracts AI developers: answers that can be checked provide feedback for training models. He also challenges OpenAI's attribution of results, arguing that the human mathematicians whose work enabled them deserve more visible credit.

Sanderson's assessment is deliberately two-sided: "I feel like the position is overrated, but the velocity is not." He thinks present capabilities attract too much acclaim while the speed of improvement receives too little attention.

The discussion eventually reaches Alan Turing, whose work on a mathematical decision problem produced the idea of Turing machines. For Green and Sanderson, that is the distinction worth protecting: an answer can close a question, while the route to it opens whole new fields. Viewers are taking that idea into their own lives, discussing school grades, the value of struggling to learn and whether an automated destination can replace the journey.

Published on Trari

Share this story

A ready picture for an Instagram story or a WhatsApp status.

Share the pictureSend the link

×Share the picture

Where next?

More from Hank GreenA video worth knowingHank Green tests RFK Jr.'s measles explanation against vaccination trendsHis commentary contrasts Kennedy's account of pandemic disruption with falling MMR coverage and the demands of containing a highly infectious disease.Channel: Hank Green · Story of October 31, 2026 Also in Science and experimentsOn today's chart 946K views since yesterdayTeppei Katori's selfie from inside Japan's giant neutrino detectorThe Science's Greatest Mysteries clip follows the T2K experiment's search for a difference between neutrinos and their antimatter twins.Channel: BBC Earth Science · Story of October 31, 2026 A different discovery todayVideo taking off 47x its usual first dayDiane Sawyer's Patrick Stewart interview closes World News TonightThe October 29 edition also covers Alaska's Senate probes and a Pentagon firing, but its comment section belongs largely to the actor.Channel: ABC News · Story of October 31, 2026

Or follow us on Telegram

Is this your channel?For the channel's owners and team: a ready picture and text for your audience

Share the story with your audience. Everything is ready:

For a community post or your channel's description

Hank Green examines AI proofs that outrun human understanding The full story on Trari: https://trari.com/en/story/hankschannel-19013/?from=kit

Copy the text

The numbers

The video added roughly 713,000 views since yesterday. Its first-day comment section was also more than twice as busy as usual for Green's regular videos.

subscribers

3,200,000

no significant change in the last 7 days

total views

1,509,016,189

views per day

950,507

typical day: 452,393

the video

views

1,111,801

likes

16,330

comments

3,295

days online

2

subscribers: this channel and similar channels

MinuteEarth

3,340,000

Technology Connections

3,220,000

PBS Eons

3,220,000

Hank Green

3,200,000

CrunchLabs

3,200,000

AstroKobi

3,200,000

As of October 28, 2026 · Data source: Trari Social News, Trari Traffic Trends and Ranking Platform, Google YouTube

Subscriber, view, like and comment counts are YouTube's. Rates, usual days, rankings, comparisons and categories are Trari's own calculations.