This startup wants to change how mathematicians do math
AI Summary: The article discusses the introduction of PatternBoost, an AI tool designed to solve complex mathematical problems, specifically the Turán four-cycles problem, and its accessibility through the Axplorer software. This initiative is part of the US Defense Advanced Research Projects Agency's expMath program, which aims to promote the development and use of AI tools in mathematics. Axiom Math's leadership emphasizes the importance of exploratory mathematics, noting that AI has primarily been used to solve existing problems rather than to explore new mathematical concepts. Recent applications of large language models, such as GPT-5, have enabled mathematicians to tackle unsolved problems, particularly those posed by the late mathematician Paul Erdős.