A mathematician reads the AI future(theatlantic.com)
44 points by artninja1988 | 67 comments
An Atlantic essay by Cornell mathematician Steven Strogatz reflecting on AI's impact on mathematics after OpenAI's claimed Navier-Stokes solution in 2026.
#ai-theorem-proving on Hacker News
3 stories tagged ai-theorem-proving, newest first.
What's the future for pure math research in the age of AI?(writings.stephenwolfram.com)
47 points by 6bitquant | 34 comments
Stephen Wolfram essay on the role and future of human pure mathematics research as AI systems increasingly solve math problems.
To grieve, or not to grieve?(xenaproject.wordpress.com)
142 points by stabbles | 122 comments
A Xena Project blog post by a mathematician reflecting on whether to grieve as AI advances in formalizing mathematics in Lean, following a post about Anthropic and FLT.