007bistromath§

• a [[person]]
  • [[twitter]] https://twitter.com/007Bistromath
  • suggested the name [[flagcia]]
  • [[go]] bottomlinegamereviews.tumblr.com
  • [[games that question morality]] https://bottomlinegamereviews.tumblr.com/post/147524622575/games-that-question-morality

• [[flancian@social.coop]] https://social.coop/@flancian/109409828954606284 pull

• [[2022-11-26 11:15:38+00:00]] @[[flancian]]: https://twitter.com/flancian/status/1596462680189157376 pull

• [[2022-11-26 11:18:21+00:00]] @[[flancian@social.coop]] https://social.coop/@flancian/109409828954606284:

  • A nice article on what can go wrong with [[fastmath]] (compiler optimizations).
    —-
    RT @markpapadakis
    @firecubez https://simonbyrne.github.io/notes/fastmath/
    https://twitter.com/markpapadakis/status/1596453113791188994

• [[2022-11-26 11:15:38+00:00]] @[[flancian]]: https://twitter.com/flancian/status/1596462680189157376 pull

A nice article on what can go wrong with [[fastmath]] (compiler optimizations). https://t.co/rvwHcCp3Ah

• [[yog]] https://mathstodon.xyz/@yog/109280540462296784 pull

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.

web: episode channel: Lex Fridman Podcast

Log§

created: 20261027 - 21:06 Started: 20261027 Ended: 20261028

Outline:§

• 0:00 Introduction
• 1:56 - Crisis moment in mathematics
• 10:13 - Will AI "solve" mathematics?# Lex Fridman 503 AI Crisis in Math
• 26:24 - Can AI create new math?
• 1:05:56 - Riemann hypothesis
• 1:29:49 - Navier-Stokes
• 1:55:45 - How nature computes
• 2:04:39 - Unique Games Conjecture and complexity theory
• 2:19:31 - How mathematicians think
• 2:33:08 - Is math invented or discovered?
• 2:39:16 - Can AI solve P vs NP?
• 2:49:31 - Why LLMs work so well
• 3:03:57 - Problems AI can’t solve yet
• 3:08:27 - Grigori Perelman
• 3:17:45 - Advice for young people

Notes§

• Riemann hypothesis, Riemann Zeta function
• Zone of Proximal Development
  • Lev Vygotsky’s term for the gap between what a learner can do alone and with guidance in Learning with AI

Key Takeaways for Learning with AI§

1. Use AI as a Tutor, Not an Answer Engine The most effective way to learn is to use AI to clarify difficult concepts. If you encounter a complex math paper or a confusing topic, use the tool to break down the language or explain specific sections. This accelerates learning by acting as a "world expert" available to teach you in your own language (3:11:30-3:12:30).

2. Avoid the Bimodal Learning Trap There is an observable divide in how students approach AI. The "head" of the distribution uses AI to check their understanding, quiz themselves, and verify their logic. The "tail" of the distribution uses AI to simply generate answers to finish work quickly. To be successful, you must use these tools to deepen, not bypass, your own thinking (3:19:10-3:19:40).

3. Retain Personal Independence Even when a machine can solve a problem, you should strive to retain the ability to solve it yourself. Mastering a skill—even if a tool can do it for you—is essential for personal independence and building the intuition necessary for true expertise (3:17:05-3:17:45).

4. Build Strong Foundations Do not abandon the basics. Regardless of AI’s capabilities, you must still learn the fundamentals like linear algebra, calculus, and physics. Building this core intuition allows you to evaluate AI outputs critically and navigate the "uncertainty" of the future with a stronger sense of purpose (3:21:00-3:21:26, 3:25:28-3:26:20).

Opsimath§

• https://en.wikipedia.org/wiki/Opsimath pull
• [[samuel johnson]]

• [[likelyjanlukas@mstdn.ca]] https://mstdn.ca/@likelyjanlukas/110641038686556622 pull
• [[likelyjanlukas@mstdn.ca]] https://mstdn.ca/@likelyjanlukas/110641077248479138 pull