According to gdb, OpenAI achieved super linear unit distances in Erdős’s 1946 problem, with delta≈0.014 per Will Sawin, signaling a math milestone.

According to OpenAI... an OpenAI model disproved grid-like optima in the planar unit distance problem, challenging 80 years of assumptions.

According to @OpenAI, GPT-5.4 Pro helped solve a 60-year Erdős problem, signaling faster theorem discovery and new math research workflows.

According to Greg Brockman on X, citing Haider’s post, mathematician Terence Tao commented that the AI-generated paper using GPT-5.4 Pro on Erdős problem #1196 may have made a meaningful contribution by revealing a deeper mathematical connection beyond the specific solution, highlighting potential for AI to surface new structures in research workflows (as reported by Greg Brockman and Haider on X). According to Tao’s quoted assessment, this indicates business opportunities for advanced foundation models in mathematical discovery tools, automated theorem proving assistants, and enterprise R&D acceleration where uncovering latent connections can drive differentiated IP and time-to-insight advantages (source: Greg Brockman on X referencing Haider’s post).