Back to article
arxiv.org

Advancing Mathematics Research with AI-Driven Formal Proof Search (opens in new tab)

Covered by 10 sources See all sources covering this story including ScienceAlert, DEV CommunityDiscussed on Hacker News and Hacker News

Covered in 10 articles

ScienceAlert·

Stunning AI Solution For 80-Year-Old Problem Shocks Mathematicians

Feeds
DEV Community·

How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification

Discussed on DEV
Feeds
The Conversation·

An AI solution to an 80-year-old problem has shocked mathematicians

Feeds
Phys.org·

An AI solution to an 80‑year‑old problem has shocked mathematicians

Feeds
nidhish.dev·

Why Good Engineers Become Worse with AI

Discussed on Hacker News
Feeds
ZME Science·

OpenAI Model Cracked an 80-Year-Old Math Problem and Mathematicians Are Stunned

Feeds
korbonits·

Who verifies the verifier? Notes on DeepMind's formal proof-search paper

Discussed on Hacker News
Feeds
Mapping Ignorance·

An AI solution to an 80‑year‑old Erdős problem

Feeds
Singularity Hub·

An AI Solution to an 80‑Year‑Old Problem Has Shocked Mathematicians

Feeds

In other languages

habr.com·

ИИ-агент DeepMind закрыл 9 математических задач. Цена — около $200 на задачу

Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help