The Leiden Declaration on AI and Mathematics proposes a 'mathematical Turing test' where AI systems are evaluated by human mathematicians across three phases—problem formulation, collaborative explora…
Researchers have developed MaxProof, a population-level test-time scaling framework for mathematical proof that enables the MiniMax-M3 model to achieve 35 out of 42 on IMO 2025 and 36 out of 42 on USA…
A new paper from MiniMax, MaxProof, trains a model to write competition-math proofs and achieves high scores on IMO and USAMO problems, but a cross-verification experiment reveals that among proofs th…
Steven Spielberg stated during an appearance on Michelle Obama and Craig Robinson's "IMO" podcast that artificial intelligence should never be used as the final authority on creative decisions in film…