Learning Mathematical Properties of Integers
arxiv.org
arxiv.org
> While human aptitude questions focus on a specific range of patterns that are relatively easy for people to identify, we also want to test the predictive abilities on the OEIS test set sequences which showcase more sophisticated phenomena. The LSTM embeddings yield higher accuracy in that case.
Pretty cool to think that we might be able to use computers to spot elusive patterns in sequences in the (not too distant?) future. Kinda feels like asking an alien for help with a tricky problem on a math problem set. Many fascinating areas of math research originated from spotting patterns in sequences (best example I can think of is how the monstrous moonshine was discovered [1]); it would be nice to have a 'sixth sense' of sorts to help with that.
I don't know much about ML but I'd be interested to see if this ever gets applied to slightly more abstract mathematical objects like group presentations, knots/links, (co)homology groups—but I guess none of those have training sets even comparable to the OEIS...
[1] https://en.wikipedia.org/wiki/Monstrous_moonshine#History