How Close Are Computers to Automating Mathematical Reasoning?
Quanta Magazine
AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.
In the 1970s, the late mathematician Paul Cohen, the only person to ever win a Fields Medal for work in mathematical logic, reportedly made a sweeping prediction that continues to excite and irritate mathematicians — that “at some unspecified future time, mathematicians would be replaced by computers.”
