As of now, no models have solved a Millennium Prize Problem[1].
1. https://mppbench.com/
This is the real Litmus test isn't it? There will be a deafening silence from critics when AI decides P vs NP.
Most Fields medals winners haven't either, except one.
This is the real Litmus test isn't it? There will be a deafening silence from critics when AI decides P vs NP.