3 ms·
Given that Tristan has said that the proofs that LLMs come up with are mostly "slop" and not up to the standard that human written papers achieve, maybe OpenAI
by nezi 25d ago
Given that Tristan has said that the proofs that LLMs come up with are mostly "slop" and not up to the standard that human written papers achieve, maybe OpenAI needs an expert like him more than you think to get the result published?
- fn-mote 25d agoAlmost certainly the Lean proof needs to be decoded for humans and probably also made “human intelligible”. Now maybe LLMs can also simplify arguments and make sense of them for humans, but we haven’t seen that yet (unaided). (I haven’t looked at it, personally.)
- nl 25d agoIt's a Navier Stokes solution. They don't need any help publishing.