Richard Borcherds, a UC Berkeley professor and Fields medalist, no longer grades his students’ homework.

After seeing how many of his students used AI to consistently receive top scores, he felt there was “no point” in paying readers to grade for correctness in homework, as AI use is now unavoidable.

Borcherds revealed this in a sit-down interview Tuesday, following OpenAI’s announcement that AI agents apparently solved one of mathematics’ most difficult unsolved problems, the Navier-Stokes existence and smoothness problem.

“If AI continues to improve at present rate, then, in a few years, there’ll be nothing human mathematicians can do that AI can’t do better,” Borcherds said.