New York University mathematics professor Tristan Buckmaster revisited a dispute over artificial-intelligence-assisted mathematical research in an October 8, 2026, CNBC Squawk Box interview. Buckmaster questioned whether OpenAI had benefited from knowledge of unpublished work by him and Anthropic mathematician Levent Alpöge, and described disagreements over research credit. OpenAI denies its system accessed or learned from their relevant private Codex prompts.

The exchange concerns the Navier–Stokes existence and smoothness problem, a Millennium Prize question about whether smooth three-dimensional fluid flow can lose regularity in finite time. The controversy goes beyond the mathematical result to who receives credit when competing research groups use advanced AI systems.

Separate mathematical results became linked in public

On September 7, Buckmaster and Alpöge announced a finite-time singularity construction for the three-dimensional Euler equations under smooth external forcing. NYU Courant described three AI-assisted, Lean-verified proofs covering Euler and related fluid equations. Euler omits viscosity; Navier–Stokes includes it. The distinction prevents the researchers’ achievement from being mistaken for a jointly authored Navier–Stokes proof.

OpenAI announced its own Navier–Stokes result September 8. According to the company, a coordinated AI system generated an analytical construction in which initially smooth, finite-energy fluid motion develops a singularity under a smooth applied force. OpenAI also published a formal Lean verification. Mechanical proof checking strengthens confidence in logical consistency but does not replace independent mathematical interpretation or Clay’s award procedures.

Buckmaster questions priority and private research data

In a four-page first-person statement, Buckmaster said information about his collaboration reached OpenAI before its work began, and alleged that discussions about publication included a suggestion to exclude Alpöge from authorship. He also described a disputed career-related remark during a call. Buckmaster explicitly acknowledged that he did not know whether his group’s data had been used. His televised account renewed those questions; allegations about the conversations are not independently established facts.

OpenAI’s September 10 update says an internal investigation found that Buckmaster’s Codex prompts from the preceding two months could not have influenced its research system, including through training. The company says its agents never viewed the unpublished proofs before their public release, congratulates the researchers for their distinct Euler work, and says its own approach differs. Neither a matching research direction nor a denial alone independently establishes the full provenance of every idea.

A verified proof is not a prize decision

In September, the Clay Mathematics Institute said the Navier–Stokes problem appeared to have been settled but emphasized its deliberate review process. The official problem page continues to list the problem as active. OpenAI says it does not intend to claim the $1 million prize. A formally checked proof, community acceptance and prize recognition are separate milestones.

Earlier BitcoinVersus.Tech coverage explained the proposed breakdown and the gap between formal proof and scientific understanding. The CNBC interview supplies the researchers’ first-person perspective on attribution rather than a separate resolution of the equation. Other investigations into an AI-generated complexity-theory argument and an AI-assisted fusion conjecture show why expert review remains important when AI accelerates discovery.

The dispute also raises practical questions about confidentiality, model training, document retention and the origin of mathematical ideas. Related AI training-data governance efforts address some of the same concerns. Future progress will depend on clear records of human and machine contributions, rigorous review of the mathematics, and transparent procedures for resolving competing priority claims.

We volunteer daily to ensure the credibility of the information on this platform is Verifiably True. If you would like to support our work and help further secure the integrity of our research initiatives, please scan the QR code below to donate 5,000 sats.

To scan on mobile, open the article on another screen and scan the original QR code using a compatible Bitcoin wallet. Verify the destination 3C9o19EH5HSiwEPyCTmEKzxhNCbo2X6TTb before sending 5,000 sats.

Editor’s Note: The interview is a CNBC Television / Squawk Box recording from October 8, 2026, not a new November interview. Buckmaster’s September 2026 first-person statement, NYU Courant’s research notice, OpenAI’s response and the Clay Mathematics Institute informed the article. Claims of research-credit pressure and concerns about private data are attributed allegations, not established misconduct. OpenAI denies use of the relevant Codex inputs, and formal recognition remains pending. Artwork is conceptual. BitcoinVersus.tech is not a financial advisor. This media platform reports on financial subjects purely for informational purposes.