Two Reports

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 Simons Institute for the Theory of Computing.