Math Departments Urged to Secure Open AI Math Tools as Big Tech Interest Fades
Source Posts on X
As a former math major it's fascinating to see the progress in AI math. We need strong open source, community maintained AI math tools. Longstanding conjectures (beyond combinatorics) may now be AI math solvable but researchers need cost effective and auditable solvers for these
Companies fall out of love with research areas. I haven't heard much about big tech playing Go in years for example. Math departments need to make plans for supporting and securing access to open math tools
The Conversation on X
2 postsCompanies fall out of love with research areas. I haven't heard much about big tech playing Go in years for example. Math departments need to make plans for supporting and securing access to open math tools
As a former math major it's fascinating to see the progress in AI math. We need strong open source, community maintained AI math tools. Longstanding conjectures (beyond combinatorics) may now be AI math solvable but researchers need cost effective and auditable solvers for these