{ "@context": "https://schema.org", "@id": "https://aggr.aymericbeaumet.com/items/youtube-com-standupmaths/2026-07-06-has-an-ai-discovered-new-maths/#webpage", "@type": [ "WebPage", "ArchiveComponent" ], "articleBody": "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\n\nThomas Bloom’s site documenting the Erdős problems:\\\nwww.erdosproblems.com\n\nA full state of play (up to June 30 2026) on AI contributions to Erdős problems can be found here:\\\nhttps://github.com/teorth/Erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems\n\nA simplified interactive visualisation to new unit distance problem constructions is here:\\\nhttps://chatgpt.com/canvas/shared/6a15da73c5b08191a2dc34c3ac6ceca6\n\nMore details on each solved Erdős problem referenced in the video can be found below categorized by problem number:\n\nErdős problem #1043\\\nhttps://www.erdosproblems.com/1043\\\nCommentary from Sebastien Bubeck: https://x.com/SebastienBubeck/status/1980311866770653632\\\nTerry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115385022005130505\n\nErdős problem #1026\\\nhttps://www.erdosproblems.com/1026\\\nTerry Tao’s blog on the solution: https://terrytao.wordpress.com/2025/12/08/the-story-of-Erdős-problem-126/\n\nErdős problem #728\\\nhttps://www.erdosproblems.com/728\\\nTerry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115855840223258103\\\nKevin Barreto’s blog post about AI and problem 728: https://www.erdosproblems.com/forum/thread/blog:2\\\nWriteup of the Aristotle’s Lean proof: https://drive.google.com/file/d/1MRQfcHhrYMfMTvlZcMC3zEK7aOrUyHiQ/view\n\nErdős problem #1196\\\nhttps://www.erdosproblems.com/1196\\\nLink to the paper on Arxiv: https://arxiv.org/abs/2605.00301\\\nRecord of Liam Price’s initial conversation with Chat GPT: https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c\n\nErdős problem #90\\\nhttps://www.erdosproblems.com/90\\\nRemarks on the disproof of the conjecture: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf\n\nLean programming language: \\\nhttps://lean-lang.org/\n\nHere are the details on Arxiv’s rules around AI in submitted papers:\\\nhttps://www.reddit.com/r/math/s/G3tJfBTdSB\n\nHere’s the paper I mention at the very end of the video:\\\nhttps://arxiv.org/html/2605.22763v1\n\nLeiden Decleration on AI and Mathematics:\\\nhttps://leidendeclaration.ai/\n\nA subsequent discovery post Unit Distance Conjecture:\\\nhttps://arxiv.org/abs/2605.28781\n\nHuge thanks to my Patreon supporters. They are all unit distance pairs to the channel! https://www.patreon.com/standupmaths\n\nWere the passers by bemused by me, sitting at a desk drinking coffee on the beach? We’ll never find out for sure but it’s safe to say maybe.\n\nCORRECTIONS\\\nNone so far. Let me know if you spot anything!\n\nEditing by Gus Melton\\\nWritten, filmed, and performed by Matt Parker\\\nProduced by Nicole Jacobus\\\nContent wrangling by Rhys Jones\\\nMusic by Howard Carter\\\nDesign by Simon Wright and Adam Robinson\n\nMATT PARKER: Stand-up Mathematician\\\nWebsite: http://standupmaths.com/\n", "authors": [ "Stand-up Maths" ], "captured_at": "2026-09-08T10:17:10.166315+00:00", "category": "science", "content_html": "

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

\n

Thomas Bloom’s site documenting the Erdős problems:
\nwww.erdosproblems.com

\n

A full state of play (up to June 30 2026) on AI contributions to Erdős problems can be found here:
\nhttps://github.com/teorth/Erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems

\n

A simplified interactive visualisation to new unit distance problem constructions is here:
\nhttps://chatgpt.com/canvas/shared/6a15da73c5b08191a2dc34c3ac6ceca6

\n

More details on each solved Erdős problem referenced in the video can be found below categorized by problem number:

\n

Erdős problem #1043
\nhttps://www.erdosproblems.com/1043
\nCommentary from Sebastien Bubeck: https://x.com/SebastienBubeck/status/1980311866770653632
\nTerry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115385022005130505

\n

Erdős problem #1026
\nhttps://www.erdosproblems.com/1026
\nTerry Tao’s blog on the solution: https://terrytao.wordpress.com/2025/12/08/the-story-of-Erdős-problem-126/

\n

Erdős problem #728
\nhttps://www.erdosproblems.com/728
\nTerry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115855840223258103
\nKevin Barreto’s blog post about AI and problem 728: https://www.erdosproblems.com/forum/thread/blog:2
\nWriteup of the Aristotle’s Lean proof: https://drive.google.com/file/d/1MRQfcHhrYMfMTvlZcMC3zEK7aOrUyHiQ/view

\n

Erdős problem #1196
\nhttps://www.erdosproblems.com/1196
\nLink to the paper on Arxiv: https://arxiv.org/abs/2605.00301
\nRecord of Liam Price’s initial conversation with Chat GPT: https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c

\n

Erdős problem #90
\nhttps://www.erdosproblems.com/90
\nRemarks on the disproof of the conjecture: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf

\n

Lean programming language:
\nhttps://lean-lang.org/

\n

Here are the details on Arxiv’s rules around AI in submitted papers:
\nhttps://www.reddit.com/r/math/s/G3tJfBTdSB

\n

Here’s the paper I mention at the very end of the video:
\nhttps://arxiv.org/html/2605.22763v1

\n

Leiden Decleration on AI and Mathematics:
\nhttps://leidendeclaration.ai/

\n

A subsequent discovery post Unit Distance Conjecture:
\nhttps://arxiv.org/abs/2605.28781

\n

Huge thanks to my Patreon supporters. They are all unit distance pairs to the channel! https://www.patreon.com/standupmaths

\n

Were the passers by bemused by me, sitting at a desk drinking coffee on the beach? We’ll never find out for sure but it’s safe to say maybe.

\n

CORRECTIONS
\nNone so far. Let me know if you spot anything!

\n

Editing by Gus Melton
\nWritten, filmed, and performed by Matt Parker
\nProduced by Nicole Jacobus
\nContent wrangling by Rhys Jones
\nMusic by Howard Carter
\nDesign by Simon Wright and Adam Robinson

\n

MATT PARKER: Stand-up Mathematician
\nWebsite: http://standupmaths.com/

\n", "content_markdown": "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\n\nThomas Bloom’s site documenting the Erdős problems:\\\nwww.erdosproblems.com\n\nA full state of play (up to June 30 2026) on AI contributions to Erdős problems can be found here:\\\nhttps://github.com/teorth/Erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems\n\nA simplified interactive visualisation to new unit distance problem constructions is here:\\\nhttps://chatgpt.com/canvas/shared/6a15da73c5b08191a2dc34c3ac6ceca6\n\nMore details on each solved Erdős problem referenced in the video can be found below categorized by problem number:\n\nErdős problem #1043\\\nhttps://www.erdosproblems.com/1043\\\nCommentary from Sebastien Bubeck: https://x.com/SebastienBubeck/status/1980311866770653632\\\nTerry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115385022005130505\n\nErdős problem #1026\\\nhttps://www.erdosproblems.com/1026\\\nTerry Tao’s blog on the solution: https://terrytao.wordpress.com/2025/12/08/the-story-of-Erdős-problem-126/\n\nErdős problem #728\\\nhttps://www.erdosproblems.com/728\\\nTerry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115855840223258103\\\nKevin Barreto’s blog post about AI and problem 728: https://www.erdosproblems.com/forum/thread/blog:2\\\nWriteup of the Aristotle’s Lean proof: https://drive.google.com/file/d/1MRQfcHhrYMfMTvlZcMC3zEK7aOrUyHiQ/view\n\nErdős problem #1196\\\nhttps://www.erdosproblems.com/1196\\\nLink to the paper on Arxiv: https://arxiv.org/abs/2605.00301\\\nRecord of Liam Price’s initial conversation with Chat GPT: https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c\n\nErdős problem #90\\\nhttps://www.erdosproblems.com/90\\\nRemarks on the disproof of the conjecture: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf\n\nLean programming language: \\\nhttps://lean-lang.org/\n\nHere are the details on Arxiv’s rules around AI in submitted papers:\\\nhttps://www.reddit.com/r/math/s/G3tJfBTdSB\n\nHere’s the paper I mention at the very end of the video:\\\nhttps://arxiv.org/html/2605.22763v1\n\nLeiden Decleration on AI and Mathematics:\\\nhttps://leidendeclaration.ai/\n\nA subsequent discovery post Unit Distance Conjecture:\\\nhttps://arxiv.org/abs/2605.28781\n\nHuge thanks to my Patreon supporters. They are all unit distance pairs to the channel! https://www.patreon.com/standupmaths\n\nWere the passers by bemused by me, sitting at a desk drinking coffee on the beach? We’ll never find out for sure but it’s safe to say maybe.\n\nCORRECTIONS\\\nNone so far. Let me know if you spot anything!\n\nEditing by Gus Melton\\\nWritten, filmed, and performed by Matt Parker\\\nProduced by Nicole Jacobus\\\nContent wrangling by Rhys Jones\\\nMusic by Howard Carter\\\nDesign by Simon Wright and Adam Robinson\n\nMATT PARKER: Stand-up Mathematician\\\nWebsite: http://standupmaths.com/\n", "dateCreated": "2026-09-08T10:17:10.166315+00:00", "date_created": "2026-07-06T16:25:01+00:00", "date_modified": "2026-08-24T06:39:52+00:00", "date_published": "2026-07-06T16:25:01+00:00", "description": "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…", "external_url": "https://www.youtube.com/watch?v=ZJ8KThKAfbs", "git": { "commit": "ebb0941c5c06a2ab2377342d607535262a3e969e", "path": "items/youtube-com-standupmaths/2026/07/2026-07-06-has-an-ai-discovered-new-maths.md", "permalink": "https://github.com/aymericbeaumet/aggr-instance/blob/ebb0941c5c06a2ab2377342d607535262a3e969e/items/youtube-com-standupmaths/2026/07/2026-07-06-has-an-ai-discovered-new-maths.md" }, "id": "urn:aggr:item:fab4786bb2c69d4fc3e1d996a93f970313144d89", "isBasedOn": { "@id": "https://www.youtube.com/watch?v=ZJ8KThKAfbs" }, "mainEntity": { "@id": "https://www.youtube.com/watch?v=ZJ8KThKAfbs", "@type": "CreativeWork", "archivedAt": { "@id": "https://aggr.aymericbeaumet.com/items/youtube-com-standupmaths/2026-07-06-has-an-ai-discovered-new-maths/#webpage" }, "author": [ { "@type": "Person", "name": "Stand-up Maths" } ], "dateModified": "2026-08-24T06:39:52+00:00", "datePublished": "2026-07-06T16:25:01+00:00", "headline": "Has an AI discovered new maths?", "timeRequired": "PT2M", "url": "https://www.youtube.com/watch?v=ZJ8KThKAfbs", "wordCount": 406 }, "name": "Archived snapshot: Has an AI discovered new maths?", "preview": null, "reading_minutes": 2, "replicated_at": null, "source": "youtube-com-standupmaths", "source_name": "Stand-up Maths", "summary": "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\n\nThomas Bloom’s site documenting the Erdős problems:\nwww.erdosproblems.com\n\nA full state of play (up to June 30 2026) on AI contributions to Erdős problems can be found here:\nhttps://github.com/teorth/Erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems\n\nA simplified interactive visualisation to new unit distance problem constructions is here:\nhttps://chatgpt.com/canvas/shared/6a15da73c5b08191a2dc34c3ac6ceca6\n\nMore details on each solved Erdős problem referenced in the video can be found below categorized by problem number:\n\nErdős problem #1043\nhttps://www.erdosproblems.com/1043\nCommentary from Sebastien Bubeck: https://x.com/SebastienBubeck/status/1980311866770653632\nTerry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115385022005130505\n\nErdős problem #1026\nhttps://www.erdosproblems.com/1026\nTerry Tao’s blog on the solution: https://terrytao.wordpress.com/2025/12/08/the-story-of-Erdős-problem-126/\n\nErdős problem #728\nhttps://www.erdosproblems.com/728\nTerry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115855840223258103\nKevin Barreto’s blog post about AI and problem 728: https://www.erdosproblems.com/forum/thread/blog:2\nWriteup of the Aristotle’s Lean proof: https://drive.google.com/file/d/1MRQfcHhrYMfMTvlZcMC3zEK7aOrUyHiQ/view\n\nErdős problem #1196\nhttps://www.erdosproblems.com/1196\nLink to the paper on Arxiv: https://arxiv.org/abs/2605.00301\nRecord of Liam Price’s initial conversation with Chat GPT: https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c\n\nErdős problem #90\nhttps://www.erdosproblems.com/90\nRemarks on the disproof of the conjecture: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf\n\nLean programming language: \nhttps://lean-lang.org/\n\nHere are the details on Arxiv’s rules around AI in submitted papers:\nhttps://www.reddit.com/r/math/s/G3tJfBTdSB\n\nHere’s the paper I mention at the very end of the video:\nhttps://arxiv.org/html/2605.22763v1\n\nLeiden Decleration on AI and Mathematics:\nhttps://leidendeclaration.ai/\n\nA subsequent discovery post Unit Distance Conjecture:\nhttps://arxiv.org/abs/2605.28781\n\nHuge thanks to my Patreon supporters. They are all unit distance pairs to the channel! https://www.patreon.com/standupmaths\n\nWere the passers by bemused by me, sitting at a desk drinking coffee on the beach? We’ll never find out for sure but it’s safe to say maybe.\n\nCORRECTIONS\nNone so far. Let me know if you spot anything! \n\nEditing by Gus Melton\nWritten, filmed, and performed by Matt Parker\nProduced by Nicole Jacobus\nContent wrangling by Rhys Jones\nMusic by Howard Carter\nDesign by Simon Wright and Adam Robinson\n\nMATT PARKER: Stand-up Mathematician\nWebsite: http://standupmaths.com/", "tags": [], "temporalCoverage": "2026-09-08T10:17:10.166315+00:00", "title": "Has an AI discovered new maths?", "url": "https://aggr.aymericbeaumet.com/items/youtube-com-standupmaths/2026-07-06-has-an-ai-discovered-new-maths/", "word_count": 406 }