#I would like to ask about examples where experimentation by computers have led to major mathematical advances. ## A new look Now as the question is **five years old** and there are certainly **more examples** of mathematical advances via computer experimentation of various kinds, I propose to consider contributing new answers to the question. ##Motivation I am aware about a few such cases and I think it will be useful to gather such examples together. I am partially motivated by the recent [polymath5][1] which, at this stage, have become an interesting experimental mathematics project. So I am especially interested in examples of successful "mathematical data mining"; and cases which are close in spirit to the experimental nature of polymath5. My experience is that it can be, at times, very difficult to draw useful insights from computer data. ##Summary of answers according to categories (Added Oct. 12, 2015) To make the question a useful resource (and to allow additional answers), here is a quick summery of the answers according to categories. (Links are to the answers, and occasionally to an external link from the answer itself.) <strong>1) Mathematical conjectures or large body of work arrived at by examining experimental data - Classic</strong> [The Prime Number Theorem][2]; [Birch and Swinnerton-Dyer conjectures][3]; [Shimura-Taniyama-Weil conjecture][4]; [Zagier's conjectures on polylogarithms][5]; [Mandelbrot set][6]; <a href="http://en.wikipedia.org/wiki/Glider_gun">Gosper Glider Gun</a> ([answer][7]), [Lorenz attractor][8]; <a href="http://www.olimu.com/notes/ChebyshevsBias.htm" rel="nofollow">Chebychev's bias</a> ([asnwer][9]) ; [the Riemann hypothesis][10]; the [discovery of the Feigenbaum constant][11]; (related) [Feigenbaum-Coullet-Tresser universality and Milnor's Hairiness conjecture][12] (NEW); [Solving numerically the so-called Fermi--Pasta--Ulam chain and then of its continuous limit, the Korteweg--de Vries equation][13] <strong>2) Mathematical conjectures or large body of work arrived at by examining experimental data - Current</strong> "[Maeda conjecture][14]"; [the work of Candès and Tao on compressed sensing][15]; Certain [Hankel determinants][16]; <a href="http://en.wikipedia.org/wiki/Weaire%E2%80%93Phelan_structure" rel="nofollow">Weari-Phelan structure;</a> the [connection of multiple zeta values to renormalized Feynman integrals][8]; [Thistlethwaite's discovery][17] of links with trivial Jones polynomial; The <a href="http://en.wikipedia.org/wiki/Monstrous_moonshine"><span style="color: #0066cc;">Monstrous Moonshine;</span></a> (NEW:) [McKay's account on experimentation leading to mysterious "numerology" regarding the monster.][18] ([link to the answer][19]); Haiman <a href="http://math.berkeley.edu/~mhaiman/ftp/diagonal/diagonal.pdf"><span style="color: #0066cc;">conjectures on the quotient ring by diagonal invariants</span></a> <strong>3) Computer-assisted proofs of mathematical theorems</strong> Kepler's conjecture ; [a new way to tile the plane][9] with a pentagon: [advances regarding bounded gaps between primes][20] following Zhang's proof; Cartwright and Steger's work on [fake projective planes][21]; the Seifert-Weber [dodecahedral space is not Haken][22]; [the four color theorem, the proof of the nonexistence of a projective plane of order 10;][23] [Knuth's work][24] on a class of projective planes; The search for Mersenne primes; <a href="http://www.math.brown.edu/~res/"><span style="color: #0066cc;">Rich Schwartz</span></a>'s [work][25]; [The computations done by the 'Atlas of Lie groups'][26] software of Adams, Vogan, du Cloux and many other; [Cohn-Kumar proof][11] for the densest lattice pacing in 24-dim; [Kelvin's conjecture][27]; <strong>4) Computer programs that interactively or automatically lead to mathematical conjectures.</strong> [Graffiti][28] <strong>5) Various computer programs which allow proving automatically theorems or generating automatically proofs in a specialized field.</strong> Wilf-Zeilberger formalism and software; [FLAGTOOLS][29] <strong>6) Computer programs (both general purpose and special purpose) for verification of mathematical proofs.</strong> [The verification of a proof of Kepler's conjecture.][30] <strong>7) Large databases and other tools</strong> Sloane's online encyclopedia for integers sequences; the <a href="http://oldweb.cecm.sfu.ca/projects/ISC/ISCmain.html"><span style="color: #0066cc;">inverse symbolic calculator</span></a>. <strong>8) Resources:</strong> Journal of experimental mathematics; [Herb Wilf][31]'s <a href="https://www.math.upenn.edu/~wilf/website/Mathematics_AnExperimentalScience.pdf" rel="nofollow"><span style="color: #0066cc;"> article: Mathematics, an experimental science</span></a> in the Princeton Companion to Mathematics, genetic programming applications a fairly comprehensive website <a href="http://www.experimentalmath.info/"><span style="color: #0066cc;">experimentalmath.info</span></a> ; discovery and experimentation in number theory; Doron Zeilberger's classes called "experimental mathematics":<a href="http://www.math.rutgers.edu/~zeilberg/teaching.html" rel="nofollow"><span style="color: #0066cc;">math.rutgers.edu/~zeilberg/teaching.html</span></a>; <a href="http://en.wikipedia.org/wiki/Vladimir_Arnold"><span style="color: #0066cc;">V.I. Arnol'd's</span></a> two books on the subject of experimental mathematics in Russian, <a href="http://www.ozon.ru/context/detail/id/3249521/"><em><span style="color: #0066cc;">Experimental mathematics</span></em></a>, Fazis, Moscow, 2005, and <a href="http://biblio.mccme.ru/node/1889"><em><span style="color: #0066cc;">Experimental observation of mathematical facts</span></em></a>, MCCME, Moscow, 2006 <strong>Answers with general look on experimental mathematics: </strong> [Computer experiments allow new avenues for productive strengthening of a problem][24] (A category of experimental mathematics). _________________________ ###Bounty: There were many excellent answers so let's give the bounty to Gauss... Related question: http://mathoverflow.net/questions/23982/where-have-you-used-computer-programming-in-your-career-as-an-applied-pure-math, http://mathoverflow.net/questions/68442/what-could-be-some-potentially-useful-mathematical-databases; http://mathoverflow.net/questions/95776/results-that-are-easy-to-prove-with-a-computer-but-hard-to-prove-by-hand ; http://mathoverflow.net/questions/233483/what-advantage-humans-have-over-computers-in-mathematics [1]: http://gowers.wordpress.com/2010/01/16/the-erds-discrepancy-problem-v/ [2]: http://mathoverflow.net/a/12206 [3]: http://mathoverflow.net/a/12090 [4]: http://mathoverflow.net/a/123335 [5]: http://mathoverflow.net/a/58678 [6]: http://mathoverflow.net/a/14832 [7]: http://mathoverflow.net/a/37473 [8]: http://mathoverflow.net/a/17190 [9]: http://mathoverflow.net/a/216002 [10]: http://mathoverflow.net/a/23081 [11]: http://mathoverflow.net/a/13023 [12]: http://mathoverflow.net/a/219152/1532 [13]: http://mathoverflow.net/a/12087 [14]: http://mathoverflow.net/a/123342 [15]: http://mathoverflow.net/a/42197 [16]: http://mathoverflow.net/a/37515 [17]: http://mathoverflow.net/a/13290 [18]: http://mathoverflow.net/a/220632/1532 [19]: http://mathoverflow.net/a/12189 [20]: http://mathoverflow.net/a/198721 [21]: http://mathoverflow.net/a/16732 [22]: http://mathoverflow.net/a/12157 [23]: http://mathoverflow.net/a/12125 [24]: http://mathoverflow.net/a/17181 [25]: http://mathoverflow.net/a/12107 [26]: http://mathoverflow.net/a/12216 [27]: http://mathoverflow.net/a/27298 [28]: http://mathoverflow.net/a/216222 [29]: http://mathoverflow.net/a/13062 [30]: http://mathoverflow.net/a/216078 [31]: http://mathoverflow.net/a/12155