6 ms·
What would be the point of that though? I think the reason Kevin wants to optimize it is for the understanding that will result from the process, not because an
by maths_math 7d ago
What would be the point of that though? I think the reason Kevin wants to optimize it is for the understanding that will result from the process, not because anyone cares about having a Lean proof that compiles quickly...
- jchanimal 7d agoThen run the annealer and learn from the result.
- andrewchambers 7d agoI was replying to the comment about it being slow to run. I wasn't commenting on understanding it.