Announcement

Google DeepMind's AlphaProof Nexus Solves Open Mathematics Problems with AI

A project researcher says the AlphaProof Nexus paper appeared in Science; collaborators used agents like it for research-level proofs.

部品

2 Sources, 20d ago, first seen 20d ago

TLDR

A researcher involved in AlphaProof Nexus says its technical paper appeared in Science on October 8 and that collaborators have used LLM-powered proof agents like it to prove research-level results. Another post says the system solved 53 open problems, including nine Erdős problems. The researcher credits the formal mathematics community and says systems like Lean make AI proofs trustworthy.

Today's Rank

—

Not ranked yet

Combined views

29.1K

2 Sources, first seen 20d ago

Google DeepMind's AlphaProof Nexus Solves Open Mathematics Problems with AI

TLDR

Combined views

Combined views

How the proof loop works

5 Sources

How the proof loop works

A checked proof can still formalize the wrong question

Useful results, with clear limits

5 Sources

5 Sources

5 Sources

5 Sources

5 Sources

5 Sources

5 Sources