//
sign in
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
A new philosophy of AI paper out in Topoi, it is part of the very interesting collection "Meaning and Understanding via Proofs". This one is also open access. link.springer.com/article/10.1...
Jan 29, 2025
link.springer.com
One key question in the philosophy of artificial intelligence (AI) concerns how we can recognize artificial systems as intelligent. To make the general question more manageable, I focus on a particula...
How to Recognize Artificial Mathematical Intelligence in Theorem Proving - Topoi
Markus Pantsar