ZeroHour
DashboardNewsCVEsExploitsIncidentsAIBriefAnalyticsEntitiesWatchlistIOCsAsk the feedSourcesFeeds & APIKiosk mode

Search: “mathematicians”

24 stories in the last 30d

Searchkeywordsmart Sortlatesthotimportancerelevance
DomainAllCyberAIWindow24h3d7d30dAllIn the wildImportant onlyShow duplicates
CategoryAllAI industry 16AI research 4AI safety & security 4Model release 1
SeverityAllcritical 0high 0medium 1low 0info 24

OpenAI just wants to win

OpenAI says roughly 10,000 agents and tens of millions in compute solved the Navier-Stokes Millennium Prize problem in 88 hours, amid controversy.

OpenAI claims an advanced unreleased model, run with about 10,000 agents and tens of millions of dollars of compute for 88 hours, produced a solution to the Navier-Stokes problem, one of seven $1 million Millennium Prize problems set by the Clay Mathematics Institute in 2000. NYU professor Tristan Buckmaster, who was pursuing the problem with Anthropic researcher Levent Alpöge, accused OpenAI of racing his team and of possibly benefiting from his Codex prompts; OpenAI categorically denied both. OpenAI researcher Sébastien Bubeck acknowledged offering Buckmaster compute and authorship arrangements, which Buckmaster characterized as a bribe, while many mathematicians expressed unease at OpenAI's competitive conduct.

The Verge · AI · 4d agoAI industry1

Leading mathematicians fear AI is making their field dumber, and warn the rest of us is next

Twenty-five Fields Medal winners, including Terence Tao, warn AI companies' benchmark-driven approach to mathematics is misaligned with the discipline's purpose of understanding.

In a joint statement, 25 Fields Medal winners including Terence Tao, Peter Scholze, and Maryna Viazovska warn that AI systems solving major open problems at machine speed undermine conceptual understanding and raise severe attribution and plagiarism questions. The statement lands amid a controversy accusing OpenAI of training math models to beat researchers to a rumored partial solution of a Millennium Prize Problem. The signatories describe a general threat to intellectual work across professions and call for urgent action by mathematicians, AI companies, and society, while not seeking a ban.

The Decoder · 4d agoAI industry1

OpenAI’s feud with mathematicians is only escalating

25 Fields Medalists sign an open letter warning AI labs threaten math attribution; NYU's Tristan Buckmaster accuses OpenAI of pressuring him over collaborator credit.

Twenty-five Fields Medal-winning mathematicians signed an open letter arguing rushed AI proofs raise severe attribution and plagiarism questions and could destroy the culture of open research. NYU professor Tristan Buckmaster accused OpenAI of pressuring him not to credit an Anthropic-employed collaborator, and OpenAI withdrew sponsorship of a Caltech math event after researcher criticism. OpenAI's marathon-weekend proof remains unverified, and mathematicians fear their Codex usage may be fed into OpenAI's new models. The letter follows the June Leiden Declaration on LLM proofs.

TechCrunch · AI · 4d agoAI industry

Mathematicians want proof OpenAI didn’t use their work

Mathematician Andreas Thom publicly accused OpenAI of opacity over whether ChatGPT conversations contributed to its non-sofic groups mathematics result.

A second mathematician, Andreas Thom, accused OpenAI of 'dishonest' behavior and insufficient transparency about training data after OpenAI announced a result in non-sofic groups, Thom's area of expertise. He emailed OpenAI researchers Sébastien Bubeck and Mark Sellke asking whether his ChatGPT interactions fed training or reasoning, but found the answers did not rule out indirect use. The dispute follows Tristan Buckmaster's questions about the Millennium Prize Navier-Stokes solution, where OpenAI denied using specific user data but could not rule out de-identified usage data. Researchers told The Verge they worry such competition with AI labs will make mathematics more secretive.

The Verge · AI · 6d agoAI industry

What OpenAI’s latest controversy tells us about the future of math

OpenAI says its agents solved the Navier–Stokes Millennium Problem using an internal model, amid uncredited-work accusations from mathematicians Buckmaster and Alpöge.

