Shouqiao Wang on Twitter / X

I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol.I have a math background, but the Codex workflow I used does not require deep mathematical knowledge.Here’s exactly how I approached it, including my prompts 🧵— Shouqiao Wang (@Qiaoqiao2001) July 22, 2026

AI contributions to Erdős problems

A community database for the problems on the erdosproblems.com site - teorth/erdosproblems

The Jacobian Conjecture is False Per Anthropic (Link in Description)

945 votes, 354 comments. Normally I would be extremely skeptical, but the result is checkable by simple computation. Remarkable! The two-dimensional…

Ten advances in mathematics and theoretical computer science

OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.

An OpenAI model has disproved a central conjecture in discrete geometry

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.

OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems

Math is hard.

the void — LessWrong

Comment by nostalgebraist - Thanks for the reply!  I'll check out the project description you linked when I get a chance. [...] Yeah, I had mentally flagged this as a potentially frustrating aspect of the post – and yes, I did worry a little bit about the thing you mention in your last sentence, that I'm inevitably "reifying" the thing I describe a bit more just by describing it. FWIW, I think of this post as purely about "identifying and understanding the problem" as opposed to "proposing solutions."  Which is frustrating, yes, but the former is a helpful and often necessary step toward the latter. And although the post ends on a doom-y note, I meant there to be an implicit sense of optimism underneath that[1] – like, "behold, a neglected + important cause area that for all we know could be very tractable! It's under-studied, it could even be easy!  What is true is already so; the worrying signs we see even in today's LLMs were already there, you already knew about them – but they might be more amenable to solution than you had ever appreciated!  Go forth, study these problems with fresh eyes, and fix them once and for all!" I might write a full post on potential solutions sometime.  For now, here's the gist of (incomplete, work-in-process) thoughts. ---------------------------------------- In a recent post, I wrote the following (while talking about writing a Claude 4 Opus prompt that specified a counterfactual but realistic scenario): [...] And I feel that the right way to engage with persistent LLM personas is basically just this, except generalized to the fullest possible extent. "Imagine the being you want to create, and the kind of relationship you want to have (and want others to have) with that being. "And then shape all model-visible 'context' (prompts, but also the way training works, the verbal framing we use for the LLM-persona-creation process, etc.) for consistency with that intent – up to, and including, authentically acting out that 'relationship you want to have' w

Timothy Gowers @wtgowers on Twitter / X

AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.https://t.co/SD1vVPkrHR— Timothy Gowers @wtgowers (@wtgowers) May 20, 2026

Przemek Chojecki | PC on Twitter / X

The Growing Map of Open Mathematical Problems.We mapped 15,000+ conjectures from UnsolvedMath to show potential links between concepts.It also shows how under formalized the frontier is (less than 10%). pic.twitter.com/nm0PCpXVPf— Przemek Chojecki | PC (@prz_chojecki) August 28, 2026