How AI is upending mathematics, from OpenAI's Navier-Stokes proof to classrooms
In a Bloomberg video, MIT associate dean for engineering education Justin Solomon explains how pure and applied mathematicians are responding to rapid AI advances. He notes that OpenAI announced last month it had produced an AI-generated proof for the Navier-Stokes problem, a proof he says is hard even for professionals to parse. Meanwhile, LLMs can now do students' homework, leaving teachers struggling to keep up.
Why it matters: If such AI-generated proofs can be verified, mathematics will have to formally reckon with whether AI can produce original mathematical discoveries.
Last month, OpenAI announced that it had produced an AI-generated proof for the Navier-Stokes problem. LLMs used to be bad at counting, but now they are solving math problems that have stumped humans for decades. Meanwhile, at universities, the problem of AI in education continues: Now that LLMs can do a student's homework, teachers are struggling to keep up.
It is clear that AI is very quickly changing how math is taught and how it is practiced by professionals. Justin Solomon, who is the associate dean for engineering education at MIT, gives us a primer on how mathematicians (both pure and applied) are responding to all the advances in AI. He also explains what exactly the Navier-Stokes problem is and why the OpenAI proof is hard for even the pros to parse, what movies get wrong about how mathematicians do their jobs, and how he's changing his pedagogical approach in the age of AI.
(Source: Bloomberg)
This is the outlet's own summary. Read the full story on the original site.
Read the original →How we got here
- We're putting too much faith in AI's ability to say noMIT Technology Review AI · OpenAI
- Hollywood's fall slate takes on Big Tech scandals, including an OpenAI biopicCNET · OpenAI
- Hinton: humanity may have only a year or two to prepare AI oversight虎嗅 AI · OpenAI
- Proton's Andy Yen on age verification, Big Tech and privacy-first AI chatbot LumoTechRadar · OpenAI
- Nvidia-backed Firmus pulls Australian IPO as AI valuation worries growBloomberg Technology · OpenAI
- Microsoft open-sources Agent Framework for production AI agentsGitHub Trending · Python · OpenAI