- 2026-06-22: Human-AI collaboration on Sign-Embedding Quantum Algorithms released
- 2026-05-17: Pessimistic Verification introduced for mathematical proof checking
- 2025-11-07: AIM-assisted homogenization case study released
- 2025-06-05: AIM framework introduced for frontier mathematical research