AI RESEARCH
How AI is changing the nature of mathematical research
Amazon Science
•
What machine learning theorists learned using AI agents to generate proofs - and what comes next.