> Math is not solved nor has the human been kicked out of the loop. Same with programming.
Is it like Chess and Go? There are still plenty of people playing for fun, but the machines are better at it than we are.
Nah, see my other comment in this thread with actual technical issues with the math dump and how math =/= deduction
Nah, see my other comment in this thread with actual technical issues with the math dump and how math =/= deduction