Comment by qnleigh
5 days ago
Actually here's an even better list of progress on a number of open math problems, with plenty of caveats and exposition:
https://github.com/teorth/erdosproblems/wiki/AI-contribution...
5 days ago
Actually here's an even better list of progress on a number of open math problems, with plenty of caveats and exposition:
https://github.com/teorth/erdosproblems/wiki/AI-contribution...
This is great observational data but it's an early "step 1", I'd definitely need to see an actual analysis of these cases and likely want to have that analysis involve a review of relevant training data.
What you're asking for is exactly what's in the link you replied about. It collects analysis of each solution (or attempt), and info about whether the AI's solution could be found anywhere in the literature.
Where?
3 replies →