August 3 News.OpenAI Official publication of his next generationLarge Model Astra - Phased R&D results. Experiments have shown that the model independently extrapolates and gives complete proof of 10 long-standing, unresolved mathematical difficulties, with a total of 249 pages。
According to the technical report published by OpenAI, the mathematical dilemma of the Astra attack is an area that has been open for more than 10 years and with a chronic lack of progress, covering combination mathematics, algebra geometry and numerics. The model demonstrates the ability to construct complex auxiliary functions and to simplify cross-cutting aspects in the demonstration process, and the extrapolation steps have passed the formalization of the automated theorem certifier Lean 4。
OpenAI states that Astra is still in the internal security assessment and alignment phase and is not open to the public. In the future, the bottom structure of the model will be integrated into Codex and ChatGPT ' s in-depth reasoning capability, with supporting scientists conducting symbolic extrapolations and complex theoretical proofs。