@gdb: congrats on the amazing result!
Summary
David Turturean solved a 40-year-old open problem in p-adic Galois theory using voice input, in collaboration with problem proposer David Roe, under EpochAI Research's FrontierMath initiative.
View Cached Full Text
Cached at: 07/28/26, 08:28 AM
congrats on the amazing result!
David Turturean (@DavidTurturean): Using mostly my voice, I solved one of @EpochAIResearch’s FrontierMath Open Problems: finding an explicit presentation of the 2-adic Absolute Galois Group - open for more than forty years, now with a full proof in collaboration with David Roe, the problem’s proposer. 🧵 1/n
Similar Articles
@gdb: GPT-5.6 Sol for resolving 100+ year old conjectures. Wild that this level of intelligence can be accessed by and is ava…
GPT-5.6 Sol reportedly found a counterexample to the Maxwell conjecture, a 100+ year old problem, with human mathematicians communicating the result.
@gdb: Sol Ultra for solving Erdős problems:
GPT-5.6 Sol Ultra has solved another Erdős problem (#793) with an extremely short and elegant construction, enhancing the original method used by Erdős.
@wtgowers: I've recently got in on the act of getting AI to solve open problems in mathematics. More precisely, I gave some questi…
Tim Gowers reports using ChatGPT 5.5 Pro to attempt to solve open mathematical problems posed by Melvyn Nathanson.
Another 50+ year-old Erdős problem falls to GPT-5.6
GPT-5.6 has solved another 50+ year-old unsolved problem posed by mathematician Paul Erdős, showcasing a major leap in AI's mathematical reasoning capabilities.
OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI claims its new reasoning model autonomously produced an original mathematical proof disproving an 80-year-old unsolved geometry conjecture by Paul Erdős, marking the first time AI has solved a prominent open problem central to a field of mathematics.