AM
Guest dossier
Ankur Moitra
Across 1 conversation, Ankur Moitra ranges across fluid dynamics, Unique Games Conjecture, AI in mathematics. AI advancements have claimed solutions to the Navier-Stokes equations and the Unique Games Conjecture, sparking concerns about AI's impact on ongoing research. The 'solved axiom' implies AI could independently solve any problem solvable by human-AI interaction, challenging the future role of human mathematicians.
Synthesized by TLexDR from 1 conversation. AI-generated. Report an inaccuracy
The idea map
Ankur's intellectual territory
Click a star to read the quotes and jump into the episode.
For the specialist
previewThe Navier-Stokes problem shows that smooth external forcing can create a vortex, a phenomenon unique to three dimensions.
#503#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory
The quasi-Riemann hypothesis proof provides a vertical strip without zeros in the zeta function, but new ideas are needed for the full hypothesis.
#503#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory
AI's role in mathematics may be more about recombining existing ideas than creating new concepts, as suggested by Kontorovich.
#503#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory
The appearance
Every conversation, in order
Reading list
What they pointed you toward
papers
Every idea, by region
The full territory
Adjacent minds