alt Hacker NewsIf everything of this can be represented in Lean, with enough compute, they are low hanging fruits, yes
Replies
saikia81 • today at 9:28 AM
Mathematics is easy if you just brute force the problem domain is not what is happening here
If everything of this can be represented in Lean, with enough compute, they are low hanging fruits, yes
Mathematics is easy if you just brute force the problem domain is not what is happening here
So maybe everything is now low hanging fruit, with your definition.