Search: mathematics

A research laboratory featuring field, related to a major AI company Claims Its AI Has Disproved the Exponenti

OpenAI Claims Its AI Has Disproved the Exponential Time Hypothesis and Solved Two Other Major Scientific Problems

OpenAI says its AI models independently disproved the Exponential Time Hypothesis and produced two more major scientific results — findings that, if verified, would reshape computer science and mathematics.

Oct 28

$A newsroom related to a major AI company Publishes 722 AI-Generated Math Papers Fr$

AI News · 3 min read

OpenAI Publishes 722 AI-Generated Math Papers From an Unnamed Frontier Model

OpenAI pushed 722 mathematics manuscripts to GitHub under Apache 2.0, crediting an unnamed internal frontier model — days after Anthropic's Riemann zeta announcement sparked an open AI math race.

Oct 8

A newsroom related to an AI safety company's an AI assistant Raises Riemann Hypoth

AI News · 3 min read

Anthropic's Claude Raises Riemann Hypothesis Lower Bound to 67.2% Using 60 AI Subagents

Anthropic researchers deployed Claude over 60 specialized AI subagents to push the Riemann zeta function lower bound from 41.6% to 67.2% — the first verifiable AI contribution to one of mathematics' oldest unsolved problems.

Oct 8

$A research laboratory featuring fields, related to a major AI company Releases 722 Math Manuscripts From Secret$

Science & Research · 3 min read

OpenAI Releases 722 Math Manuscripts From Secret Frontier Model, Touches Three Millennium Prize Problems

OpenAI published 722 mathematics manuscripts from an unnamed internal frontier model — including work touching the Riemann hypothesis and two other unsolved Millennium Prize Problems.

Oct 8

$A research laboratory related to a social media company AI and Mathematicians Co-Author Six P$

Science & Research · 4 min read

Meta AI and Mathematicians Co-Author Six Papers, Solving Five Previously Open Math Problems

Meta AI's Muse Spark models collaborated with human mathematicians to co-author six peer-reviewed papers, five of which solve previously open mathematics problems — among the most concrete demonstrations yet of AI contributing to original scientific discovery.

Oct 5

A research laboratory featuring field, fields, related to a major AI company Model Disproves 80-Year-Old Erdős Geometr

Science & Research · 3 min read

OpenAI Model Disproves 80-Year-Old Erdős Geometry Conjecture in Verified Breakthrough

An OpenAI reasoning model has autonomously disproved a discrete geometry conjecture posed by Paul Erdős in 1946, with the result independently verified by external mathematicians.

May 22