https://ai-mathematician.net/en/discoveries/Recent content in Discoveries on AIM BlogHugoenhttps://arxiv.org/abs/2604.25333https://arxiv.org/abs/2604.25333DiscoveriesThis work explores quantum algorithms for difficult matrix computations that appear in scientific computing and applied mathematics. Its main contribution is a reusable framework that may help quantum computers solve several families of matrix problems more systematically.https://arxiv.org/abs/2510.26380https://arxiv.org/abs/2510.26380DiscoveriesThis case study shows how AIM can support mathematicians on a long and technical proof. AIM helps propose reasoning steps and organize the search, while human researchers guide, check, and refine the proof to maintain mathematical rigor.