#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory
#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory
Podcast3 hr 42 min
Listen to Episode
Note: AI-generated summary based on third-party content. Not financial advice. Read more.
Quick Insights
  • Treat AI-driven engineering, computational biology, and post-quantum cybersecurity as long-term themes to monitor, not actionable trades: the discussion names no investable companies, price targets, or timelines.
  • Do not infer an investment case for SHOP or ORCL from sponsor advertisements; the episode provides no independent valuation or performance analysis.
  • Avoid trading AMZN based on its passing mention, which offers no view on the company or stock.
Detailed Analysis

AI Research and Software

  • The discussion describes rapid AI progress in mathematics, including machine-produced proofs for difficult problems. The speakers see major potential for AI to expand research and learning, but they disagree about how far its capabilities will go.
  • OpenAI and Anthropic are named in connection with these results. The transcript does not provide financial information, valuation, or a public ticker for either company.
  • The speakers stress that some AI-generated proofs are difficult to interpret and that formal verification and human review remain important. They also note that the human effort behind a result may matter beyond the result itself.

Takeaways

  • AI research and software are prominent investment themes in the conversation, but the transcript offers no specific company recommendation or valuation case.
  • Consider the gap between impressive demonstrations and dependable, useful products. The discussion specifically highlights uncertainty about AI’s trajectory and the need to verify outputs, particularly in consequential applications.
  • No price targets or investment timelines are given.

AI for Engineering, Fluid Dynamics, and Industrial Design

  • The guests describe potential applications of AI-assisted engineering in aircraft design, drag reduction, artificial hearts, wind and gas turbines, transportation, defense, health, and energy.
  • Better ways to predict or control turbulent flows could improve design and efficiency. One guest characterizes the potential benefit to humanity as very large, while emphasizing that this is not a stated company valuation or market forecast.
  • The Navier–Stokes proof discussed is mathematically significant, but the fluid-dynamics expert says it does not make practical fluid simulation or engineering design easier today. Applied problems remain computationally expensive and difficult.

Takeaways

  • Applied AI for engineering and design is a potential long-term theme to investigate, especially where companies can demonstrate measurable improvements in cost, performance, or efficiency.
  • Do not treat the mathematical proof as evidence that commercial fluid-design problems have been solved: the guest explicitly distinguishes the proof from practical engineering progress.
  • The transcript gives no named public companies, specific recommendations, or price targets for this theme.

Biotechnology and Computational Biology

  • The guests discuss AI’s potential to help analyze complex biological systems, including large biological datasets and connectomes.
  • They are optimistic that AI may help identify useful structure in biology, but also describe life as extremely complex and caution that its full workings may be beyond current understanding.

Takeaways

  • AI-enabled biology is a research opportunity discussed in broad terms, not a specific investment recommendation.
  • The conversation provides no named biotechnology companies, clinical milestones, financial estimates, or timelines.

Cybersecurity and Post-Quantum Cryptography

  • The guests explain that widely used public-key encryption relies in part on the difficulty of factoring very large numbers.
  • They note that quantum algorithms for factoring are known in theory, and that researchers are working on post-quantum cryptography. They also say there is still some time before quantum computers are large enough to make the factoring threat an immediate practical problem.
  • A sufficiently effective factoring method could, in the hypothetical scenario discussed, threaten secure communications and parts of e-commerce.

Takeaways

  • Post-quantum cybersecurity is a risk-driven investment theme raised by the discussion, but no specific security company or investment is named.
  • The transcript presents the threat as a future possibility, not an immediate breakdown in encryption; it gives no timeline or investment recommendation.

Shopify (SHOP)

  • Shopify appears in a sponsor advertisement as a platform for selling online. The host praises its engineering and leadership and mentions a $1-per-month trial.
  • These comments are promotional; the episode gives no operating results, valuation analysis, or comparison with competitors.

Takeaways

  • The transcript offers a positive promotional mention, not an independent assessment of SHOP as an investment.
  • The trial offer is a customer promotion, not a stock-price target or investment recommendation.

NetSuite / Oracle (ORCL)

  • NetSuite is promoted as an AI-powered business-management system covering areas such as finance, HR, inventory, supply, and e-commerce.
  • The advertisement describes AI agents working alongside users, but the episode provides no adoption, revenue, or profitability data.

