Science ❯ Mathematics

Research

Theoretical Mathematics Conjectures Harmonic Analysis Theoretical Results Arithmetic Geometry Peer Review Academic Publications Geometric Topology Young Researchers PhD Studies Mathematical Studies Mathematical Theorems Preprint Servers Interdisciplinary Studies Publications Collaborations Open Research Questions Innovation Innovations Mathematical Discovery AI Impact Academic Papers Mathematical Contributions Recent Findings Mathematical Examples Ambient Dimensions Collaborative Work Proofs Mathematicians Contributions AI Evaluation Study Habits Theoretical Research Amateur Mathematics Mathematical Proofs Conformal Dynamics Automation Mathematical Theory Statistical Mechanics Mathematical Papers Peer-Reviewed Studies

Anthropic’s Claude Raises Proven Share of Riemann Zeta Zeros on Critical Line to 67.2%

Anthropic says the unreleased Claude produced a formally checkable proof, underwent internal checks, received brief external expert inspection, and has a Lean formalization while broader peer review remains pending.

Stories older than 24h

IMU Awards 2026 Fields Medals to Four Mathematicians

AI Produces Passing Solutions for Seven of Ten Unpublished Math Problems, Harvard Panel Finds

Mathematicians Publish Leiden Declaration to Curb AI's Impact on Research

AI Model Disproves Erdős Unit‑Distance Conjecture, Spurs Human Extensions

OpenAI Model Disproves Erdős Planar Unit Distance Conjecture