Three papers claiming to solve a case of the Hodge conjecture reportedly withdrawn

A user says three connected papers claiming to solve a case of the Hodge conjecture were withdrawn after a sign error in one invalidated its argument and the other two. The user argues that subscription LLMs could have caught the error and calls the work’s checking irresponsible, while describing LLMs as valuable tools for mathematics.