alt Hacker NewsThere's a big difference between one shotting a counterexample using AI and using AI to find a counter-example by brute-force.
Both are impressive, of course, but they're hardly comparable.
There's a big difference between one shotting a counterexample using AI and using AI to find a counter-example by brute-force.
Both are impressive, of course, but they're hardly comparable.
I'm not so sure. People had been trying to use brute force to find counterexamples before.