Latest in Topic
Axiom Math Validates Landmark Prime Number Theorem with AI
The successful verification of the 246 theorem marks a significant advancement in automated mathematical research and future software safety.
By Auto News3 min read
Computing · Topic
mathematics
Reporting and analysis tagged mathematics.
AI-Driven Discovery Challenges Longstanding Jacobian Conjecture
A mathematician has utilized a large language model to identify a counterexample to a century-old problem in algebraic geometry, signaling a shift in computational research.
No. 202
AI Disproves 87-Year-Old Jacobian Conjecture
A new frontier model from Anthropic has successfully identified a counterexample to a long-standing problem in algebraic geometry, sparking debate among mathematicians.
No. 201
Maya astronomical notation reveals sophisticated ancient mathematical tradition
Archaeologists have identified the name of a Maya astronomer linked to a complex astronomical formula, providing new evidence of a structured scientific tradition.
No. 194