Comment by William_BB
2 months ago
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.
2 months ago
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.
AI is great at reducing the search space and using human-like reasoning (in a brute-force way) to carry out the brute-force search. I'm not surprised by this result. This is exactly what AI should excel at, with human guidance.
"using human-like reasoning (in a brute-force way)"
that's self-contradictory -- what brute force means is doing an exhaustive search of a search space (brute forcing it)
using human-like(?) reasoning means cutting down the search space by having some sort of insight or intuition which allows you to prune branches from the entire tree
21 replies →