{
  "@context": "https://schema.org",
  "@id": "https://aggr.aymericbeaumet.com/items/computerenhance-com/2026-09-10-what-is-ai-doing-to-math/#webpage",
  "@type": [
    "WebPage",
    "ArchiveComponent"
  ],
  "articleBody": "Over the course of 2026, AI has advanced from being a mathematician’s assistant to, in some cases, doing the majority of the work behind important new discoveries. What does this mean for formal mathematics as a discipline?\n\nIn this episode of *Wading Through AI*, Demetri walks Casey through three recent high-profile results made possible by the use of AI, and discusses the potential impact of this new level of automation on the field going forward.\n\n*As always, the art for the thumbnail, podcast cover, and banner of Wading Through AI were all hand-drawn by [Anna Rettberg](https://x.com/aerettberg) in her signature style. We do not currently use generative AI here at [Molly Rocket](https://mollyrocket.com/) .*\n",
  "authors": [],
  "captured_at": "2026-09-19T21:30:23.395188495+00:00",
  "category": "programming",
  "content_html": "<p>Over the course of 2026, AI has advanced from being a mathematician’s assistant to, in some cases, doing the majority of the work behind important new discoveries. What does this mean for formal mathematics as a discipline?</p>\n<p>In this episode of <em>Wading Through AI</em>, Demetri walks Casey through three recent high-profile results made possible by the use of AI, and discusses the potential impact of this new level of automation on the field going forward.</p>\n<p><em>As always, the art for the thumbnail, podcast cover, and banner of Wading Through AI were all hand-drawn by <a target=\"_blank\" rel=\"noopener noreferrer\" href=\"https://x.com/aerettberg\">Anna Rettberg</a> in her signature style. We do not currently use generative AI here at <a target=\"_blank\" rel=\"noopener noreferrer\" href=\"https://mollyrocket.com/\">Molly Rocket</a> .</em></p>\n",
  "content_markdown": "Over the course of 2026, AI has advanced from being a mathematician’s assistant to, in some cases, doing the majority of the work behind important new discoveries. What does this mean for formal mathematics as a discipline?\n\nIn this episode of *Wading Through AI*, Demetri walks Casey through three recent high-profile results made possible by the use of AI, and discusses the potential impact of this new level of automation on the field going forward.\n\n*As always, the art for the thumbnail, podcast cover, and banner of Wading Through AI were all hand-drawn by [Anna Rettberg](https://x.com/aerettberg) in her signature style. We do not currently use generative AI here at [Molly Rocket](https://mollyrocket.com/) .*\n",
  "dateCreated": "2026-09-19T21:30:23.395188495+00:00",
  "date_created": "2026-09-10T16:01:59+00:00",
  "date_modified": "2026-09-10T16:01:59+00:00",
  "date_published": "2026-09-10T16:01:59+00:00",
  "description": "Listen now (113 mins) | A special double-episode of Wading Through AI covering the recent headlines in the world of formal mathematics.",
  "external_url": "https://www.computerenhance.com/p/what-is-ai-doing-to-math",
  "git": {
    "commit": "ebb0941c5c06a2ab2377342d607535262a3e969e",
    "path": "items/computerenhance-com/2026/09/2026-09-10-what-is-ai-doing-to-math.md",
    "permalink": "https://github.com/aymericbeaumet/aggr-instance/blob/ebb0941c5c06a2ab2377342d607535262a3e969e/items/computerenhance-com/2026/09/2026-09-10-what-is-ai-doing-to-math.md"
  },
  "id": "urn:aggr:item:9ca94e9e2d055642a98fd47ca68e626c53f79414",
  "isBasedOn": {
    "@id": "https://www.computerenhance.com/p/what-is-ai-doing-to-math"
  },
  "mainEntity": {
    "@id": "https://www.computerenhance.com/p/what-is-ai-doing-to-math",
    "@type": "CreativeWork",
    "archivedAt": {
      "@id": "https://aggr.aymericbeaumet.com/items/computerenhance-com/2026-09-10-what-is-ai-doing-to-math/#webpage"
    },
    "dateModified": "2026-09-10T16:01:59+00:00",
    "datePublished": "2026-09-10T16:01:59+00:00",
    "headline": "What Is AI Doing to Math?",
    "timeRequired": "PT1M",
    "url": "https://www.computerenhance.com/p/what-is-ai-doing-to-math",
    "wordCount": 113
  },
  "name": "Archived snapshot: What Is AI Doing to Math?",
  "preview": null,
  "reading_minutes": 1,
  "replicated_at": null,
  "source": "computerenhance-com",
  "source_name": "Computer, Enhance!",
  "summary": "Listen now (113 mins) | A special double-episode of Wading Through AI covering the recent headlines in the world of formal mathematics.",
  "tags": [],
  "temporalCoverage": "2026-09-19T21:30:23.395188495+00:00",
  "title": "What Is AI Doing to Math?",
  "url": "https://aggr.aymericbeaumet.com/items/computerenhance-com/2026-09-10-what-is-ai-doing-to-math/",
  "word_count": 113
}