Comment

Comment by procedurecall

Short explanation from Proofs and Prompts [1]:

A new preprint of Alexander Borisov, Ofer Gabber, and Adrian Vasiu has been making the rounds, amongst other things for the AI statement of the third author (on page 160 (!) ). In it, they raise questions about the inclusion of a previous version of this work in training data for frontier models, and how it might have led to the discovery of a counterexample to the Jacobian conjecture. See this AI-produced summary [2] of how the Jacobian counterexample paper could relate to their preprint.

[1] https://proofsandprompts.com/newsfeed/

[2] https://people.math.binghamton.edu/adrian/AI.pdf

No comments yet

Be the first to share your thoughts.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton