Thomas Bloom
PulseAugur coverage of Thomas Bloom — every cluster mentioning Thomas Bloom across labs, papers, and developer communities, ranked by signal.
2 day(s) with sentiment data
-
OpenAI's Astra model solves 10 math problems with verifiable proofs
An unreleased OpenAI model named Astra has reportedly solved ten long-standing mathematical problems, some of which had remained open for decades. Unlike previous claims, this instance is backed by mathematically verifi…
-
OpenAI's Astra AI solves legendary Erdős problems, reshaping math research
OpenAI has announced significant breakthroughs in mathematics, with its unreleased AI model, Astra, solving several long-standing Erdős problems. This marks a pivotal moment where AI is not just assisting but independen…
-
OpenAI's Astra model solves decade-old math problem, sparks debate on AI creativity
OpenAI's internal model, Astra, has reportedly solved ten complex problems in mathematics and theoretical computer science, including one that had been open since 1999. The model generated a counterexample to the sofici…
-
OpenAI model solves 80-year-old math problem, sparking debate
OpenAI announced that a new, unreleased reasoning model helped solve an 80-year-old mathematical conjecture. The model, which utilizes chain-of-thought reasoning, systematically explored paths that human mathematicians …
-
OpenAI AI Model Disproves 80-Year-Old Math Conjecture
OpenAI has announced a significant breakthrough in mathematics, with one of its general-purpose reasoning models disproving an 80-year-old conjecture known as the planar unit distance problem. The AI model identified an…
-
OpenAI model disproves 80-year-old math conjecture
OpenAI's general-purpose reasoning model has disproved an 80-year-old conjecture in discrete geometry, known as the unit distance problem. This marks a significant advancement for AI in mathematics, as the model autonom…