AI Makes a Major Leap in Math, Solving an Erdős Puzzle
In brief
- AI has solved a long-standing math problem that stumped experts for decades.
- OpenAI's reasoning model used algebraic number theory tools to disprove a conjecture by mathematician Paul Erdős on unit-distance geometry, which had remained open since 1946.
- This achievement marks a significant milestone in AI mathematics, according to Fields Medalist Tim Gowers.
- This breakthrough shows how AI can tackle complex mathematical problems using unexpected methods.
- While the model didn't generate new mathematical concepts, it combined existing theories in novel ways to reach its conclusion.
- Such advancements could transform how mathematicians approach proofs and open up new research avenues.
- As AI continues to evolve, researchers will likely explore more applications in mathematics and other fields.
- This development signals a shift in the role of AI as a tool for discovery, potentially making mathematical exploration faster and more efficient.
Terms in this brief
- Erdős
- Paul Erdős was a renowned mathematician known for his extensive work in number theory, combinatorics, and other areas. His conjectures and theories have significantly influenced modern mathematics.
Read full story at The Decoder →
More briefs
AI Models Develop Internal Representations
Researchers found that language models have a small set of internal representations that can be used for reasoning and flexible internal processing. These representations are like the thoughts that humans can articulate and use to solve problems. This discovery matters because it shows that AI models can process information in a way that is similar to human thought. The internal representations can be measured and used to understand how the model is thinking. This can help improve the model's performance and make it more useful for tasks like problem solving. The discovery of internal representations in AI models will likely lead to new developments in artificial intelligence.
AI Models Reveal a "Cognitive Space" Used as Working Memory
AI researchers have discovered evidence of a "cognitive space" within large language models, functioning like a working memory during processing. This breakthrough was detailed in a new paper by Anthropic, which explores how intermediate variables are stored and used during a model's operation. The study introduces J-Lens, a technique to access this cognitive space, demonstrating its effectiveness compared to logit-based methods. This advancement could be particularly valuable for identifying unusual model behaviors during alignment audits-a crucial step in ensuring AI systems behave as intended. Looking ahead, researchers aim to explore how this cognitive space might extend beyond language models into other areas of AI. Future work will focus on replicating these findings across different model architectures and expanding the practical applications of J-Lens.
AI Must Respect Indigenous Knowledges
Researchers partnered with the Amah Mutsun Tribal Band to record native plant knowledge. This project aims to preserve Indigenous Knowledge and language. The concern is that artificial intelligence will become another extractive force that takes Indigenous Knowledges without consent. Our research found that AI can entrench existing biases and harm communities. However, AI can also be a tool to preserve knowledge and design solutions for community benefit. AI can help revitalize endangered languages and document oral traditions. Researchers are using AI to map culturally significant land and identify wildflowers. Next, AI developers will work to build technology that respects Indigenous Knowledges.
New Model Predicts Cancer Treatment Response
Scientists created a new model to predict how cancer patients respond to a type of treatment. The model is called COMPASS. It looks at the genes in a tumor to make predictions. The COMPASS model is better at making predictions than other methods. It was tested on 10,184 tumors from 33 types of cancer. The model improved accuracy by 8.5 percent. This matters because it can help doctors choose the right treatment for each patient. The model can also help patients live longer. Patients who were predicted to respond to the treatment did live longer. Next, the model will be used to design new trials and studies to help more patients.
11 Language Models Compared on Code Reorganization Task
A recent experiment compared 11 language models on a code reorganization task. The models were asked to propose how to untangle a complex node in a LangGraph agent. This matters because the node had 350 lines of logic, making it hard to explain, debug, and test. The results will help developers decide which model to use for generating and evaluating code proposals.