2025-06-05: AIM framework introduced for frontier mathematical research

The AIM team introduced AI Mathematician, a multi-agent framework for exploring research-level mathematical problems.