Marc, thanks for pointing out this article (for the second time, I know, but I overlooked it the first time): Lample and Charton, (from FaceBook AI Research) "Deep Learning for Symbolic Mathematics" https://arxiv.org/pdf/1912.01412.pdf It looks extremely relevant. When I've digested it I might talk to them about applying their methods to number sequences. By the way, Eric Desbiaux pointed out this article: Kevin Hartnett, in Quanta Magazine Oct 01 2020 https://www.quantamagazine.org/building-the-mathematical-library-of-the-futu... Building the Mathematical Library of the Future which also seems relevant Best regards Neil Neil J. A. Sloane, President, OEIS Foundation. 11 South Adelaide Avenue, Highland Park, NJ 08904, USA. Also Visiting Scientist, Math. Dept., Rutgers University, Piscataway, NJ. Phone: 732 828 6098; home page: http://NeilSloane.com Email: njasloane@gmail.com On Sun, Oct 4, 2020 at 1:09 PM Marc LeBrun <mlb@well.com> wrote:
=Neil Sloane Why not use AI to strengthen Superseeker?, I keep saying
Indeed. Want to mention this again, for anyone who might pursue this further:
"Deep Learning for Symbolic Mathematics" https://arxiv.org/pdf/1912.01412.pdf
Not necessarily the answer, but perhaps it may inspire something interesting?
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun