recent-advances

一张总结近期AI模型成功解决的数学问题的图表，突出了自动推理和符号数学方面的进展。