NewsHive
CONTACT USANALYST PORTAL →
aivibe_codingBACKGROUND

An OpenAI model has disproved a central conjecture in discrete geometry

BACKGROUND
9 SIGNALSFIRST DETECTED 20 May 2026
Narrative synthesis pending — 9 signals collected.
How the story developed
22 Jul
The Dinitz-Garg-Goemans conjecture is false
OPINION · WHAT · singularity
Other feeds and industry voices
11 May
Fields medal-winning mathematician says GPT-5.5 is now solving open math problems at PhD-thesis level: "We will face a crisis very soon."

<table> <tr><td> <a href="https://www.reddit.com/r/OpenAI/comments/1ta14o8/fields_medalwinning_mathematician_says_gpt55_is/"> <img alt="Fields medal-winning mathematician says

OPINION · WHO · OpenAIOPEN STORY
14 Oct
GPT-6 Astra autonomously solves 49 out of 50 unpublished theoretical physics research problems, scoring 98% at under $3 per problem. Researchers initially marked several answers wrong, only to discover the AI had caught errors in the calculations of world-class physicists.

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1x5y9ue/gpt6_astra_autonomously_solves_49_out_of_50/"> <img alt="GPT-6 Astra autonomously solves 49 out of

OPINION · WHAT · singularityOPEN STORY
29 Jul
AI system 'Theo Conjecture' solves 35-year-old math conjecture, finds a term no one predicted

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1va7ydp/ai_system_theo_conjecture_solves_35yearold_math/"> <img alt="AI system 'Theo Conjecture' solves

OPINION · WHAT · singularityOPEN STORY
6 Oct
For 31 years, mathematicians couldn’t finish this proof. The new paper says ChatGPT found most of the ideas and proofs behind a problem tied to efficient computer search and sampling, while the authors mostly worked to understand and explain it.

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1wyxdtu/for_31_years_mathematicians_couldnt_finish_this/"> <img alt="For 31 years, mathematicians couldn’t

OPINION · WHO · singularityOPEN STORY
20 May
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

OPINION · WHO · TechCrunchOPEN STORY
11 Sept
Let me get this straight: Mathematics community responds to AI by threatening the participants, most of them are just students?

<!-- SC_OFF --><div class="md"><p>On September 10, mathematicians published an open letter demanding the cancellation of the Caltech Mathathon, a student-run hackathon where 100

OPINION · WHERE · singularityOPEN STORY
28 May
Using the results of erdos unit distance problem,mathematicians disprove a long standing mathematics conjecture.

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1tq57dw/using_the_results_of_erdos_unit_distance/"> <img alt="Using the results of erdos unit distance

OPINION · HOW · singularityOPEN STORY
13 Sept
Claimed proof of the Komlós conjecture using AI

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1wf8030/claimed_proof_of_the_komlós_conjecture_using_ai/"> <img alt="Claimed proof of the Komlós conjecture

OPINION · HOW · singularityOPEN STORY
Sources
singularity×2OpenAI×2ChatGPT×2ArtificialInteligenceTechCrunch AIHacker News Best (RSS)

NewsHive monitors these sources continuously. All signal titles above link to the original reporting.

Intelligence by NewsHive. Need help navigating what this means for your business? Contact GeekyBee →