On the existence of non-sofic groups
OpenAI's paper claiming ten advances in mathematics, including a proof of the existence of a non-sofic group, relied on a 2019 paper by Andreas Thom and Gábor Kun in its crucial Proposition 2.3, Thom …
OpenAI's paper claiming ten advances in mathematics, including a proof of the existence of a non-sofic group, relied on a 2019 paper by Andreas Thom and Gábor Kun in its crucial Proposition 2.3, Thom …
Mathematician Andreas Thom accused OpenAI of "dishonesty" and a lack of transparency over whether his prior interactions with ChatGPT contributed to the company's non-sofic groups result, one of 10 ma…
Andreas Thom, a group theorist at TU Dresden, publicly accused OpenAI of giving him a misleading answer about whether his private ChatGPT conversations were used in training data for the Astra model's…
In late May, an unreleased OpenAI reasoning model disproved Paul Erdős's 1946 unit distance conjecture, finding a construction that beats the square grid by a polynomial margin, with the exponent late…