for some background, 1) the jacobian conjecture is by far the most famous open problem resolved by an LLM so far 2) it's also infamous for attracting wrong proofs so this is quite funny in a…

Posters: QiaochuYuan. QiaochuYuan

4 likes recorded by the source corpus.