OpenAI has announced that its unreleased artificial intelligence (AI) model, Astra, has solved 10 long-standing mathematical problems.The problems span various fields such as cryptography, quantum computing, geometry, and graph theory.The AI-generated solutions were formalized using Lean, a software system that verifies mathematical proofs.Each proof was accompanied by reasoning narratives generated by Astra itself.
OpenAI's Astra AI Model Solves 10 Long-Standing Mathematical Problems
Newsbytes•
Full News
Share:
Disclaimer: This content has not been generated, created or edited by Achira News.
Publisher: Newsbytes
Want to join the conversation?
Download our mobile app to comment, share your thoughts, and interact with other readers.