| ▲ | devy 6 hours ago | |
Generating Lean proof is much harder and time consuming so these errors made were probably discovered during Lean proof stage. | ||
| ▲ | sashank_1509 4 hours ago | parent [-] | |
These errors were discovered by human mathematicians | ||
| ▲ | devy 6 hours ago | |
Generating Lean proof is much harder and time consuming so these errors made were probably discovered during Lean proof stage. | ||
| ▲ | sashank_1509 4 hours ago | parent [-] | |
These errors were discovered by human mathematicians | ||