Science ❯ Mathematics

Mathematical Research

AI in Mathematics AI-Generated Mathematical Results Artificial Intelligence Computational Mathematics Research Environment Mathematical Understanding AI Contributions AI-Assisted Formal Verification Historical Mathematics Unsolved Problems and Result Families

33 ARTICLES

14h ago

OpenAI Publishes 722 AI‑Generated Math Manuscripts, Prompting Worldwide Verification

The release forces mathematicians to check claims because only a minority of results have machine‑checked formal proofs and the underlying model and prompts remain private.

Stories older than 24h

13 ARTICLES

2d ago

OpenAI Publishes Hundreds of AI‑Generated Mathematical Proofs on GitHub

5 ARTICLES

last mo.

Anthropic’s Claude Raises Proven Riemann Zeta Zero Bound to 67.2%

4 ARTICLES

last yr.

World's Largest Prime Number Discovered by Hobby Mathematician