Comment by rtkwe
1 hour ago
The other gap in AI is it doesn't explain or lay out how it got to the final proof which is often more fruitful for new techniques etc than the final proof by itself.
1 hour ago
The other gap in AI is it doesn't explain or lay out how it got to the final proof which is often more fruitful for new techniques etc than the final proof by itself.
Honestly, that's a weakness shared by a lot of human-generated science as well.