Solving the mystery of how an ancient bird went extinct
AI provides a new tool for studying extinct species from 50,000 years ago Researchers Beatrice Demarchi from the University of ...
Read more
AI achieves silver-medal standard solving International Mathematical Olympiad problems
Acknowledgements We thank the International Mathematical Olympiad organization for their support. AlphaProof development was led by Thomas Hubert, Rishi Mehta ...
Read more
