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.

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, 13h ago, first seen 13h ago

TLDR

Today's Rank

Combined views

19.4K

2 Sources, first seen 13h ago

249 likes6 comments94 saves51 reposts

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

Featured Source