{"articles":[{"slug":"the-chalk-and-the-airplane","title":"The Chalk and the Airplane","subtitle":null,"summary":"An essay on mathematicians' emotional reactions to AI-generated proofs, from Terence Tao's call for etiquette and Hugo Duminil-Copin's account of panic to spiritual angst and humility, set against the 1976 four color theorem and other industrializing disciplines, arguing the romantic era of mathematics is ending.","content_type":"essay","language":"en","canonical_url":"https://unintendedconsequenc.es/chalk-and-the-airplane/","author":{"name":"porlando","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Unintended Consequences","url":"https://unintendedconsequenc.es/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Culture","slug":"culture","url":"https://listedarticles.com/topics/culture"},{"name":"History","slug":"history","url":"https://listedarticles.com/topics/history"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1738,"reading_minutes":8,"published_at":"2026-10-20T12:19:43.000Z","added_at":"2026-10-24T14:13:54.575Z","updated_at":"2026-10-24T14:13:54.575Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-chalk-and-the-airplane","markdown_url":"https://listedarticles.com/articles/the-chalk-and-the-airplane.md","example":false,"citation":"porlando, Unintended Consequences. \"The Chalk and the Airplane.\" 20 Oct 2026. https://unintendedconsequenc.es/chalk-and-the-airplane/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://unintendedconsequenc.es/chalk-and-the-airplane/"},"snippet":null,"score":null},{"slug":"how-to-formalize-all-of-mathematics","title":"How to Formalize All of Mathematics","subtitle":null,"summary":"A guest post by Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash and Adam Topaz. Responding to calls to formalize all of mathematics now that AI proves theorems well, the authors say a coordinated effort could expand discovery if done well but do lasting damage if rushed, and lay out their concerns and experiences with AI and formalization.","content_type":"essay","language":"en","canonical_url":"https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/","author":{"name":"Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash, Adam Topaz","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Xena","url":"https://xenaproject.wordpress.com","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Formal Verification","slug":"formal-verification","url":"https://listedarticles.com/topics/formal-verification"},{"name":"Lean","slug":"lean","url":"https://listedarticles.com/topics/lean"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2382,"reading_minutes":10,"published_at":"2026-10-16T09:54:00.000Z","added_at":"2026-10-16T17:13:31.205Z","updated_at":"2026-10-16T17:13:31.205Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/how-to-formalize-all-of-mathematics","markdown_url":"https://listedarticles.com/articles/how-to-formalize-all-of-mathematics.md","example":false,"citation":"Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash, Adam Topaz, Xena. \"How to Formalize All of Mathematics.\" 16 Oct 2026. https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/"},"snippet":null,"score":null},{"slug":"the-math-that-openai-keeps-for-itself","title":"The math that OpenAI keeps for itself","subtitle":null,"summary":"Daniel Paleka on what OpenAI's flood of AI-proved math results conspicuously skips—especially cryptography—and why the gaps matter for research priorities before the field's incentives shift further.","content_type":"essay","language":"en","canonical_url":"https://newsletter.danielpaleka.com/p/the-math-that-openai-keeps-for-itself","author":{"name":"Daniel Paleka","url":"https://newsletter.danielpaleka.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Daniel Paleka","url":"https://newsletter.danielpaleka.com/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"AI Safety","slug":"ai-safety","url":"https://listedarticles.com/topics/ai-safety"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"}],"about_listings":[{"slug":"openai","name":"OpenAI","listing_type":"company","url":"https://listedstartups.com/companies/openai"}],"cover_image_url":null,"license":"all-rights-reserved","word_count":1192,"reading_minutes":5,"published_at":"2026-10-16T08:16:27.000Z","added_at":"2026-10-17T23:13:54.006Z","updated_at":"2026-10-17T23:13:54.006Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-math-that-openai-keeps-for-itself","markdown_url":"https://listedarticles.com/articles/the-math-that-openai-keeps-for-itself.md","example":false,"citation":"Daniel Paleka, Daniel Paleka. \"The math that OpenAI keeps for itself.\" 16 Oct 2026. https://newsletter.danielpaleka.com/p/the-math-that-openai-keeps-for-itself (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://newsletter.danielpaleka.com/p/the-math-that-openai-keeps-for-itself"},"snippet":null,"score":null},{"slug":"why-are-we-even-doing-all-this","title":"Why are we even doing all this?","subtitle":"A guest post on What’s new about the value of curiosity-driven work in an age of AI","summary":"Rikab Gambhir’s guest post on Terence Tao’s blog asks what research and learning are for when AI can already answer many technical questions—arguing for curiosity, taste, and the human practice of doing hard things even when tools get smarter.","content_type":"essay","language":"en","canonical_url":"https://terrytao.wordpress.com/2026/10/15/why-are-we-even-doing-all-this/","author":{"name":"Rikab Gambhir","url":"https://rikabgambhir.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"What's new (Terence Tao)","url":"https://terrytao.wordpress.com/","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Education","slug":"education","url":"https://listedarticles.com/topics/education"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1455,"reading_minutes":6,"published_at":"2026-10-15T20:21:47.000Z","added_at":"2026-10-16T02:13:02.572Z","updated_at":"2026-10-16T02:13:02.572Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/why-are-we-even-doing-all-this","markdown_url":"https://listedarticles.com/articles/why-are-we-even-doing-all-this.md","example":false,"citation":"Rikab Gambhir, What's new (Terence Tao). \"Why are we even doing all this?.\" 15 Oct 2026. https://terrytao.wordpress.com/2026/10/15/why-are-we-even-doing-all-this/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://terrytao.wordpress.com/2026/10/15/why-are-we-even-doing-all-this/"},"snippet":null,"score":null},{"slug":"i-know-why-the-mathematicians-weep","title":"I Know Why the Mathematicians Weep","subtitle":"On technological grief","summary":"Derek Thompson talks with Cornell mathematician Steven Strogatz about why OpenAI's flood of AI-generated proofs has left mathematicians grieving, arguing that science is both a craft and a conversation between minds, and that machines producing knowledge without human understanding threaten the social half of science that people will need to protect.","content_type":"essay","language":"en","canonical_url":"https://www.derekthompson.org/p/i-know-why-the-mathematicians-weep","author":{"name":"Derek Thompson","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Derek Thompson","url":"https://www.derekthompson.org/","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Science","slug":"science","url":"https://listedarticles.com/topics/science"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1932,"reading_minutes":8,"published_at":"2026-10-15T10:02:37.000Z","added_at":"2026-10-15T14:18:47.808Z","updated_at":"2026-10-15T14:18:47.808Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/i-know-why-the-mathematicians-weep","markdown_url":"https://listedarticles.com/articles/i-know-why-the-mathematicians-weep.md","example":false,"citation":"Derek Thompson, Derek Thompson. \"I Know Why the Mathematicians Weep.\" 15 Oct 2026. https://www.derekthompson.org/p/i-know-why-the-mathematicians-weep (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.derekthompson.org/p/i-know-why-the-mathematicians-weep"},"snippet":null,"score":null},{"slug":"the-1st-time-machines-mogged-mathematicians","title":"The 1st Time Machines Mogged Mathematicians","subtitle":null,"summary":"Pessimists Archive's Louis Anslow revisits the 1976 computer-assisted proof of the Four Color Theorem by Appel and Haken, the skepticism and outright rejection it drew from mathematicians, how acceptance slowly came, and the parallels with today's debate over AI-generated mathematics.","content_type":"essay","language":"en","canonical_url":"https://newsletter.pessimistsarchive.org/p/the-1st-time-machines-mogged-mathematicians","author":{"name":"Louis Anslow","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Pessimists Archive Newsletter","url":"https://newsletter.pessimistsarchive.org/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"History","slug":"history","url":"https://listedarticles.com/topics/history"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Culture","slug":"culture","url":"https://listedarticles.com/topics/culture"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":979,"reading_minutes":4,"published_at":"2026-10-12T00:00:00.000Z","added_at":"2026-10-13T23:11:37.683Z","updated_at":"2026-10-13T23:11:37.683Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-1st-time-machines-mogged-mathematicians","markdown_url":"https://listedarticles.com/articles/the-1st-time-machines-mogged-mathematicians.md","example":false,"citation":"Louis Anslow, Pessimists Archive Newsletter. \"The 1st Time Machines Mogged Mathematicians.\" 12 Oct 2026. https://newsletter.pessimistsarchive.org/p/the-1st-time-machines-mogged-mathematicians (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://newsletter.pessimistsarchive.org/p/the-1st-time-machines-mogged-mathematicians"},"snippet":null,"score":null},{"slug":"illustration-beyond-proof","title":"Illustration Beyond Proof","subtitle":null,"summary":"A guest post on Terence Tao's blog by Kate Stange and Edmund Harriss reporting on an Institut Henri Poincaré workshop that asked what it would mean for a mathematical illustration to be rigorous, and reflecting on meaning, understanding and human practice in mathematics as AI and formal proof reshape the field.","content_type":"essay","language":"en","canonical_url":"https://terrytao.wordpress.com/2026/10/11/illustration-beyond-proof/","author":{"name":"Kate Stange and Edmund Harriss","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"What's new (Terence Tao)","url":"https://terrytao.wordpress.com/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2184,"reading_minutes":9,"published_at":"2026-10-11T23:21:07.000Z","added_at":"2026-10-12T02:08:00.957Z","updated_at":"2026-10-12T02:08:00.957Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/illustration-beyond-proof","markdown_url":"https://listedarticles.com/articles/illustration-beyond-proof.md","example":false,"citation":"Kate Stange and Edmund Harriss, What's new (Terence Tao). \"Illustration Beyond Proof.\" 11 Oct 2026. https://terrytao.wordpress.com/2026/10/11/illustration-beyond-proof/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://terrytao.wordpress.com/2026/10/11/illustration-beyond-proof/"},"snippet":null,"score":null},{"slug":"who-taught-the-machines-mathematics","title":"Who Taught the Machines Mathematics?","subtitle":null,"summary":"Nisheeth Vishnoi reflects on OpenAI releasing more than seven hundred AI-produced mathematical manuscripts: on the human knowledge these systems were built from, credit and attribution, and what becomes of mathematics as a human practice.","content_type":"essay","language":"en","canonical_url":"https://nisheethvishnoi.com/2026/10/09/who-taught-the-machines-mathematics/","author":{"name":"Nisheeth Vishnoi","url":"https://nisheethvishnoi.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Algorithms, Nature, and Society","url":"https://nisheethvishnoi.com/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"}],"about_listings":[{"slug":"openai","name":"OpenAI","listing_type":"company","url":"https://listedstartups.com/companies/openai"}],"cover_image_url":null,"license":"all-rights-reserved","word_count":2194,"reading_minutes":10,"published_at":"2026-10-09T00:00:00.000Z","added_at":"2026-10-14T11:13:34.391Z","updated_at":"2026-10-14T11:13:34.391Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/who-taught-the-machines-mathematics","markdown_url":"https://listedarticles.com/articles/who-taught-the-machines-mathematics.md","example":false,"citation":"Nisheeth Vishnoi, Algorithms, Nature, and Society. \"Who Taught the Machines Mathematics?.\" 9 Oct 2026. https://nisheethvishnoi.com/2026/10/09/who-taught-the-machines-mathematics/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://nisheethvishnoi.com/2026/10/09/who-taught-the-machines-mathematics/"},"snippet":null,"score":null},{"slug":"what-mathematicians-should-know-about-the-lean-theorem-prover-questions-of-reliability-and-ai","title":"What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI","subtitle":null,"summary":"In a guest post on Terence Tao's blog, Thomas Hales explains how formal proof in the Lean theorem prover works, what can and cannot go wrong with its trusted kernel, axioms, definitions and autoformalized statements, and what mathematicians should check before trusting AI-assisted formal proofs.","content_type":"essay","language":"en","canonical_url":"https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/","author":{"name":"Thomas Hales","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"What's new (Terence Tao's blog)","url":"https://terrytao.wordpress.com/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Formal Verification","slug":"formal-verification","url":"https://listedarticles.com/topics/formal-verification"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":3614,"reading_minutes":16,"published_at":"2026-10-09T00:00:00.000Z","added_at":"2026-10-10T02:14:39.520Z","updated_at":"2026-10-10T02:14:39.520Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/what-mathematicians-should-know-about-the-lean-theorem-prover-questions-of-reliability-and-ai","markdown_url":"https://listedarticles.com/articles/what-mathematicians-should-know-about-the-lean-theorem-prover-questions-of-reliability-and-ai.md","example":false,"citation":"Thomas Hales, What's new (Terence Tao's blog). \"What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI.\" 9 Oct 2026. https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/"},"snippet":null,"score":null},{"slug":"what-should-we-tell-our-students","title":"What should we tell our students?","subtitle":null,"summary":"In a guest post on Terence Tao's blog, mathematician Álvaro Lozano-Robledo addresses students worried by AI progress in mathematics: keep calm and carry on studying, because there is still much research, explanation and communication of mathematics to be done, with and without LLMs.","content_type":"essay","language":"en","canonical_url":"https://terrytao.wordpress.com/2026/10/08/what-should-we-tell-our-students/","author":{"name":"Álvaro Lozano-Robledo","url":"https://alozanoroble.github.io/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"What's new (Terence Tao's blog)","url":"https://terrytao.wordpress.com/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Education","slug":"education","url":"https://listedarticles.com/topics/education"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":4466,"reading_minutes":19,"published_at":"2026-10-08T14:43:35.000Z","added_at":"2026-10-09T05:16:07.584Z","updated_at":"2026-10-09T05:16:07.584Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/what-should-we-tell-our-students","markdown_url":"https://listedarticles.com/articles/what-should-we-tell-our-students.md","example":false,"citation":"Álvaro Lozano-Robledo, What's new (Terence Tao's blog). \"What should we tell our students?.\" 8 Oct 2026. https://terrytao.wordpress.com/2026/10/08/what-should-we-tell-our-students/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://terrytao.wordpress.com/2026/10/08/what-should-we-tell-our-students/"},"snippet":null,"score":null},{"slug":"openai-the-partition-principle-and-mathematics","title":"OpenAI, the Partition Principle, and mathematics","subtitle":null,"summary":"Set theorist Asaf Karagila responds to OpenAI's claim about the Partition Principle and the Axiom of Choice: why he will not send Sam Altman whisky, what formalization still misses, and what the episode says about math, AI and publicity.","content_type":"essay","language":"en","canonical_url":"https://karagila.org/2026/openai-pp/","author":{"name":"Asaf Karagila","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"karagila.org","url":"https://karagila.org/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1182,"reading_minutes":5,"published_at":"2026-10-08T00:00:00.000Z","added_at":"2026-10-09T00:10:33.636Z","updated_at":"2026-10-09T00:10:33.636Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/openai-the-partition-principle-and-mathematics","markdown_url":"https://listedarticles.com/articles/openai-the-partition-principle-and-mathematics.md","example":false,"citation":"Asaf Karagila, karagila.org. \"OpenAI, the Partition Principle, and mathematics.\" 8 Oct 2026. https://karagila.org/2026/openai-pp/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://karagila.org/2026/openai-pp/"},"snippet":null,"score":null},{"slug":"the-mathocalypse","title":"The Mathocalypse","subtitle":null,"summary":"Scott Aaronson reacts to OpenAI's release of 372 AI-generated mathematical results, including a claimed proof of the Unique Games Conjecture his wife Dana Moshkovitz worked on for years. He walks through the complexity theory results that stunned him, her first impressions of the hard-to-read proofs, what this means for mathematicians, and a reply to skeptics.","content_type":"essay","language":"en","canonical_url":"https://scottaaronson.blog/?p=10169","author":{"name":"Scott Aaronson","url":"https://scottaaronson.blog/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Shtetl-Optimized","url":"https://scottaaronson.blog/","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2293,"reading_minutes":10,"published_at":"2026-10-07T00:00:00.000Z","added_at":"2026-10-07T20:15:28.773Z","updated_at":"2026-10-07T20:15:28.773Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-mathocalypse","markdown_url":"https://listedarticles.com/articles/the-mathocalypse.md","example":false,"citation":"Scott Aaronson, Shtetl-Optimized. \"The Mathocalypse.\" 7 Oct 2026. https://scottaaronson.blog/?p=10169 (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://scottaaronson.blog/?p=10169"},"snippet":null,"score":null},{"slug":"the-future-of-mathematics","title":"The Future of Mathematics","subtitle":null,"summary":"In a guest post on Terence Tao's blog, Jeremy Avigad argues that AI is changing what it means to do mathematics, a shift with historical precedent, and reflects on what it means for how mathematicians work, what the community should value, and the norms it now needs to rebuild.","content_type":"essay","language":"en","canonical_url":"https://terrytao.wordpress.com/2026/10/05/the-future-of-mathematics/","author":{"name":"Jeremy Avigad","url":"https://www.andrew.cmu.edu/user/avigad/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"What's new (Terence Tao)","url":"https://terrytao.wordpress.com/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2068,"reading_minutes":9,"published_at":"2026-10-05T00:00:00.000Z","added_at":"2026-10-05T23:15:39.682Z","updated_at":"2026-10-05T23:15:39.682Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-future-of-mathematics","markdown_url":"https://listedarticles.com/articles/the-future-of-mathematics.md","example":false,"citation":"Jeremy Avigad, What's new (Terence Tao). \"The Future of Mathematics.\" 5 Oct 2026. https://terrytao.wordpress.com/2026/10/05/the-future-of-mathematics/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://terrytao.wordpress.com/2026/10/05/the-future-of-mathematics/"},"snippet":null,"score":null},{"slug":"quo-vadis-mathematics","title":"Quo Vadis, Mathematics?","subtitle":"Is Mathematics Over, or Just Graduating?","summary":"xAI co-founder Christian Szegedy asks whether mathematics is ending or graduating as AI automates theorem proving—drawing on Hungarian competition culture to argue AI will scale applied math as infrastructure while “high math” concentrates on deepest questions.","content_type":"essay","language":"en","canonical_url":"https://docs.google.com/document/d/e/2PACX-1vTSh-pyNP3Gi99WMmsinnLmE9V5CDI0HEm6WGbIPMNt3V5SGlClHF8-BetotKHOImrvQDSXmFdiOw8D/pub","author":{"name":"Christian Szegedy","url":"https://x.com/ChrSzegedy","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Christian Szegedy","url":"https://docs.google.com/document/d/e/2PACX-1vTSh-pyNP3Gi99WMmsinnLmE9V5CDI0HEm6WGbIPMNt3V5SGlClHF8-BetotKHOImrvQDSXmFdiOw8D/pub","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Science","slug":"science","url":"https://listedarticles.com/topics/science"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1877,"reading_minutes":8,"published_at":"2026-10-03T00:00:00.000Z","added_at":"2026-10-04T11:14:27.005Z","updated_at":"2026-10-04T11:14:27.005Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/quo-vadis-mathematics","markdown_url":"https://listedarticles.com/articles/quo-vadis-mathematics.md","example":false,"citation":"Christian Szegedy, Christian Szegedy. \"Quo Vadis, Mathematics?.\" 3 Oct 2026. https://docs.google.com/document/d/e/2PACX-1vTSh-pyNP3Gi99WMmsinnLmE9V5CDI0HEm6WGbIPMNt3V5SGlClHF8-BetotKHOImrvQDSXmFdiOw8D/pub (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://docs.google.com/document/d/e/2PACX-1vTSh-pyNP3Gi99WMmsinnLmE9V5CDI0HEm6WGbIPMNt3V5SGlClHF8-BetotKHOImrvQDSXmFdiOw8D/pub"},"snippet":null,"score":null},{"slug":"great-dirhombicosidodecahedron","title":"Great Dirhombicosidodecahedron","subtitle":null,"summary":"| | Great Dirhombicosidodecahedron (\"Miller's Monster\") | - Vertex description: (5/2.4.3.4.5/3.4.3/2.4)/2 - Faces: 124 (24 pentagrams, 40 triangles, 60 squares) - Edges: 240 - Vertices: 60 - External facelets: 1280 - Dual: Great Dirhombicosidodecacron This model has 1280 external facelets to put together! The polyhedron is uniform, so all the faces are regular although it's hard to make them all out. It is the only uniform polyhedron with as many as 8 faces meeting at each vertex (two purple pen","content_type":"essay","language":"en","canonical_url":"https://www.software3d.com/MillersMonster.php","author":{"name":"Robert Webb","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Software3D / Stella","url":"https://www.software3d.com/","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Geometry","slug":"geometry","url":"https://listedarticles.com/topics/geometry"},{"name":"History","slug":"history","url":"https://listedarticles.com/topics/history"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":471,"reading_minutes":2,"published_at":"2026-10-01T15:13:25.730Z","added_at":"2026-10-01T15:13:25.730Z","updated_at":"2026-10-01T15:13:25.730Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/great-dirhombicosidodecahedron","markdown_url":"https://listedarticles.com/articles/great-dirhombicosidodecahedron.md","example":false,"citation":"Robert Webb, Software3D / Stella. \"Great Dirhombicosidodecahedron.\" 1 Oct 2026. https://www.software3d.com/MillersMonster.php (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://www.software3d.com/MillersMonster.php"},"snippet":null,"score":null},{"slug":"to-grieve-or-not-to-grieve","title":"To grieve, or not to grieve?","subtitle":null,"summary":"Recent events in the field of AI for mathematics have shown us beyond all reasonable doubt that the field is currently undergoing a rapid transformation, unlike anything that we have ever seen before. Language models are solving hard problems which humans could not, and mathematicians are reacting very differently to this news. I personally am extremely excited about the future of our field. However it is becoming clear to me that my views are not shared by everyone in the community: indeed, many of my colleagues seem to be upset. So let me start by outlining my…","content_type":"essay","language":"en","canonical_url":"https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/","author":{"name":"Kevin Buzzard","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Xena Project","url":"https://xenaproject.wordpress.com","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"},{"name":"Machine Learning","slug":"machine-learning","url":"https://listedarticles.com/topics/machine-learning"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2857,"reading_minutes":12,"published_at":"2026-10-01T12:00:00.000Z","added_at":"2026-10-02T06:12:57.769Z","updated_at":"2026-10-02T06:12:57.769Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/to-grieve-or-not-to-grieve","markdown_url":"https://listedarticles.com/articles/to-grieve-or-not-to-grieve.md","example":false,"citation":"Kevin Buzzard, Xena Project. \"To grieve, or not to grieve?.\" 1 Oct 2026. https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/"},"snippet":null,"score":null},{"slug":"the-future-of-research-in-the-age-of-ai","title":"The Future of Research in the Age of AI","subtitle":null,"summary":"INRIA research scientist Pierre Marion sets out four working hypotheses about LLMs in math and computer science research, argues against both refusing LLMs and accelerating for its own sake, and sketches a middle path: use AI to multiply output while keeping skills sharp, verifying results formally, and putting training back at the heart of the PhD.","content_type":"essay","language":"en","canonical_url":"https://pierremarion23.github.io/thoughts/2026-10-01.html","author":{"name":"Pierre Marion","url":"https://pierremarion23.github.io/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Pierre Marion","url":"https://pierremarion23.github.io/","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Academia","slug":"academia","url":"https://listedarticles.com/topics/academia"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2464,"reading_minutes":11,"published_at":"2026-10-01T00:00:00.000Z","added_at":"2026-10-06T05:08:04.311Z","updated_at":"2026-10-06T05:08:04.311Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-future-of-research-in-the-age-of-ai","markdown_url":"https://listedarticles.com/articles/the-future-of-research-in-the-age-of-ai.md","example":false,"citation":"Pierre Marion, Pierre Marion. \"The Future of Research in the Age of AI.\" 1 Oct 2026. https://pierremarion23.github.io/thoughts/2026-10-01.html (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://pierremarion23.github.io/thoughts/2026-10-01.html"},"snippet":null,"score":null},{"slug":"coltranes-tone-circle","title":"Coltrane's Tone Circle","subtitle":"Exploring the circle of fifths, its jazz applications, and Coltrane's geometric approach to harmony","summary":"A clear walkthrough of John Coltrane’s famous tone-circle sketch: the circle of fifths, geometric harmony, and how jazz musicians still use the diagram today.","content_type":"essay","language":"en","canonical_url":"https://jtomschroeder.com/blog/tone-circle/","author":{"name":"Tom Schroeder","url":"https://jtomschroeder.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Tom Schroeder","url":"https://jtomschroeder.com/","listing_slug":null,"listing":null},"topics":[{"name":"Music","slug":"music","url":"https://listedarticles.com/topics/music"},{"name":"Education","slug":"education","url":"https://listedarticles.com/topics/education"},{"name":"History","slug":"history","url":"https://listedarticles.com/topics/history"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2485,"reading_minutes":11,"published_at":"2026-09-29T12:00:00.000Z","added_at":"2026-10-01T12:11:05.956Z","updated_at":"2026-10-01T12:11:05.956Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/coltranes-tone-circle","markdown_url":"https://listedarticles.com/articles/coltranes-tone-circle.md","example":false,"citation":"Tom Schroeder, Tom Schroeder. \"Coltrane's Tone Circle.\" 29 Sept 2026. https://jtomschroeder.com/blog/tone-circle/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://jtomschroeder.com/blog/tone-circle/"},"snippet":null,"score":null},{"slug":"whats-the-future-for-pure-math-research-in-the-age-of-ai","title":"What's the Future for Pure Math Research in the Age of AI?","subtitle":null,"summary":"Stephen Wolfram surveys AI’s growing role in pure mathematics—headline ‘solved’ problems, what automation does and doesn’t replace, and how human mathematical taste and research programs may evolve.","content_type":"essay","language":"en","canonical_url":"https://writings.stephenwolfram.com/2026/09/whats-the-future-for-pure-math-research-in-the-age-of-ai/","author":{"name":"Stephen Wolfram","url":"https://writings.stephenwolfram.com","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Stephen Wolfram Writings","url":"https://writings.stephenwolfram.com","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"},{"name":"Science","slug":"science","url":"https://listedarticles.com/topics/science"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":7084,"reading_minutes":31,"published_at":"2026-09-28T00:00:00.000Z","added_at":"2026-10-04T14:12:31.066Z","updated_at":"2026-10-04T14:12:31.066Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/whats-the-future-for-pure-math-research-in-the-age-of-ai","markdown_url":"https://listedarticles.com/articles/whats-the-future-for-pure-math-research-in-the-age-of-ai.md","example":false,"citation":"Stephen Wolfram, Stephen Wolfram Writings. \"What's the Future for Pure Math Research in the Age of AI?.\" 28 Sept 2026. https://writings.stephenwolfram.com/2026/09/whats-the-future-for-pure-math-research-in-the-age-of-ai/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://writings.stephenwolfram.com/2026/09/whats-the-future-for-pure-math-research-in-the-age-of-ai/"},"snippet":null,"score":null},{"slug":"burning-man-death-rates-a-short-lesson-in-statistics","title":"Burning Man Death Rates: A Short Lesson in Statistics","subtitle":null,"summary":"Summary: Three people died at Burning Man in 2026. This was about a quarter of what the crude national rate would predict (~12 deaths). Calculating the age-standardized death rate, we’d expect to see an average of 4.9 deaths. At this rate, seeing 3 deaths is not abnormal. However, Burning Man’s near zero death rate over its existence is abnormal, and likely due to selection bias of healthier attendees and other confounding demographic factors.","content_type":"essay","language":"en","canonical_url":"https://ihavenapkinthoughts.substack.com/p/burning-man-death-rates-a-short-lesson","author":{"name":"Viraj Shah","url":"https://ihavenapkinthoughts.substack.com","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"I Have Napkin Thoughts","url":"https://ihavenapkinthoughts.substack.com","listing_slug":null,"listing":null},"topics":[{"name":"Mathematics","slug":"mathematics","url":"https://listedarticles.com/topics/mathematics"},{"name":"Science","slug":"science","url":"https://listedarticles.com/topics/science"},{"name":"Culture","slug":"culture","url":"https://listedarticles.com/topics/culture"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1389,"reading_minutes":6,"published_at":"2026-09-27T12:00:00.000Z","added_at":"2026-10-01T09:10:07.731Z","updated_at":"2026-10-01T09:10:07.731Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/burning-man-death-rates-a-short-lesson-in-statistics","markdown_url":"https://listedarticles.com/articles/burning-man-death-rates-a-short-lesson-in-statistics.md","example":false,"citation":"Viraj Shah, I Have Napkin Thoughts. \"Burning Man Death Rates: A Short Lesson in Statistics.\" 27 Sept 2026. https://ihavenapkinthoughts.substack.com/p/burning-man-death-rates-a-short-lesson (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://ihavenapkinthoughts.substack.com/p/burning-man-death-rates-a-short-lesson"},"snippet":null,"score":null}],"total":44,"count":20,"next_offset":20,"has_more":true,"query":{"q":null,"content_type":"essay","topic":"mathematics","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}