年兰德尔（lander）与帕金（parkin）利用计算机寻找欧拉猜想的反例。他们找到了27^5 + 84^5 + 110^5 + 133^5 = 144^5。
1966年艾伦·贝克（alan baker）证明了“格尔丰德猜想”，它是关于有理数域上代数数的线性独立性。
1967年阿蒂亚（atiyah）发表了《k理论》（k-theory），详述了他关于k理论的工作和指标定理，而之前此工作让他获得了1966年的菲尔兹奖。
1968年诺维科夫（novikov）与阿迪安（adian）联合发表了一个证明，证明了对于d1与n4380，伯恩赛德群b(d， n)是无限的。
1969年康威（nway）发表了他的新的零散有限单群的发现。
1970年艾伦·贝克（alan baker）由于他在丢番图方程的工作获得菲尔兹奖。
1970年马季亚谢维奇（matiyasevich）证明了“希尔伯特第10问题”不可解，即没有通用方法判定一个多项式方程是否有整数解。
1971年史蒂芬·库克（stephen ok）提出了有关多项式时间算法的p vs np问题。
1972年托姆（thom）发表了《结构稳定性与形态发生学》（structural stability and morphogenesis），解释了突变理论。这个理论研究了渐变力导致突变的情况，在光学与生物学有重要应用。
1972年奎伦(quillen)阐述了高阶代数k理论，它是一个新工具，使用几何与拓扑的方法与思想来描述与解决代数中的重要问题，特别是环论与模论。
1973年德林（deligne）证明了三个“韦伊猜想”。
1973年陈景润证明了每个充分大的偶数可表为一个素数与一个不超过两个素数的乘积之和。它是对哥德巴赫猜想的重要贡献。
1974年芒福德（mumford）由于代数簇的工作获得菲尔兹奖。
1975年费根鲍姆（feigenbaum）发现了一个新的常数，约等于4.669201609102...，它涉及倍周期分岔，在混沌理论中起着重要作用。
1975年曼德博（mandelbrot）出版了《分形学：形态，概率和维度》（les objets fractals， forme， hasard et dimension），描述了分形理论。
1976年拉卡托什（lakatos）的著作《证明与反驳》（proofs and refutations）在他去世两年后发表。首次在1963-64年分4部分发表，这部著作给出了拉卡托什关于数学如何发展的阐述。