Last Week in AI #344 - Navier–Stokes, Pacing the Frontier, AI Misuse

OpenAI researchers have claimed a proof for the Millennium Prize-winning Navier–Stokes existence and smoothness problem, prompting skepticism and public disagreement from the academic mathematics community. Simultaneously, Anthropic CEO Dario Amodei is advocating for slower development of advanced AI models to mitigate safety risks. These developments reflect a broader tension between rapid corporate AI advancement and ongoing debates regarding academic verification and the potential for long-term existential threats posed by frontier technology.