[HN Gopher] Learning Mathematical Properties of Integers
       ___________________________________________________________________
        
       Learning Mathematical Properties of Integers
        
       Author : Anon84
       Score  : 48 points
       Date   : 2021-09-18 12:40 UTC (10 hours ago)
        
 (HTM) web link (arxiv.org)
 (TXT) w3m dump (arxiv.org)
        
       | vincent-toups wrote:
       | Crazy, I just recommended this exact approach to a student in my
       | data science class.
        
       | dr_dshiv wrote:
       | It's like, so Pythagorean
        
       | C-x_C-f wrote:
       | From the paper:
       | 
       | > 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
        
       ___________________________________________________________________
       (page generated 2021-09-18 23:02 UTC)