In the world of artificial intelligence, an event has occurred that may rewrite the history of technological development. OpenAI has officially confirmed the existence of a new line of models called Astra for the first time. This is not just another update, but a qualitative leap: the system has demonstrated the ability to solve fundamental scientific problems that humanity has been grappling with for more than a decade.
Breakthrough in Mathematics and Computer Science
An internal version of the Astra system managed to find solutions to ten open problems in the fields of mathematics and theoretical computer science. Researchers working on these issues had been unable to find answers for at least the last decade. Among the key achievements is the proof of the existence of non-sophistic groups, which closes one of the oldest and most complex questions in modern group theory.
The model's achievements cover a wide range of sciences:
- High-dimensional geometry;
- Coding theory;
- Quantum complexity;
- Lattice cryptography;
- Extremal combinatorics.
Formalization and Verification of Proofs
After Astra found the solutions, the OpenAI research team, together with the model, formalized the results into full-fledged scientific articles. The uniqueness of the approach lies in the fact that the proofs themselves were formalized in the Lean system. This allowed for their automatic verification, excluding the human factor and possible errors in logical chains.
Reaction of the Scientific Community
The news about the appearance of Astra has already caused a stormy reaction in the scientific community, calling it one of the most significant events of recent months. However, OpenAI itself urges not to overestimate the capabilities of the system. The company emphasizes that Astra has not solved all existing problems—for example, none of the famous "Millennium Problems" have yet been conquered by artificial intelligence.
New Ethics of Authorship
The situation with Astra has raised an important question about the authorship of scientific discoveries. OpenAI stated that it does not consider it ethical to attribute proofs to people if the key mathematical ideas were obtained by the model itself. That is why the company officially recognized Astra's contribution to the published research, opening a new chapter in the history of human-machine interaction.
