but, yes, mostly current LLMs are bad and sloppy when it comes to writing fully correct proofs. i expect this to be pretty temporary and to improve quickly with better prompting and models. grok 3…

Posters: QiaochuYuan. QiaochuYuan

4 likes recorded by the source corpus.