| ▲ | lumost an hour ago | |
How do you know the lean is correct? You don’t bet the two trillion dollar company on “the ai said so” | ||
| ▲ | adrianN 13 minutes ago | parent [-] | |
You carefully check that the problem is formalized correctly and then trust the Lean machinery to check the proof. | ||