Topic: research infrastructure

Martin Raum describes how AI entered his mathematical workflow, focusing on manuscript review and research infrastructure while retaining human mathematical judgment. Joint work with Olav Richter and Matt Ortiz provides a case study of human-guided, AI-generated research. The project uses ordinary subscription tools rather than specialized opaque models, offering a workflow adaptable to other mathematical projects. It also raises questions about standards for solid intermediate research and the possible future of research at the highest level.