Recent experiments show that large language models, particularly OpenAI's ChatGPT, are increasingly capable of tackling complex mathematical problems. Researchers have used the model to solve several open problems from the Erdős collection, with AI contributions credited for moving numerous problems from "open" to "solved." The progress highlights the growing role of AI tools in mathematical research, formal proof verification, and the broader scientific community. Leia mais →

Anton Bernshteyn has demonstrated a deep connection between descriptive set theory and computer science by showing that problems about infinite sets can be reformulated as network coloring tasks. His work translates efficient local algorithms used in distributed computing into measurable colorings of infinite graphs, linking two previously separate research areas. The discovery has sparked collaborations, allowing mathematicians to classify problems using computer‑science tools and providing new insights into graph theory, measurability, and the structure of infinity. Leia mais →

DeepMind has unveiled AlphaProof, an artificial‑intelligence system that performed at the level of silver‑medal winners at the International Mathematical Olympiad, falling just one point short of gold at the premier undergraduate competition. The breakthrough highlights a shift from earlier AI that excelled at raw calculation but struggled with the logical reasoning required for advanced mathematics. AlphaProof leverages vast training data, including mathematical texts, while addressing the limitations of traditional large‑language models that rely on statistical token prediction. The achievement marks a significant step toward AI that truly understands mathematical proofs. Leia mais →