20 stories tagged with #conjecture, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Conjecture"
The Maxwell conjecture is false. Counterexample found by AI (GPT-5.6 Sol)
AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug
Okay, we have a new contender for Most AI Thing to Ever Happen 1) July 25th: someone messes around with an LLM and posts a proof of the Collatz conjecture that does, in fact, veri…
A Simplified View of the Jacobian Conjecture
The full conjecture is stated over abstract fields, but the counterexample is a concrete 3D function that we can explain and visualize using familiar geometric ideas and a little a…
Theo Conjecture solves 35-year-old math problem, finds a term no one predicted
Jul 29, 2026 An automated discovery system built at FirstPrinciples by Randy Davila has proven a 1989 prediction by Paul Erdős and William Staton linking prime numbers to the Riema…
AI "Proves" Collatz Conjecture with Lean 4 Bug
So, someone came up with an AI-generated formal proof, in Lean, of a solution to the Collatz problem, and it turned out that the “proof” was merely exploiting a bug in the Lean ker…
A.I. Disproves a Decades-Old Mathematical Idea, the 'Biggest Conjecture' That the Tech Has Played a Role in Yet
A mathematician announced that he used one of Anthropic's A.I. models to find a counterexample to a problem called the Jacobian conjecture. While experts consider it a milestone, t…
Jacobian Conjecture Refutation Reveals a Structural Limit of AI Interpretability
How recent breakthroughs reveal the fundamental limits of corralling frontier AI…
Humans have disproved the sum-product conjectures for real numbers
We disprove the sum-product conjecture for real numbers by constructing arbitrarily large $A\subset \mathbb{R}$ (whose elements are algebraic integers in a number field of degree $…
OpenAI Model Disproves Erdős Planar Unit Distance Conjecture - Let's Data Science
Comprehensive up-to-date news coverage, aggregated from sources all over the world by Google News.…
AI solves 80-year-old math conjecture for under $1000
OpenAI model disproves Erd\u000151s planar unit distance conjecture - Let's Data Science
Comprehensive up-to-date news coverage, aggregated from sources all over the world by Google News.…
Hydrogen puts quantum wormhole conjecture to the test
A new Physical Review Letters study places constraints on the ER = EPR conjecture, showing that under the authors' assumptions, the conjecture would imply possible alterations to t…
Monumental Proof Settles Geometric Langlands Conjecture
In work that has been 30 years in the making, mathematicians have proved a major part of a profound mathematical vision called the Langlands program.…
AI Proves Mathematicians Wrong
An OpenAI AI has brought mathematics one step closer to solving a famous Erdős problem. Researchers have been stuck on this for 80 years.…
Wheels of Gold & the Dark Star Constructive Resolutions of the Erdős–Straus and Goldbach Conjectures, the Zera Hierarchy, and Effectively Infinite Tokenization
Google DeepMind’s AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures
Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal verification, with implications for crypto security.…
An OpenAI model has disproved a central conjecture in discrete geometry - OpenAI
Comprehensive up-to-date news coverage, aggregated from sources all over the world by Google News.…
OpenAI says an internal general-purpose reasoning model has disproved the Erdős unit distance conjecture, a central problem in discrete geometry posed in 1946 (OpenAI)
OpenAI : OpenAI says an internal general-purpose reasoning model has disproved the Erdős unit distance conjecture, a central problem in discrete geometry posed in 1946 — Read the p…
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.…
From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
Automated proving of polynomial inequalities is a fundamental challenge in automated mathematical reasoning, where rich algebraic structure and a rapidly growing certificate search…