| ▲ | AlexErrant 5 hours ago | |
Even Lean has bugs. > AI "Proves" Collatz Conjecture with Lean 4 Bug | ||
| ▲ | drdrey 4 hours ago | parent [-] | |
of course it does, but it's still the best thing we have | ||
| ▲ | AlexErrant 5 hours ago | |
Even Lean has bugs. > AI "Proves" Collatz Conjecture with Lean 4 Bug | ||
| ▲ | drdrey 4 hours ago | parent [-] | |
of course it does, but it's still the best thing we have | ||