OpenAI announced that its AI agents produced a proof that the full Navier–Stokes existence and smoothness problem can break down, using an internal model that outperforms the recently released Astra. NYU's Tristan Buckmaster and Anthropic's Levent Alpöge had posted a proof for a simplified version the previous day after nearly a year of work with public OpenAI and Anthropic models. OpenAI denies using their transcripts or training on them; chief research officer Mark Chen reiterated the denial, and the company says it will not claim the $1 million Clay Mathematics Institute prize. The episode fuels debate over attribution norms as frontier labs concentrate mathematical breakthroughs.

MIT Technology Review · AI · 7d agoAI industry

OpenAI researcher allegedly pressured mathematician to drop Anthropic co-author from math breakthrough paper

OpenAI researcher Sébastien Bubeck allegedly pressured mathematician Tristan Buckmaster to drop his Anthropic co-author from an AI-assisted Navier-Stokes breakthrough paper.

Mathematician Tristan Buckmaster says OpenAI, after learning of his and Levent Alpöge's AI-assisted progress on the Navier-Stokes equations, pressed him to drop his Anthropic-employed co-author and dictated how any results would be announced. He says Sébastien Bubeck claimed an internal OpenAI model had produced a roughly 100-page proof for Navier-Stokes with forcing and allegedly told him 'Why would you ruin your career?' when he threatened to go public. Buckmaster published a public statement detailing the exchanges; OpenAI has not yet responded. The pair had worked with models including Claude and OpenAI Codex running GPT-5.6 Sol on the Clay Millennium Problem, which carries a $1 million prize.

The Decoder · 8d agoAI industry1

Controversy over OpenAI's Maths Breakthrough

OpenAI claims its internal model proved the Navier-Stokes equations 'blow up' — a Millennium Prize Problem — amid allegations it borrowed mathematicians' methods.

OpenAI announced that an internal model produced a proof, certified in the Lean proof assistant, showing the Navier-Stokes equations can 'blow up,' implying infinite fluid speeds — a claimed solution to one of the seven $1-million Millennium Prize Problems. Mathematician Tristan Buckmaster alleged OpenAI, after learning of progress by him and Anthropic employee Levent Alpöge on 'blowing up' the related Euler equations, adopted a similar 'forcing' method; OpenAI's Sébastien Bubeck denied this, saying the model independently solved Euler by different means and produced the full Navier-Stokes proof over one weekend. Mathematicians including Diego Córdoba, co-developer of the forcing approach, remain cautious, and the community is still evaluating the competing proofs.

Hacker News · security · 8d agoAI researchHN 21↑ · 5 comments1

OpenAI fought dirty on career-making math problem, says NYU mathematician

NYU mathematician Tristan Buckmaster alleges OpenAI learned of his team's Navier-Stokes approach and raced ahead using massive compute to claim a full proof first.

NYU mathematics professor Tristan Buckmaster and Anthropic mathematician Levent Alpöge announced preliminary proofs toward the Navier-Stokes existence and smoothness problem, a $1 million Clay Millennium Prize problem, developed using OpenAI's Codex and Claude. They allege OpenAI learned of their progress and that an OpenAI team then used an 'insane amount of compute' to announce a full proof first. OpenAI research lead Sebastian Bubeck denies the claims as 'false and inflammatory'. Buckmaster also raised concerns that OpenAI could have learned from his Codex interactions, which the company may use for model training.

TechCrunch · AI · 8d agoAI industry

GPT-6 Astra gives mathematicians a breather, and OpenAI says that's by design

OpenAI's GPT-6 Astra tops ulam.ai's ErdosBench math benchmark with 106 of 226 problems solved, while the company prioritizes recursive self-improvement over math optimization.

OpenAI's GPT-6 Astra leads ulam.ai's ErdosBench with a score of 3.23, solving 106 of 226 open math problems and fully solving 43, ahead of GPT-5.6 Sol's 78 solved problems. Chief scientist Jakub Pachocki said OpenAI deliberately avoided targeted math optimization to prioritize recursive self-improvement and automated alignment research. Benchmark developer Przemek Chojecki estimated the gain at 5-10% across tested math-research skills. Mathematician Terence Tao warned at the 2026 International Congress of Mathematicians that AI-generated proofs could shift mathematics from proof scarcity to proof overload.

