--- title: Mathematicians, Here’s a Way To Think About Your... description: Kent Beck reflects on the identity crisis mathematicians face as AI systems ('genies') become capable of proving theorems, drawing a parallel to the crisis... canonical: https://daily.dev/posts/mathematicians-here-s-a-way-to-think-about-your-existential-crisis-akc99ylpc twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: Mathematicians, Here’s a Way To Think About Your Existential Crisis | daily.dev og:description: Kent Beck reflects on the identity crisis mathematicians face as AI systems ('genies') become capable of proving theorems, drawing a parallel to the crisis... og:url: https://daily.dev/posts/mathematicians-here-s-a-way-to-think-about-your-existential-crisis-akc99ylpc og:image: https://api.daily.dev/og/posts/aKc99YLpc.png og:image:alt: Mathematicians, Here’s a Way To Think About Your Existential Crisis 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. # Mathematicians, Here’s a Way To Think About Your Existential Crisis **[Software Design: Tidy First?](https://daily.dev/sources/tidyfirst)** · 3 min read · 0 upvotes · 0 comments ## Summary Kent Beck reflects on the identity crisis mathematicians face as AI systems ('genies') become capable of proving theorems, drawing a parallel to the crisis programmers experienced when AI began generating code. He frames the work in both fields as having a visible part (proofs, features) and an invisible part (understanding, simplification, abstractions), and argues that even as AI dominates the visible work, humans remain valuable for steering direction and doing the invisible work that keeps progress sustainable. The piece ends with a promotional pitch for Beck's advisory and speaking services. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Similar posts on daily.dev - [Mathematics Without Mathematicians](https://daily.dev/posts/mathematics-without-mathematicians-cbbiut332) · Hacker News · 1 upvotes · 0 comments - [Schneier on Security](https://daily.dev/posts/schneier-on-security-io18bkk18) · Schneier on Security · 0 upvotes · 0 comments - [\[2607.06377\] Automation Without Understanding](https://daily.dev/posts/2607-06377-automation-without-understanding-gagloi3zz) · Hacker News · 1 upvotes · 0 comments --- Tags: [#ai-coding](https://daily.dev/tags/ai-coding), [#math](https://daily.dev/tags/math), [#technical-debt](https://daily.dev/tags/technical-debt) [View this post on daily.dev](https://daily.dev/posts/mathematicians-here-s-a-way-to-think-about-your-existential-crisis-akc99ylpc) ```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":"Mathematicians, Here’s a Way To Think About Your Existential Crisis","url":"https://daily.dev/posts/mathematicians-here-s-a-way-to-think-about-your-existential-crisis-akc99ylpc","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/mathematicians-here-s-a-way-to-think-about-your-existential-crisis-akc99ylpc"},"datePublished":"2026-09-29T13:39:51.482Z","dateModified":"2026-09-29T13:40:08.358Z","description":"Kent Beck reflects on the identity crisis mathematicians face as AI systems ('genies') become capable of proving theorems, drawing a parallel to the crisis...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/dc5d57e55ee231daa94ca556363d7693?_a=AQAEuop","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/dc5d57e55ee231daa94ca556363d7693?_a=AQAEuop","isAccessibleForFree":true,"articleSection":"Software Design: Tidy First?","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":"Software Design: Tidy First?","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/dfed97125daa47dda66c4df89430c08c","url":"https://daily.dev/sources/tidyfirst"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/mathematicians-here-s-a-way-to-think-about-your-existential-crisis-akc99ylpc","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"ai-coding,math,technical-debt","timeRequired":"PT3M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Software Design: Tidy First?","item":"https://daily.dev/sources/tidyfirst"},{"@type":"ListItem","position":3,"name":"Mathematicians, Here’s a Way To Think About Your Existential Crisis"}]} ```