目录

关于希尔伯特第16问题——我国数学工作者的新贡献1

关于黎曼猜想∥7

素数与零点—黎曼假设研究概况∥14

关于费马大定理∥2

费马大定理终于获得证明∥28

几何定理的机器证明∥34

一个古老的梦实现了!—几何定理机器证明的吴法浅谈∥39

几何问题的机器求解∥51

数学的新成果59

阿罗不可能定理溯源∥72

群体决策的不可能性定理和多数规则∥78

漫话扭结、链环及其数学∥84

莫德尔猜想解决了∥93

数学规划理论的三颗明珠∥97

斯坦纳和柯克曼三元系及大集问题∥104

个古老猜想的意外证明∥118

有限单群及其分类—历史和现状∥122

有限单群分类的三代证明∥136

举例子能证明几何定理吗?∥144

倒向随机微分方程和金融数学∥158

开普勒猜想:历史与现状∥166

扫雷高手的百万大奖之梦∥174

潘勒韦猜想与N体问题∥182

斯坦纳树问题及其推广∥188

庞加莱猜想∥196

破解百年难题“李群E3的表示”∥203

编辑手记∥210