AI Partners with Humans to Redefine Math and Physics Discovery
AI augments, not replaces, human creativity in math and physics by helping formalize informal arguments, check proofs, generate conjectures, and surface overlooked connections. With fast, digital mathematics data and cheap experiments, researchers outline a multi-stage pipeline (setting the agenda, formalizing ideas, proposing conjectures, solving) and point to examples like Aristotle and Axiom Math as progress, while stressing that human insight remains essential.