PutnamBench 排行榜上的新领袖!现在接近饱和,下一大目标将是优化相同证明性能的成本!祝贺 Logical Intelligence 团队!