| ▲ | phoghed 4 hours ago | |
I’m a non-math layman, and not a scientific method knower like yourself. How does one usually “replicate” a math or Lean proof? | ||
| ▲ | krupan an hour ago | parent | next [-] | |
It's the method they used to create the proof that's in question here. They claim their amazing product did it, and therefore you should buy their product because will do amazing things for you too! | ||
| ▲ | bordercases 4 hours ago | parent | prev | next [-] | |
Hopefully not in the same way you should never naively trust compilers! | ||
| ▲ | runarberg 4 hours ago | parent | prev [-] | |
The generation of the proof can be replicated. And if it can‘t we should be suspicious of their claims. | ||