30多年的数学猜想，被AI发现了一个反例，就在刚刚，Meta、威斯康星大学麦迪逊分校、伍斯特理工学院、悉尼大学的几位学者提出PatternBoost，这种全新的方法可以在一些数学识题中寻觅幽默的结构，...