not particularly important but funny: i noticed last night that this technically resolves an open mathoverflow question from 2013, asking whether the jacobian conjecture is decidable…

Posters: QiaochuYuan. QiaochuYuan

2 likes recorded by the source corpus.