9
AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.
(www.quantamagazine.org)
On the road to fully automated luxury gay space communism.
Spreading Linux propaganda since 2020
Rules:
But can it do so reliably? Conceptually I'm all for it if it worked but if all you're ever doing is double checking the results of AI, which in the best of cases is maybe 95% accurate, then is any labor actually saved?
The idea isn't to just let AI run wild and hope it produces something useful. Mathematicians use it as part of their workflow when they explore the problem space. Terence Tao wrote about how he uses these tools recently https://mathstodon.xyz/@tao/115855840223258103