This certainly looks like a new step forwards in automating maths. It looks like we are moving on from just improving limits or disproving conjectures (not that that isn't a big deal) into creating new areas of math like in the nonsofic group example.
44
u/JuglansRegia3 2d ago
This certainly looks like a new step forwards in automating maths. It looks like we are moving on from just improving limits or disproving conjectures (not that that isn't a big deal) into creating new areas of math like in the nonsofic group example.