4 ms·
Yesterday I was wondering if it's possible to have an AI that can "recreate" the mathematics as we know it, and even go further and explore unexplored paths. T
by logtempo 3y ago
Yesterday I was wondering if it's possible to have an AI that can "recreate" the mathematics as we know it, and even go further and explore unexplored paths.
Though prduced by a video explaining how AI helped to find optimization in the computation of matrix multiplication.
- jmj 3y agoI am working on that for my PhD!
- logtempo 3y agoHo, that's really cool! Sounds a bit like digging your own grave as mathematician but it must be very challenging
- 082349872349872 3y agoUnfortunately it's too late to give Theory Mine theorems named after your loved ones as gifts this year: https://www.theorymine.com/home https://www.theorymine.com/home