https://ai-mathematician.net/en/publications/Recent content in Publications on AIM BlogHugoenhttps://arxiv.org/abs/2505.22451Wed, 28 May 2025 00:00:00 +0000https://arxiv.org/abs/2505.22451PublicationsIntroduces AIM, a large-reasoning-model agent framework for frontier mathematical research, combining longer exploration trajectories with verification-oriented mechanisms for research-level proof tasks.https://arxiv.org/abs/2606.24899Fri, 12 Jun 2026 00:00:00 +0000https://arxiv.org/abs/2606.24899PublicationsPresents a human-AI co-discovery case study in which AIM-supported exploration, theorem formation, derivation, and audit workflows contributed to sign-embedding quantum algorithms for matrix equations and matrix functions.https://arxiv.org/abs/2511.21522Wed, 26 Nov 2025 00:00:00 +0000https://arxiv.org/abs/2511.21522PublicationsStudies pessimistic verification workflows for open-ended mathematical proofs, where a proof is rejected when any verifier finds a critical error.https://arxiv.org/abs/2510.26380Thu, 30 Oct 2025 00:00:00 +0000https://arxiv.org/abs/2510.26380PublicationsPresents a homogenization-theory case study showing how AIM-assisted reasoning and targeted human intervention can support the development of a complete mathematical proof.https://arxiv.org/abs/2508.18914Tue, 26 Aug 2025 00:00:00 +0000https://arxiv.org/abs/2508.18914PublicationsProposes FormaRL, a reinforcement-learning framework for autoformalization that uses unlabeled data, Lean syntax checks, and LLM consistency checks to improve formalization accuracy.