Takeaways

  • Business-management software and embedded AI are discussed as commercial applications, but the transcript does not establish an investment case for Oracle (ORCL).
  • Treat the product claims as sponsor copy rather than independent evidence of business performance.

Amazon (AMZN)

  • Amazon is mentioned only as an example of an online retailer that depends on secure communications and e-commerce infrastructure.
  • The discussion does not assess Amazon’s business or stock.

Takeaways

  • The mention is incidental and provides no actionable view on AMZN.

Other Sponsor Businesses and Products

  • WhisperFlow is advertised as an AI voice-dictation product.
  • Finn is promoted for customer-service AI agents; the advertisement claims a 65% average resolution rate and use by more than 6,000 customer-service leaders.
  • Blitzy is described as an AI software-development platform for large, complex codebases.
  • Perplexity is promoted as a knowledge-exploration product.
  • Element is advertised as an electrolyte mix.
  • The transcript does not provide public tickers, financials, or investment analysis for these businesses.

Takeaways

  • These mentions establish product positioning, not investability or financial performance. The transcript does not specify whether these businesses are publicly traded.
  • In particular, the advertised performance and customer figures for Finn are sponsor claims, not independently examined results in the discussion.

Cryptocurrency

  • No cryptocurrencies or crypto tokens are mentioned.
Ask about this postAnswers are grounded in this post's content.
Episode Description
Ankur Moitra, Steven Brunton and Alex Kontorovich are three mathematicians who can speak to this incredible moment in the history of mathematics, when AI solved some of its hardest problems: Navier-Stokes, the quasi-Riemann hypothesis, the unique games conjecture and hundreds of other problems. Ankur Moitra is a mathematician at MIT (visiting the Institute for Advanced Study in Princeton) working in theoretical computer science, who can speak to the unique games conjecture, complexity theory and the mathematics of how AI learns. Steven Brunton is a mathematician and fluid dynamics expert at UW, who can speak to Navier-Stokes, turbulence and machine learning for fluid dynamics. Alex Kontorovich is a mathematician at Rutgers specializing in number theory, who can speak to the Riemann hypothesis, Lean and machine-checked proofs. https://lexfridman.com/sponsors/ep503-sc Transcript: https://lexfridman.com/math-ai-crisis-transcript CONTACT LEX: Feedback – give feedback to Lex: https://lexfridman.com/survey AMA – submit questions, videos or call-in: https://lexfridman.com/ama Hiring – join our team: https://lexfridman.com/hiring Other – other ways to get in touch: https://lexfridman.com/contact EPISODE LINKS: https://people.csail.mit.edu/moitra/ https://x.com/AlexKontorovich https://sites.math.rutgers.edu/~alexk/ https://x.com/eigensteve https://youtube.com/@Eigensteve https://eigensteve.com https://lean-lang.org/ SPONSORS: Wispr Flow: AI-powered voice dictation app. https://wisprflow.ai/lex Fin: AI agent for customer service. https://fin.ai/lex LMNT: Zero-sugar electrolyte drink mix. https://drinkLMNT.com/lex Blitzy: AI agent for large enterprise codebases. https://blitzy.com/lex Shopify: Sell stuff online. https://shopify.com/lex NetSuite: Business management software. https://netsuite.ai/lex Perplexity: AI-powered answer engine. https://perplexity.ai/ OUTLINE: (00:00) – Introduction (01:58) – Sponsors, Comments, and Reflections (09:53) – Crisis moment in mathematics (18:10) – Will AI “solve” mathematics? (34:21) – Can AI create new math? (1:13:53) – Riemann hypothesis (1:37:45) – Navier-Stokes (2:03:42) – How nature computes (2:12:35) – Unique Games Conjecture and complexity theory (2:27:28) – How mathematicians think (2:41:05) – Is math invented or discovered? (2:47:13) – Can AI solve P vs NP? (2:57:28) – Why LLMs work so well (3:11:54) – Problems AI can’t solve yet (3:16:23) – Grigori Perelman (3:25:41) – Advice for young people
About Lex Fridman Podcast
Lex Fridman Podcast

Lex Fridman Podcast

By Lex Fridman

Conversations about science, technology, history, philosophy and the nature of intelligence, consciousness, love, and power. Lex is an AI researcher at MIT and beyond.