--- title: Illustration Beyond Proof | daily.dev description: A guest post by Kate Stange and Edmund Harriss explores how mathematical illustration can be rigorous, drawing on a January workshop at the Institut Henri... canonical: https://daily.dev/posts/illustration-beyond-proof-8guwmnovf twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: Illustration Beyond Proof | daily.dev og:description: A guest post by Kate Stange and Edmund Harriss explores how mathematical illustration can be rigorous, drawing on a January workshop at the Institut Henri... og:url: https://daily.dev/posts/illustration-beyond-proof-8guwmnovf og:image: https://api.daily.dev/og/posts/8GuWMNOVf.png og:image:alt: Illustration Beyond Proof og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # Illustration Beyond Proof **[Hacker News](https://daily.dev/sources/hn)** · 11 min read · 0 upvotes · 0 comments ## Summary A guest post by Kate Stange and Edmund Harriss explores how mathematical illustration can be rigorous, drawing on a January workshop at the Institut Henri Poincaré and a paper accepted in the Notices of the AMS. The piece situates illustration within a broader debate, sparked by AI's disruption of theorem-proving as a proxy for understanding, about what mathematical practice and credit should mean beyond proof. It traces illustration's history from Monge's École Polytechnique through the 1990s proof-and-progress debate, discusses the authors' own 'algebraic starscapes' work, references a GPT-6 Astra-assisted discovery of a 3D aperiodic monotile (Chair44), and proposes 'crit' sessions borrowed from art education as a way to evaluate illustrations' rigor and value. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Similar posts on daily.dev - [In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?](https://daily.dev/posts/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far--zd4b3paw3) · Hacker News · 1 upvotes · 0 comments - [Mathematicians, Here’s a Way To Think About Your Existential Crisis](https://daily.dev/posts/mathematicians-here-s-a-way-to-think-about-your-existential-crisis-akc99ylpc) · Software Design: Tidy First? · 0 upvotes · 0 comments - [The Problem of Pedagogy in Advanced Mathematics](https://daily.dev/posts/the-problem-of-pedagogy-in-advanced-mathematics-s7bauywnv) · Susam Pal · 0 upvotes · 0 comments - [Mathematical Experiments Are Becoming Abundant Through Human-Machine Teaming](https://daily.dev/posts/mathematical-experiments-are-becoming-abundant-through-human-machine-teaming-at6d9wesn) · Towards Data Science · 1 upvotes · 0 comments --- Tags: [#math](https://daily.dev/tags/math) [View this post on daily.dev](https://daily.dev/posts/illustration-beyond-proof-8guwmnovf) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"Illustration Beyond Proof","url":"https://daily.dev/posts/illustration-beyond-proof-8guwmnovf","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/illustration-beyond-proof-8guwmnovf"},"datePublished":"2026-10-12T03:56:17.064Z","dateModified":"2026-10-12T03:59:16.814Z","description":"A guest post by Kate Stange and Edmund Harriss explores how mathematical illustration can be rigorous, drawing on a January workshop at the Institut Henri...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/f2f989ed2223951aaa6e80f09a3bee70?_a=AQAEuop","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/f2f989ed2223951aaa6e80f09a3bee70?_a=AQAEuop","isAccessibleForFree":true,"articleSection":"Hacker News","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"Hacker News","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/hn","url":"https://daily.dev/sources/hn"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/illustration-beyond-proof-8guwmnovf","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"math","timeRequired":"PT11M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Hacker News","item":"https://daily.dev/sources/hn"},{"@type":"ListItem","position":3,"name":"Illustration Beyond Proof"}]} ```