automated theorem proving AI News & Updates

2026-09-11 20:57 [Industry Trend] [SRC↗]

Fields Medalists Sign Open Letter as OpenAI's Math-Proof Race Sparks Attribution Fight

Twenty-five Fields Medal winners signed an open letter warning that AI labs racing to solve famous mathematical problems are undermining the norms of attribution, verification, and open research in mathematics. The dispu...

[OpenAI] [Anthropic] [automated theorem proving] [mathematics] [research norms] [attribution and plagiarism]

Risk: [+0.05% ↑] [-1 days ↑]

AGI: [+0.04% ↑] [-1 days ↑]

Analyze >>

2026-08-11 16:25 [Research Breakthrough] [SRC↗]

Unreleased Anthropic Model Autonomously Advances Riemann Hypothesis Bound via 60 Sub-Agents

Anthropic announced that an unreleased model made significant progress on the Riemann hypothesis by raising the lower bound for which it holds, after a staffer without significant mathematical training prompted it and le...

[Anthropic] [Multi-Agent Systems] [riemann hypothesis] [automated theorem proving] [lean proof assistant]

Risk: [+0.08% ↑] [-1 days ↑]

AGI: [+0.07% ↑] [-1 days ↑]

Analyze >>