Everyone should read the celebrated mathematician Terence Tao's blog on LLM. He predicts that AI will be a trustworthy co-author in mathematical research by 2026, when combined with search and symbolic math tools.
I believe math will be the first scientific discipline to see major breakthroughs enabled by AI, because math:
▸ can be expressed conveniently as a coding problem. Strings are naturally first-class citizens.
▸ can be rigorously verified by theorem provers like Lean, rather than relying on empirical results.
▸ does not require physical experiments like biology & medicine. Robotics isn't ready yet.
We are already seeing big progress:
▸ LeanDojo (https://t.co/iI3t1Shgzq) from my colleagues @NVIDIAAI & @Caltech is among the first steps towards this grand challenge.
▸ Last year, OpenAI used Lean to solve some math olympiad problems: https://t.co/B5mceHcUz5
▸ ChemCrow is another example, but for chemistry. It integrates GPT-4 with professional tools like molecular synthesis planner and reaction prediction: https://t.co/fyZfDu9PpD
▸ Terrance Tao's blog: https://t.co/Gz86iy61Sy
L'intelligenza artificiale non esiste in natura ma è una costruzione dell'uomo. Quindi il tema siamo noi. Da leggere @Daniele_Manca e Gianmario Verona oggi sul @Corriere. Servono consapevolezza, studio, responsabilità, buona comunicazione. Da parte di tutti. Tutti! #4giugno