#ai mathematics
Ai Mathematics: 3 AI articles covering ai mathematics news, analysis, and research
Articles
Axiom Math Wants to Keep AI Slop Out of Mathematics⭐8
Axiom Math formally verified the Stacks Project, translating 7,654 pages of math into computer-checked Lean code to keep AI slop out of mathematics.
Frontier AI Labs Claim Their Models Refuted the Exponential Time⭐9
OpenAI claims its model refuted the Exponential Time Hypothesis, a core assumption in complexity theory. Here's what that actually means and how researchers res...
Unreleased Anthropic Model Makes Strides on the Riemann Hypothesis⭐9
Anthropic's unreleased AI model makes significant progress on the Riemann hypothesis, autonomously testing 650 approaches to improve the prime number theory bou...