Follow the latest coverage, related explainers and connected technology stories.
Physical Superintelligence has successfully used an advanced AI model to solve the "Aaronson-Ambainis conjecture," opening new horizons for the use of machines in theoretical scientific discoveries.
OpenAI has published on GitHub a collection of 722 mathematical studies produced by an internal model that is not publicly available, covering results across 372 problem families. The company emphasizes that the work is at different stages of verification and that only part of it has been verified using Lean.