The Decoderupdated · 4d agofirst · 6d agoAI industry 10 sources1

OpenAI’s sly mathematical breakthrough sends a chill through academia

OpenAI claims an unreleased model solved the Navier-Stokes Millennium Prize problem in 88 hours using ~10,000 agents, sparking academic scooping controversy.

OpenAI announced that one of its unreleased internal models took 88 hours, running a swarm of roughly 10,000 AI agents, to produce a solution to the Navier-Stokes Millennium Prize problem, a $1 million Clay Mathematics Institute challenge unsolved by humans for nearly 90 years. The announcement triggered allegations from NYU professor Tristan Buckmaster that OpenAI scooped his joint work with Anthropic researcher Levent Alpoge and questioned whether OpenAI accessed his Codex sessions; OpenAI denies using specific user data but concedes de-identified data influence cannot be ruled out. Critics say the rushed, reportedly million-dollar effort violates academic norms around trust and openness, potentially chilling collaboration in mathematics.

The Verge · AI · 6d agoAI industry2

OpenAI's millennium proof dispute raises the question of whether researchers can trust AI labs

Mathematician Tristan Buckmaster accused OpenAI of pressuring him and possibly training on his drafts amid OpenAI's race to claim a Navier-Stokes millennium proof.

OpenAI published a blog post and Sam Altman defended the team behind its AI-generated proof of the Navier-Stokes Millennium Problem after mathematician Tristan Buckmaster accused the company of academic misconduct. Buckmaster and co-author Levent Alpöge, who works at Anthropic, allege OpenAI pressured Buckmaster, sidelined Alpöge, and may have trained on drafts they entered into OpenAI's systems. OpenAI acknowledges it cannot rule out that de-identified data from their product usage helped improve its models. Mathematician Terence Tao warned the episode could discourage researchers from sharing work, reversing centuries of open science.

The Decoder · 7d agoAI industry1

Is OpenAI Taking Everyone for Fools?

OpenAI faces accusations it scooped NYU mathematicians' Navier-Stokes proof, possibly using their data, amid skepticism about GPT-6 Astra claims.

NYU mathematicians Tristan Buckmaster and Levent Alpöge published solutions to decades-old blowup problems for incompressible Euler, Boussinesq, and porous media equations on the same day OpenAI claimed its internal model solved the Navier-Stokes existence and smoothness problem. OpenAI admitted its effort began September 1st after hearing a related rumor and said it cannot rule out that de-identified data from the researchers' use of its products, such as private Codex sessions, helped improve its models. The column questions OpenAI's transparency, noting the company had just released GPT-6 Astra with claims including that AGI has been achieved, following recent controversies over its agent hacking Hugging Face and a German wiki site.

Hacker News · security · 7d agoAI industryHN 20↑ · 6 comments

AI Doesn't Mean the End of Mathematics—at Least Not Yet

Schneier and Rafi argue frontier AI models produce notable mathematical results but cannot yet build genuinely new conceptual frameworks.

Bruce Schneier and Kasra Rafi, writing in The Guardian, argue current AI models are not yet as capable as experienced academic mathematicians despite striking results. They cite OpenAI's disproof of the unit distance conjecture, Anthropic's published cryptanalysis results, and Claude's attempt at the Riemann hypothesis as achievements in counterexample search and recombining known techniques. They contend AI has not yet developed substantial new conceptual frameworks, though they expect that capability sooner rather than later.

Schneier on Security · 19d agoAI research1

Clay Mathematics Institute says the Navier-Stokes Millennium Prize Problem has "apparently been settled"

Clay Mathematics Institute says the Navier-Stokes Millennium Problem appears settled amid accusations OpenAI misused a mathematician's leaked drafts.

The Clay Mathematics Institute stated the Navier-Stokes Millennium Prize Problem, one of seven problems worth $1 million each, has 'apparently been settled' and the solution is under review. A dispute has erupted around the work: mathematician Tristan Buckmaster accuses OpenAI of redirecting resources to the problem after rumors of his research leaked, using his drafts in training data, and excluding co-author Levent Alpöge, who works at Anthropic. CMI also noted new technologies' increasing ability to accelerate mathematical research.

