十年磨一剑：数学家破解百年猜想

两位数学家十年如一日地运行一个程序，最终破解了困扰数学界多年的“加性猜想”。他们利用自己构建的庞大数据库，通过对数百万个结的运算，找到了一个反例，推翻了这个猜想。这个故事展现了坚持和巧妙方法的威力，也说明了看似简单的数学问题背后可能隐藏着巨大的挑战。