传 OpenAI 内部模型解出 722 道数学题
帖文列出所谓 OpenAI 内部模型攻克的长期未解难题清单，并称 Sol 和 Astra 数学能力已很强，等待验证。
openai just made history their internal model solved 722 math problems, including solutions to long standing problems that humans haven't been able to solve some of the major results in their catalogue include: > quasi-riemann hypothesis > hodge conjecture for cm abelian varieties > unique games conjecture > hilbert's tenth problem over rational numbers > irrationality of catalan's constant > matrix multiplication exponent down to 2.25 > global smoothness for the 3d relativistic vlasov-maxwell system we're talking about problems mathematicians have spent decades working on, and now an ai model is producing proofs for them if confirmed and verified, openai deserves all kinds of gold medals for this lmaoo team has been going hard on math, and even sol and astra are already so good at it at this point i just want access to this internal model asap, such a beast