Justin Solomon

Headlines · 1

1. Oct 11
   MIT professor says OpenAI's math proofs are beyond human reading

   According to a 36Kr repost of a New Zhiyuan article, OpenAI published 722 math papers at once, said to include a counterexample showing failure of solutions to the Navier-Stokes equations and other claimed results on well-known open problems; the report also notes the papers still await verification. On Bloomberg's Odd Lots podcast, MIT associate dean of engineering education Justin Solomon said the proof is dense with technical detail, counterintuitive inequalities and extreme bounds, and that he stalled after two pages, able only to say it is "probably right." Fields Medalist Terence Tao, in a Caltech "Math 2.0" talk, offered a thought experiment about an AI-designed cancer therapy that passes formal verification and trials but whose mechanism no human understands, raising questions of interpretability and alignment.

   36氪 人工智能 · 🔥 0

Experience and discussion from the community

Share my Justin Solomon experienceAsk about Justin Solomon