Mathematics2026 · shared on Hacker News
Advancing Mathematics Research with AI-Driven Formal Proof Search
Explore Advancing Mathematics Research with AI-Driven Formal Proof Search, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ytedsanders ·
An OpenAI model has disproved a central conjecture in discrete geometry
154 points82 comments
Ymilkshakes ·
Ten advances in mathematics and theoretical computer science
20 points1 comments
Yhackernj ·
AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures
2 points1 comments
Ytamnd ·
Advancing Mathematics Research with AI-Driven Formal Proof Search
2 points0 comments
Yazhenley ·
Advancing mathematics research with AI-driven formal proof search
2 points0 comments
Ymrkn1 ·
Advancing Mathematics Research with AI-Driven Formal Proof Search
1 points0 comments
YJimmc414 ·
Advancing Mathematics Research with AI-Driven Formal Proof Search
1 points0 comments