AI · 18h ago
Claude AI Finds Counterexample to Decades-Old Math Conjecture
Anthropic's Claude AI discovered a counterexample to the Jacobian Conjecture, a problem unsolved since 1939. The proof was verified by mathematicians and published in a peer-reviewed journal. This marks one of the first major mathematical breakthroughs achieved by an AI system.
Meridian48 take
While impressive, the result highlights AI's growing role in formal reasoning but doesn't yet signal general intelligence—the problem was highly specialized.
ai-mathematicsclaude