Pages

Sunday, October 25, 2026

Another Problem to Solve - Part 2


Back on Oct. 21, we posted about UCLA's Tao on AI and math. Here is Berkeley's Bochards on the same topic. From the Daily Californian:

After OpenAI announced its solution to one of mathematics’ most difficult unsolved problems, the Navier-Stokes existence and smoothness problem, UC Berkeley mathematicians are considering AI’s impact on the future of the field... UC Berkeley math professor Richard Borcherds, who won the 1998 Fields Medal, a prize considered to be the math equivalent to a Nobel, said he only expected a result of this caliber in 10 years and is surprised at the pace at which AI is improving... 

It’s hard to know what advice to give graduate students because the future is “changing in a rather major way,” he added. Borcherds claimed AI is already better than beginner graduate students. “If you’re starting off as a (graduate) student in math, it’s likely that AI will always be better than you at mathematics,” Borcherds said. “Grad students are not stupid — this has occurred to all of them, and quite a lot of them are dropping out or getting very worried about it.”

...Borcherds remains unfazed by AI and said these advancements make no difference if one enjoys learning math. “People are complaining that AI is pushing out this 100,000-line formal proof of some major conjecture. I don’t really see what harm this does because you can always ignore this if you want, and then you’re no worse off than before,” Borcherds said. “I think what people are getting upset about is they’re slowly realizing that they are dumb and somehow blaming this on AI, even though it’s not really AI’s fault.”

Borcherds, who currently teaches MATH 250A, a graduate-level course on abstract algebra, also said AI would be much better than him at teaching the course. He said AI is more patient and much better at expressing itself than he is and doesn’t get mad when students ask stupid questions. Borcherds himself said he has asked AI “deep mathematical questions” and gets “much better answers from it than (he gets) from any human mathematician.” ...

Full story at https://www.dailycal.org/news/campus/academics/uc-berkeley-math-community-left-at-crossroads-in-wake-of-openai-navier-stokes-proof/article_2253ca6c-39c0-45be-947a-f0fd5b48bd6c.html.

No comments: