blog — Terence Tao — 30 Sep 2026
Two reports
#ai-mathematics #mathematical-problem-solving #research-policy
A brief post to note two reports that just came out: The Advisory Group on Mathematics and Artificial Intelligence (AGMAI) has posted its general recommendations to AI companies with regards to generation of solutions to mathematical problems. A working group report “AI and TCS: The Next Six Months” arising from a two-day event at the […]