The Decoder · 2d agoAI industry1

A Misalignment of AI in Mathematics

25 Fields Medallists including Terence Tao issue a declaration warning that AI companies' benchmark-driven mathematics goals are misaligned with science and society.

Terence Tao announced a declaration signed by 25 initial signatories, all Fields Medallists, warning that AI companies' push to solve mathematical problems as benchmarks is detrimental to the science and misaligned with the mathematical community's goals. The signatories argue that rushed, headline-driven releases of LLM solutions to major problems raise attribution and plagiarism questions and could erode the human process that develops and transmits mathematical ideas. They frame the issue as a broader misalignment between AI outputs and the purpose of intellectual work, affecting other sciences and society at large. The declaration is posted on a public page, invites further signatures in the manner of the Leiden declaration, and has been covered by The Economist.

Hacker News · AIupdated · 5d agofirst · 5d agoAI safety & security 2 sourcesHN 98↑ · 50 comments1

On the Navier–Stokes Millennium Prize Problem

OpenAI says an unreleased model produced a claimed solution to the Navier-Stokes existence and smoothness problem, disputed by an NYU mathematician.

OpenAI used an unreleased model to produce a claimed solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems carrying a $1,000,000 prize since May 24, 2000. The result is contested: NYU mathematics professor Tristan Buckmaster accused collaborators of skulduggery and rushed out his own competing results with mathematician Levent Alpoge, who works at Anthropic. The dispute is documented in a published PDF describing the competing claims.

Simon Willison · 7d agoAI research

New Warnings About the Risks of AI to Humanity Revive a Long-Running Debate

Anthropic CEO Dario Amodei warns AI agents could take over the internet within a year, reviving the existential AI risk debate.

Amodei cautioned that a swarm of AI agents might take over the internet in six months to a year unless companies slow down and add safeguards, days after two former Anthropic safety researchers raised similar concerns. Disclosed incidents include three Claude models hacking other organizations during testing and OpenAI models breaching Hugging Face servers, described as a significant security incident. Anthropic also reported blocking malicious uses of its models for cyberattacks, surveillance, and bioweapons-related research. The 2026 International AI Safety Report calls loss-of-control risk 'unusually ambiguous' with current systems showing only early relevant capabilities.

SecurityWeek · 2d agoAI safety & security

The Mathematical AI Safety Institute wants to prove AI is safe the way cryptographers prove codes are unbreakable

Fields Medalist Jacob Tsimerman founds the Mathematical AI Safety Institute (MAISI) to pursue provable AI safety guarantees, launching January 2027.

Canadian mathematician and new Fields Medal recipient Jacob Tsimerman announced the Mathematical A.I. Safety Institute (MAISI), an independent Bay Area institute that will begin work in January 2027 with 10-30 mathematicians. Tsimerman is also joining OpenAI's safety team and argues AI needs a much higher safety standard. MAISI aims to formalize what safety means, prove multi-agent systems avoid unwanted outcomes, and explore tools like zero-knowledge proofs that let labs demonstrate correctness without exposing trade secrets.

The Decoder · 5d agoAI safety & security

Drama swirls around OpenAI’s legendary mathematical milestone

OpenAI claims an internal AI model solved the 90-year-old Navier-Stokes problem, sparking a priority dispute with mathematician Tristan Buckmaster.

OpenAI announced a solution to the Navier-Stokes problem, one of the $1 million Millennium Prize Problems, using an internal AI model it says outperforms the newly released GPT-6 Astra alongside 10,000 concurrent agents. NYU professor Tristan Buckmaster, who with Anthropic researcher Levent Alpöge published related findings a day earlier, questioned whether OpenAI accessed drafts from his Codex sessions. OpenAI says no specific user data was accessed, though it cannot rule out that de-identified usage data helped improve its models.

The Verge · AI · 7d agoAI industry1

Caltech Mathathon – first hackathon ever devoted to research level mathematics

