Research
OpenAI Claims AI Solved 80-Year-Old Math Problem
TechCrunch AIhigh confidence
Why it matters
- →Demonstrates AI's potential to solve complex, unsolved mathematical problems autonomously.
- →Validates AI's capability to perform long chains of reasoning and connect ideas across fields.
- →Opens new possibilities for AI applications in various scientific and engineering domains.
OpenAI claims its new reasoning model has autonomously disproved a long-standing unsolved conjecture in geometry, originally posed by Paul Erdős in 1946. This achievement is supported by prominent mathematicians, marking a significant milestone in AI's ability to solve complex mathematical problems. Unlike previous claims, this one is backed by expert validation, suggesting AI's growing capability in reasoning and problem-solving. The breakthrough could have broader implications for fields such as biology, physics, and engineering.
Read originalThe story around this
Earlier coverage that leads up to this article, and what followed. Lines connect each piece to the closest one after it, converging here.
More from TechCrunch AI
© TechCrunch AIMarket & Regulationother
Judge allows NAACP lawsuit over xAI pollution to proceed
xAI's attempt to dismiss the NAACP's Clean Air Act lawsuit failed after a federal judge ruled that its gas turbines are not exempt mobile sources and that plaintiffs have standing. This legal setback confirms that AI infrastructure operators cannot bypass environmental permitting by classifying heavy industrial equipment as temporary or mobile. The ruling forces xAI to face scrutiny over air quality impacts at its Colossus data center, setting a precedent for how large-scale compute facilities are regulated under existing environmental laws.
TechCrunch AI
© TechCrunch AI
