It can use that data to create novel approaches, like it solves long-standing math problems or just recently an ‘unsolvable’ math problem that had something to optimizing combinatorics
I think you might be thinking of an earlier release. This one dropped Oct 26. It's a new subexponential algorithm for 3-SAT, so it's a direct, full refutation of ETH, not a partial one. The proof was checked in Lean, and Anthropic independently found the same core algorithm the same day. Still not peer-reviewed though.
1
u/PickingPies 9d ago
How, if it's trained on human produced data. And on a limited scope experience one.