James Maynard

mentions 4 type Person feed RSS

// recent coverage 4 mentions

14:17

2026-09-23

futurism.com

artificial-intelligence

Mathematicians Can’t Make Sense of How OpenAI’s Agents Solved One of the Toughest Math Problems Because the AI’s “Proof” Is Borderline Incomprehensible

OpenAI's claim that 10,000 of its AI agents solved the Navier-Stokes Millennium Problem in 88 hours has drawn criticism from mathematicians who say the resulting proof is technically correct but borde…

09:20

2026-08-19

promptcube3.com

artificial-intelligence

AI Takes on the Prime Number Challenge

Axiom Math's AI system, AxiomProver, has verified the 246 theorem on prime gaps, building on Yitang Zhang's 2013 proof and James Maynard's refinement to 600, and creating a reusable library of results…

07:43

2026-08-19

officechai.com

artificial-intelligence

AI Startup Axiom Math Formalizes The Closest Proof Yet To The Twin Prime Conjecture

Axiom Math has used its AI system AxiomProver to produce a fully machine-checked formalization of the 'BGP246 theorem,' the best-known bound on small gaps between prime numbers, marking the closest ap…

11:00

2026-08-11

theverge.com

artificial-intelligence

The AI takeover of mathematics has begun

OpenAI revealed it has produced solutions to 10 long-standing mathematics problems using an advanced unreleased model called Astra, some of which had confounded academics for decades, according to a r…

// co-occurs with top 8 entities

Axiom Math 2 AxiomProver 2 Yitang Zhang 2 Ken Ono 2 Sidharth Hariharan 2 OpenAI 2 PrimeGapsLib 1 Lean 1

// topics top 6 topics

artificial intelligence 4 ai research 4 ai tools 2 ai agents 1 ai ethics 1 ai products 1