Viewing profile — maths_math

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 hav…

> humans don't need to be involved in scientific advances to benefit. I agree with you on this point in isolation, but I think it's missing an enormous amount of context. Humans ca…

As I've commented elsewhere in this thread - if your goal is really to have people use LLMs to further mathematical understanding for humanity, instead of to brag about "solving" o…

Steam engines actually replaced what a horse does with a machine that could do the same job. So far LLMs aren't doing this - they're producing Lean proofs but very little to actual…

> If the value on the other hand comes from people being extremely good at math, rather than from them solving novel open problems, then we should pay them to do that, which is ind…