Skip to main content

All Questions

Filter by
Sorted by
Tagged with
53 votes
1 answer
9k views

What mathematical problems can be attacked using DeepMind's recent mathematical breakthroughs?

I am a research mathematician at a university in the United States. My training is in pure mathematics (geometry). However, for the past couple of months, I have been supervising some computer science ...
Ryan Hendricks's user avatar
102 votes
17 answers
16k views

Theorems that are essentially impossible to guess by empirical observation

There are many mathematical statements that, despite being supported by a massive amount of data, are currently unproven. A well-known example is the Goldbach conjecture, which has been shown to hold ...
72 votes
13 answers
11k views

The use of computers leading to major mathematical advances II

I would like to ask about recent examples, mainly after 2015, where experimentation by computers or other use of computers has led to major mathematical advances. This is a continuation of a question ...
92 votes
11 answers
15k views

What are possible applications of deep learning to research mathematics?

With no doubt everyone here has heard of deep learning, even if they don't know what it is or what it is good for. I myself am a former mathematician turned data scientist who is quite interested in ...
18 votes
8 answers
1k views

Conceptual insights and inspirations from experimental and computational mathematics [duplicate]

I am interested in whether experiments on computers can help identifying new ideas or concepts in Mathematics. I am not talking about confirming particular conjectures up to certain numbers (for ...
2 votes
0 answers
120 views

Conjectures that can be tested with large numbers of Hecke eigenvalues of GSp(4) automorphic forms

As part of my thesis work I have proved Ibukiyama's conjecture implies something about $\mathrm{SO}(5)$ forms associated to certain lattices lifting to $\mathrm{GSp}(4)$ (This was originally a ...
19 votes
6 answers
2k views

Which journals publish experimental results in pure maths?

All pure mathematicians know that the goal is to produce insight, rather than to simply obtain results. However, it might sometimes be of value to disseminate largely empirical work. In the same ...
282 votes
47 answers
110k views

Examples of unexpected mathematical images

I try to generate a lot of examples in my research to get a better feel for what I am doing. Sometimes, I generate a plot, or a figure, that really surprises me, and makes my research take an ...
37 votes
12 answers
3k views

Interesting conjectures "discovered" by computers and proved by humans?

There are notable examples of computers "proving" results discovered by mathematicians, what about the opposite: Are there interesting conjectures "discovered" by computers and proved by humans? ...
156 votes
52 answers
24k views

Experimental mathematics leading to major advances

I would like to ask about examples where experimentation by computers has led to major mathematical advances. A new look Now as the question is five years old and there are certainly more examples of ...