AI Solves 80-Year-Old Math Conjecture
In brief
- An artificial intelligence model has solved the planar unit distance problem, a math puzzle that has gone unsolved for 80 years.
- The problem is about how many equal-sized lines can be drawn between dots on an infinite sheet of paper.
- A mathematician named Paul Erdős thought the answer was a grid pattern.
- But the AI model found a different arrangement of points that yields a much greater number of connections.
- This is a big deal because it shows AI can do complex math.
- The AI model used a technique from algebraic number theory to solve the problem.
- This breakthrough is being hailed as a major moment for AI's mathematical ability.
- The AI will likely solve more math problems in the future.
Terms in this brief
- planar unit distance problem
- A math puzzle about how many equal-sized lines can be drawn between dots on an infinite sheet of paper. It has been unsolved for 80 years until an AI model found a different arrangement of points that yields more connections.
Read full story at New Scientist →
More briefs
AI Models Learn to Self-Generate Tasks for Better Reasoning
Researchers have developed a new method called PopuLoRA, which enables AI language models to self-generate and adapt tasks during training. This approach allows models to create their own challenges, such as predicting code outputs or finding inputs that match target results. Unlike fixed tasks, PopuLoRA lets the models evolve these tasks in real-time, keeping the difficulty level just right for continuous improvement. The key innovation is "single-agent self-play," where one model both generates and solves tasks. In initial tests, this method showed promising results: tasks became more complex and varied over time, leading to better problem-solving skills. However, challenges remain, like ensuring tasks stay challenging enough without becoming too simple. Looking ahead, PopuLoRA could revolutionize how AI models learn, making them more adaptable and capable of handling real-world problems that require sophisticated reasoning.
AI Fails to Accurately Grade University Essays
AI systems failed to match human grades for university essays about half the time. This was found in a study where three AI models graded over 750 student essays. The AI systems had trouble with the best and worst essays. They gave higher marks for longer essays with complex sentences. This means AI graded style over substance. Only 35 to 65 percent of the time did AI match human grades. AI may be useful for checking errors or giving feedback to students. But it is not good enough to give final grades. AI will continue to change how universities grade student work.
AI Makes a Major Leap in Math, Solving an Erdős Puzzle
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.
AI-Designed Miniproteins Control Cell Receptors
Scientists used AI to create tiny proteins that can switch key cell receptors on and off. These receptors are involved in almost every bodily function. The AI-designed proteins can fit into deep pockets of the receptors, allowing scientists to control cell signaling. The discovery could lead to new medicines for diseases that lack treatments, with one designed miniprotein already showing promise in a mouse study with fewer side effects.
AI Helps Genetic Diagnosis
Researchers created a tool called MARRVEL-MCP to help diagnose genetic diseases. It uses everyday language to analyze genetic and biological information. This tool can help doctors and researchers find genetic causes of diseases faster. They usually have to gather information from many databases and piece together the evidence. This can take hours for one case. The new tool combines artificial intelligence with biological databases to interpret genetic variants. It will make genetic diagnosis easier and faster for experts and non-experts. The tool will be used more in the future.