Lex Fridman 与三位数学家对话,讨论 AI 在数周内解决 Navier-Stokes、准黎曼猜想、唯一游戏猜想与复杂性理论等历史级难题的时刻,并提到 OpenAI 当天宣布解出更多问题。他称这一进展可能被视为危机、胜利或两者兼有,自己每天在恐惧与乐观之间摇摆。
This is an incredible moment in this history of mathematics, computer science, physics & science with some of the hardest problems in human history being solved by AI over a period of weeks. Depending on your perspective, it's either a crisis, a triumph, or both. I don't think anyone knows for sure. We're all trying to make sense of it. I oscillate between fear/dread and optimism/excitement on a daily basis. The rate of progress is insane, including today's announcement from OpenAI of more problems solved.
To help make sense of all of it, here's my conversation with three mathematicians about this moment. Each of them is an expert in the field of each of the biggest problems solved: Navier-Stokes, quasi-Riemann hypothesis, the unique games conjecture and complexity theory more generally.
Ankur Moitra is a mathematician and theoretical computer scientist at MIT, visiting the Institute for Advanced Study in Princeton. Steven Brunton (@eigensteve) is a mathematician and fluid dynamics expert at UW. Alex Kontorovich (@AlexKontorovich) is a mathematician at Rutgers specializing in number theory.
来源:Lex Fridman · x.com