OurBigBook
About
$
Donate
Sign in
+
Sign up
Ciro Santilli
@cirosantilli
34
Follow (8)
Message
Incoming links:
AGI-complete
Show body
Body
0
Automated theorem proving
Updated
2024-12-15
+
Created
1970-01-01
View more
AGI-complete
in general? Obviously. But still, a lot can be done. See e.g.:
The Busy Beaver Challenge
deciders
Total
articles
:
1