Mathematics

Statistics Applied Mathematics Geometry Algebra Analysis Topology Graph Theory Optimization Probability Theory Numerical Analysis

OpenAI’s Mass Release of AI-Generated Proofs Exposes a Verification Crisis

A wave of machine-made proofs now exceeds the community’s capacity to check them, threatening the training and careers of many graduate students.

Hoskinson Says He Is Building a New Cardano Programming Language

One-Hash and Standard Bloom Filters: Practical Mechanics and Production Risks

Researchers Trace NIST Elliptic-Curve Seeds to 1997 drand48 Runs

Claude Mythos 5 Designs Quantum Circuits That Cut Gate Counts Up to 17×

Simons Foundation Launches $15 Million Program With OpenAI and Anthropic to Support Mathematicians

Ethereum Researchers Urge 'Bunker Mode' After OpenAI Math Release

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

OpenAI Publishes Hundreds of AI‑Generated Mathematical Proofs on GitHub

Unreleased OpenAI Model Produced Possible Navier–Stokes Proof as Researchers Raise Fears Over Private Drafts

Math Model Maps How Copper and Zinc Speed Amyloid‑β Plaque Formation

OpenAI Stands by Navier–Stokes Claim as Formal Checks and Credit Disputes Continue

OpenAI Says AI‑Generated Work Proposes Singularities for Forced 3D Navier‑Stokes

Researcher Says Great Pyramid Encodes Astronomical and Mathematical Numbers

OpenAI Publishes Claimed Navier–Stokes Proof and Machine‑Checkable Formalization

OpenAI Publishes Formal Proof Claiming Navier–Stokes Singularities

OpenAI Says Its AI Produced a Proof of the Navier–Stokes Problem, Two Mathematicians Say Their Unpublished Work Was Used

Researchers Sharply Cut Quantum Resource Estimates for Attacking Bitcoin and Ethereum

OpenAI Says Its AI Solved the Navier‑Stokes Problem as Proof and Data Use Face Scrutiny

OpenAI Says Internal AI Network Proved Navier–Stokes as Demand, Data and Safety Questions Mount