来自 Alexander Doria（@Dorialexander）的推文线程

这或许意味着普特南基准测试在数学LLM领域时代的终结。如今，要想找到更好、更多样化的评估方法，我目前还没有找到合成基准测试的替代方案，而这将会非常困难。