4 Oct
2020
4 Oct
'20
11:09 a.m.
=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?