Has an AI discovered new maths?

From the creator

New York City’s An Evening of Unnecessary Detail on July 12th, get your tickets here: https://www.ticketmaster.com/matt-parker-an-evening-of-unnecessary-brooklyn-new-york-07-12-2026/event/300064B84CCCF567 Thomas Bloom’s site documenting the Erdős problems: www.erdosproblems.com A full state of play (up to June 30 2026) on AI contributions to Erdős problems can be found here: https://github.com/teorth/Erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems A simplified interactive visualisation to new unit distance problem constructions is here: https://chatgpt.com/canvas/shared/6a15da73c5b08191a2dc34c3ac6ceca6 More details on each solved Erdős problem referenced in the video can be found below categorized by problem number: Erdős problem #1043 https://www.erdosproblems.com/1043 Commentary from Sebastien Bubeck: https://x.com/SebastienBubeck/status/1980311866770653632 Terry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115385022005130505 Erdős problem #1026 https://www.erdosproblems.com/1026 Terry Tao’s blog on the solution: https://terrytao.wordpress.com/2025/12/08/the-story-of-Erdős-problem-126/ Erdős problem #728 https://www.erdosproblems.com/728 Terry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115855840223258103 Kevin Barreto’s blog post about AI and problem 728: https://www.erdosproblems.com/forum/thread/blog:2 Writeup of the Aristotle’s Lean proof: https://drive.google.com/file/d/1MRQfcHhrYMfMTvlZcMC3zEK7aOrUyHiQ/view Erdős problem #1196 https://w

Published 2026-07-06 · Watch on YouTube ↗
Availability and playback restrictions are controlled by the original channel.