This is why I left math even after solving a 20 year old conjecture in grad school. Literally who cares who solved the problem just publish the results. Academia was always politics first results second and I AM GLAD that LLMs are becoming superhuman at math. I like better theorems, not better politics.
Uh but here we have non-academics at for-profit companies playing politics, and the academic they're threatening being kind and overly generous?
It seems like OpenAI heard of the rumor and then scooped them because their internal model is better/they have more compute. OpenAI has NO obligation to mention Tristan nor Levent, because they DID NOT steal their data.