Has AI made any progress as a mathematical theory-builder,,,,? (mathoverflow.net)

1 points by jjgreen 4d ago ↗ HN

2 comments

[ 3.9 ms ] story [ 12.1 ms ] thread

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