Astra has solved 10 tough problems in mathematical research. If it can solve mathematics, it can solve physics and other long-standing problems too! The proofs are free to view, run, and download.
Is the Mathematics Research community happy with it or tensed about it? Or don’t know what to feel! Well, Astra can be a collaborator in today’s fast-paced life.
Only OpenAI needs to tell how to add Astra as a collaborator!
Astra has solved 10 long-standing open problems in mathematics research. This has been verified by the team.
Can Astra do inception of new research topics?
What Astra can’t do yet- inception of new research unique ideas? We still need researchers for that! So not a time to worry, but a time to catch up with Astra!
Maybe one day a new model can do Inception too! But that would take time!
So OpenAI, why don’t you take Astra to research labs around the world?
Why not introduce Astra to young researchers? Maybe research won’t take that long then?
So who is your future co-author? Astra?
The mathematical problems solved by Astra vary from the following topics:
- High-dimensional geometry
- Binary and spherical codes.
- Groups theory.
- Connes’s rigidity conjecture.
- Arithmetic circuit complexity.
- Quantum parallel repetition.
- Closest vector problem.
- Ehrhart’s volume conjecture.
- Multicolor Ramsey numbers.
- Extremal number conjectures.
The detailed proofs produced by Astra and verified by the team are present in the following PDF paper for free access: https://cdn.openai.com/pdf/ten-proofs-oai.pdf
So would it end costly research paper fees? Fee is needed for sustaining.
Is it, in comparison, the world’s top journals like Nature? At least for the Mathematics domain, it is a big leap!
The proofs formalizations in Lean are provided by OpenAI for free access here: https://github.com/openai/ten-proofs
The company has suggested that the research community be positive and encourage them to take active participation, take a look at these proofs, bring them to life, as these results do need human signatures, and human intelligence can never be part of comparisons.
No, Astra is not available publicly as of now.
Since this is a big leap, the model is being tested internally, and the release date is not clear as of now.
Stay up to date.
Stay tuned.
Subscribe for updates.
Artificial Intelligence and Future 