Smash Notes

Back to #503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory, with Ankur Moitra & Steven Brunton.

Is the quasi-Riemann Hypothesis Proof a New Idea?

Alex Kontorovich says the quasi Riemann Hypothesis case is not a genuinely new idea. It is a beautiful combination of things that were already very well known. A lot of people are kicking themselves because they had some idea in that direction 20 years ago.

Two years ago, a big breakthrough on cubic theta functions and cubic Gauss sums became the path the AI took to the solution. He pictures a semigroup as tiles on a board: from one tile you may place another to the left, the right, the front, or the back, and keep going. Existing ideas, pushed that way, might prove a whole lot more than humans have explored. Deep problems in mathematics sometimes fall to a three page solution that is elementary, could be explained to an undergrad, and could have been discovered 20 years before the problem was posed. Found that early, it would be a textbook exercise. When the short solution stays hidden, bright people work a long time, make incremental progress, and the problem grows famous, so the eventual answer looks like a big deal.

A year ago he wrote proceedings for the International Congress of Mathematicians, text they wanted 10 months in advance, and he stands by it. One claim is that many more problems thought unreachable by current technology are reachable by current technology when the pieces are put together in just the right way. AI is amazing at that assembly. Calling the solutions combinations already inside the convex hull is not invalid, and he likes the balloon metaphor too.

Grokipedia·Riemann hypothesis·Alex Kontorovich

Transcript

#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory ·

Lex Fridman Podcast

More from this episode

  1. Would Alex Kontorovich Call AI in Mathematics a Crisis?Alex Kontorovich does not know whether he would call the moment in AI and mathematics a crisis. A lot of opportunity sits in the crisis.
  2. Does Ankur Moitra Feel More Intellectually Lonely?Ankur Moitra says he might feel more intellectually lonely than before. He feels very excited.
  3. Why Does Steven Brunton Stay Hopeful About AI?Steven Brunton says most of his feelings are hopeful.
  4. Did AI Solve the Riemann Hypothesis?No. Alex Kontorovich says the Riemann hypothesis is not solved.
  5. Why Is the Doorman Fallacy Useful for Math and AI?Ankur Moitra treats the doorman fallacy as a good way to think about mathematics in the age of AI.
  6. Are Machines Already Finding Physical Laws?Steven Brunton says that search is already happening for physical laws.
  7. Why Is AI Math More Than a Convex Hull?Alex Kontorovich says AI math is more than a convex hull because known moves, chained together, reach much further than that label allows.
  8. How Are Research Papers Changing Because of AI?Steven Brunton says an academic contribution in engineering and applied science is already shifting, and with AI a small reusable piece is worth more than one…
  9. Why Do Journals Need New Models for AI Proofs?Ankur Moitra wants new models that ease the load on journals and conferences, including a shared effort to verify AI proofs, while the older publishing models…
  10. What Is the Riemann Hypothesis?Alex Kontorovich says the Riemann hypothesis predicts that every wave behind the prime numbers has exactly the same amplitude.
  11. How Long Is Fermat's Last Theorem in Lean?Alex Kontorovich says the Lean formalization of Fermat's Last Theorem is 13 million lines. He was sure that formalization was at least three years away.
  12. Can AI Formalize a Proof a Human Already Wrote?Alex Kontorovich says autoformalization is basically solved, and not in the way he wants.
  13. What Did AI Prove About the quasi-Riemann Hypothesis?Alex Kontorovich says the proof gives an infinite vertical strip with no zeros whose real part lies between seven-eighths and one.
  14. Why Is a Fluid So Hard to Solve?Steven Brunton says force equals mass times acceleration is simple to write down, yet a fluid becomes very complicated to solve in any practical sense.
  15. What Is the Basic Building Block of a Fluid?Steven Brunton says the basic building block of a fluid is a velocity field, together with the pressures that force it to move.
  16. What Did AI Prove About Navier-Stokes?Steven Brunton says the proven result is the forced version on the Clay website, one of four versions, not every Navier-Stokes problem.
  17. Why Is Turbulence So Hard?Steven Brunton says turbulence is a complex fluid roiling, mixing, and moving, and it is hard because it is multi-scale.
  18. What Did Kamal Jain Say About Laptops and Markets?Ankur Moitra cites Kamal Jain for the line he likes: if my laptop can't find it, then neither can the market.
  19. Did AI Prove the Unique Games Conjecture?Ankur Moitra says a headlining result in the OpenAI drop is that the unique games conjecture is true.
  20. How Many Authors Does a Math Paper Have?Alex Kontorovich says almost every math paper written until the 20th century had one author. He thinks the median in mathematics is now two.
  21. How Do AI Swarms Act Like the Game of Life?Lex Fridman says a single large LLM that does a lot of reasoning and can interact with tools is already a dynamical process, and multi-agent swarms built from…
  22. What Should Pure Math PhD Students Learn?Alex Kontorovich says PhD students in pure mathematics should do what mathematicians have always done: learn the most difficult, most abstract mathematics…
  23. Why Learn Linear Algebra If a Computer Does It Better?Steven Brunton says you should still learn linear algebra even if a computer can do linear algebra better than you, because the point is to build intuition…
  24. Why Does Ankur Moitra Say to Pretend You Already Won?Ankur Moitra says the best way to live a rich and fulfilling life is to pretend you have already won, then figure out what you would do.
  25. What Matters When AI Commodifies Intelligence?Lex Fridman believes that as AI commodifies intelligence, people will treat intelligence and the puzzles they solve as a cherry on top, or a cherry to the…

People

More answers like this

Related episodes

Plays from this note through the rest of the episode.

Weekly highlights

One letter a week.

The notes worth hearing, with the minute they were said.