Tristan Buckmaster

5 stories

Tristan Buckmaster is a mathematician at NYU who works on problems in fluid mechanics. In recent coverage he raised concerns about OpenAI's use of his Codex data and joined other mathematicians in demanding proof that the company did not rely on unpublished research. A Guardian editorial and a Deccan Herald commentary cited his objections while questioning claims that AI solved Navier-Stokes and formalised Fermat's Last Theorem.

Related topics

Commentary questions meaning of OpenAI, Anthropic automated proofs

A Deccan Herald commentary pushes back on OpenAI's claim that AI solved the Navier-Stokes equations and Anthropic's claim that AI formalised Fermat's Last Theorem, noting both build on human work and employ mathematicians with little transparency about where human effort ends and AI begins. NYU mathematician Tristan Buckmaster told The New York Times he doubts due diligence was done given the volume of results released at once.

Deccan Herald ·

Mathematicians question OpenAI's data use

Several mathematicians, including Andreas Thom, Gábor Kun, and Tristan Buckmaster, have demanded proof that OpenAI did not use unpublished research and accused the company of lacking transparency. OpenAI acknowledged heavily drawing on Thom and Kun’s work for a non-sofic groups result and quietly amended its writeup; Thom says he emailed researchers including Sébastien Bubeck.

Hacker News ·
That is everything