Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
#
lean4
Follow
Hide
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Can an Autonomous AI Solve a Millennium Prize Problem? Inside the 24/7 Lean 4 Prover
MillenniumProblemsAI
MillenniumProblemsAI
MillenniumProblemsAI
Follow
Sep 30
Can an Autonomous AI Solve a Millennium Prize Problem? Inside the 24/7 Lean 4 Prover
#
ai
#
math
#
lean4
#
datascience
Comments
Add Comment
3 min read
Atlas Theorem: How Far Can You Zoom Out?
Hiroyuki Nakahata
Hiroyuki Nakahata
Hiroyuki Nakahata
Follow
Aug 8
Atlas Theorem: How Far Can You Zoom Out?
#
ai
#
softwareengineering
#
lean4
2
 reactions
Comments
Add Comment
17 min read
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
