Tag
A chart summarizing recent math problems that AI models have successfully solved, highlighting progress in automated reasoning and symbolic mathematics.