AI Proves Hard Math Conjectures

Advanced AI systems have now produced proofs of nontrivial conjectures in frontier theoretical fields (here: quantum complexity). That shifts the locus of discovery from lone human specialists toward hybrid human–AI teams and raises practical questions about verification, authorship, and research incentives. — If AIs can routinely contribute to or produce proofs, universities, funders, journals and the public must reexamine standards for validation, credit, and funding of theoretical research.