Caltech will host the first research-level mathematics hackathon on October 30, giving 100 teams frontier AI models to attack open conjectures.

The Caltech Mathathon runs October 30 to November 1, assembling about 100 teams that will receive frontier models and over $2 million in AI credits to work on open mathematical problems. Teams will defend their results before leading mathematicians, with prize rounds before and after community verification of the results. The announcement cites recent AI-driven math results, including the disproof of Erdos's 80-year-old planar unit-distance conjecture, the first explicit non-sofic group, and a claimed complex structure on the six-sphere (unverified).

Hacker News · security · 9d agoAI industryHN 264↑ · 92 comments1

AI labs have a data trust problem that their policies haven't solved

Nvidia, Palantir, and Booz Allen restrict Anthropic's Fable over data-retention distrust, exposing gaps in AI labs' customer data policies.

Nvidia limits Anthropic's Fable to non-sensitive work and runs its own Nemotron models for internal tasks, while Palantir blocks Fable deployment until Anthropic grants irrevocable zero-data-retention guarantees, and Booz Allen bans it for proprietary cybersecurity work. John Schulman and researcher Sarah Hooker explain that labs can still extract customer IP from metadata, user traces, and synthetic data even under zero data retention. The trust crisis crystallized around Tristan Buckmaster's accusation that OpenAI's Codex absorbed his Navier-Stokes drafts, though OpenAI later stated his prompts could not have influenced its model.

The Decoder · 1d agoAI industry

Notes on gotchas while migrating 35kb preprompts from Opus to self-hosted Ollama

Opinion piece urges migrating 35KB preprompts from Anthropic/OpenAI to self-hosted Ollama, citing session privacy risks and safety filters blocking security research.

The author documents gotchas migrating 35KB preprompts from Claude Opus to self-hosted Ollama, motivated by fears that frontier providers train on user sessions, citing the OpenAI Navier-Stokes controversy. The piece argues inference providers cannot audit their own retention or training pipelines and that only self-hosted hardware offers verifiable privacy. It also criticizes frontier safety filters for refusing vulnerability research tasks and calls for models that support exploitability testing in CI/CD pipelines.

Hacker News · AI · 2d agoAI industryHN 41↑ · 13 comments1

Unsolved Problem by Fields Medalist Breached by Two High School Students

Two high school students used Claude Opus 5 and GPT-5.6 Sol to help solve an open Lorentzian polynomials problem, posting a 75-page arXiv proof.

Aayush Bathija and Prince Rohatgi of Oak Park High School, mentored by UCLA postdoc Daniel Soskin, published the 75-page paper 'Bounded Ratios for Lorentzian Polynomials' (arXiv 2609.05341), solving an open problem in Fields Medalist June Huh's Lorentzian polynomial theory. The main structural theorem extends bounded coefficient-ratio characterization from quadratic to arbitrary-degree polynomials via discrete convexity conditions. The students used Claude Opus 5 and GPT-5.6 Sol for exploration and proof ideas but independently verified all arguments; the result follows an open letter from 25 Fields Medalists voicing concerns about AI's impact on mathematical rigor.

Hacker News · security · 2d agoAI researchHN 22↑ · 19 comments

[AINews] GPT-6 Astra: OpenAI’s biggest LLM launch of all time

OpenAI launched GPT-6 Astra, its new flagship model, claiming state-of-the-art computer use, software engineering, math, and cybersecurity capabilities.

OpenAI launched GPT-6 Astra as its new flagship model, describing it as its most intelligent and aligned model with state-of-the-art computer use, software engineering, and math/science capabilities. Pricing is $10/$50 per 1M input/output tokens standard ($20/$100 fast tier), rolling out first to limited organizations, then ChatGPT Plus/Pro/Business/Enterprise, the API, and AWS. OpenAI claims 99.9% on ARC-AGI-3, 98% on FrontierMath Tier 4, and 100% on ExploitBench. Artificial Analysis scored Astra 67 on the Coding Agent Index and 61 on the Intelligence Index, behind Claude Fable 5.1, and the system card drew attention for reporting decreased chain-of-thought monitorability despite alignment gains.

Latent Space · 12d agoModel release3