Food for thought! I also had the impression that the queen of science was kind of aloof and resisted machine learning & AI to some extent. However, we may see a revolution in the making!
"Mathematician ... is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem.
Resolving the problem isn’t the point. There’s already an accepted proof that was finalized in 1998. That work is a tortuous maze of mathematics that fills about 130 pages over two papers. It spans mathematical fields and unites abstract ideas that previously seemed to have little to say to one another. ...
Now, the explosion in artificial intelligence has propelled efforts, spearheaded by technology companies, to combine large language models with theorem provers to develop systems capable of autoformalization. In theory, such systems may ultimately be able to do things that humans can’t. ..."
The AI Revolution in Math Has Arrived "AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning."
No comments:
Post a Comment