Some of the advances regarding bounded gaps between primes following Zhang's proof were using computers and computations quite substantially. This applies to progress in polymath8, to Meynard's paper, and to progress in polymath8b. See this paperthis paper for a general perspective of these advances.
Martin Sleziak
- 4.7k
- 4
- 35
- 40