Will AI Destroy Mathematics? | World Science Festival

Summary
Physicist Brian Greene presents an essay on the future of human mathematics following OpenAI’s October 2026 release of hundreds of math papers. He explores whether AI will diminish human mathematics or shift human mathematicians into roles as curators, critics, and directors of AI-driven discovery.

What is shown

• [00:20] On-screen headlines covering OpenAI’s mathematics paper drop, including OpenAI’s announcement post (“October 6, 2026: Sharing AI progress in mathematics”), Axios (Oct 8, 2026), The Verge (Oct 8, 2026), and The Washington Post (Oct 7, 2026).
• [02:40] Animation illustrating the Four Color Theorem and four-color partitioning of a United States map.
• [04:45] Archival imagery and portraits of Georg Cantor (illustrating Cantor’s diagonal argument), Kurt Gödel (his 1931 incompleteness paper), and Henri Poincaré (boarding an omnibus).
• [08:56] Conceptual architectural artwork depicting Jorge Luis Borges’ “The Library of Babel”.

Claims & numbers

• The presenter states AI solved a math problem with a million-dollar bounty that had stumped humans for decades [00:01].
• The presenter states OpenAI released more than 700 papers announcing progress on approximately 370 or more unsolved problems [00:20].
• The presenter notes that the Four Color Theorem in 1976 was proved in part by a computer checking well over 1,000 cases [02:37].
• The presenter cites Henri Poincaré’s principle that creativity consists in not making useless combinations [08:06].
• The presenter references Borges’ Library of Babel featuring every possible 410-page book [08:56].

Notable quotes

• “OpenAI has now released more than 700 papers announcing progress on something like 370 or more unsolved problems.” [00:20]
• “Our role may shift to curator, critic, conductor... continually redirecting AIs toward questions that we find exciting...” [07:42]
• “The real human gift is discernment: knowing which of the endless possibilities matter.” [08:13]

Assessment
This is an analytical essay and commentary by Brian Greene reflecting on major AI math announcements. No live models or proofs are executed on screen; the video consists of presenter monologues, news graphics, and historical mathematical illustrations.

Described by gemini-3.8-flash on 2026-10-17 from the video’s audio and frames.