13 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"
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…