At the 2024 International Mathematical Olympiad (IMO), one competitor did so well that it would have been awarded the Silver ...
A tool called AI-Newton can derive scientific laws from raw data, but is some way from developing human-like reasoning.