2 points | by jjgreen 8 hours ago ago
2 comments
That is very interesting, haven’t thought about that and now I only remember AI solving math problems
Full title: Has AI made any progress as a mathematical theory-builder, rather than just a problem-solver?
That is very interesting, haven’t thought about that and now I only remember AI solving math problems
Full title: Has AI made any progress as a mathematical theory-builder, rather than just a problem-solver?