Last month, OpenAI announced that it had produced an AI-generated proof for the Navier-Stokes problem, one of the most famous unsolved questions in mathematics. 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 pr
我们公开展示核心要点。创建免费账户后可继续阅读全文、保存、讨论，并结合市场和 OSINT 背景分析。