mathstodon

Headlines · 1

1. Oct 8
   Terence Tao faults OpenAI's 719 AI math proofs for 'proof indigestion'

   OpenAI published 722 AI-generated mathematics manuscripts on GitHub on October 6 covering 372 result families and numerous open research problems, withdrawing three the next day after a notation error and its knock-on effects, leaving a public catalogue of 719. Per IT之家, the Institute for Advanced Study-hosted Mathematics and AI Advisory Group (AGMAI) had recommended disclosing model names, prompts, reasoning chains, time and compute costs and stopping tests of hard math problems on proprietary models — yet OpenAI still used proprietary models, only 10 manuscripts include reasoning chains, and about 42% of proofs are unformalized. Mathematician Terence Tao said in an October 7 mathstodon post that he does not oppose AI doing mathematics but rejects making 'fast AI solutions to famous problems' a primary goal or product demo, coining 'proof indigestion' and criticizing the use of problems such as Navier–Stokes as capability benchmarks.

   IT之家 AI · 🔥 0

Experience and discussion from the community

Share my mathstodon experienceAsk about mathstodon