Mathematicians reacted mixedly to OpenAI's quasi-Riemann proof: Stanford's Jared Duker Lichtman called it the most important AI-for-math achievement to date; NYU's Maksym Radziwiłł said the impact was "shocking"; Georgia Tech's Alexander Dunn found the proof uses no new concepts; Princeton's Peter Sarnak adjusted his course to study the proof; Will Sawin doubts whether the bound can be pushed to 1/2, while Thomas Bloom holds the opposite view.