Ciarán Dunne
@zermelo.bsky.social
enjoyer of set theory, formalized mathematics.
working on finding mathematical and computational structures to faithfully represent 20th century mathematics and beyond
☸️
working on finding mathematical and computational structures to faithfully represent 20th century mathematics and beyond
☸️
cabal and stack dependency hell is my downfall for hobby projects
February 7, 2024 at 6:06 PM
cabal and stack dependency hell is my downfall for hobby projects
for real — I see one of these papers almost every day and they don't even bother to mention the decades of work in formal theorem proving. I get that they view all ATP/ITP as "symbolic" AI, but damn their ignorance is damning.
imo to have AGI you NEED something like formal theorem proving
imo to have AGI you NEED something like formal theorem proving
February 6, 2024 at 11:05 PM
for real — I see one of these papers almost every day and they don't even bother to mention the decades of work in formal theorem proving. I get that they view all ATP/ITP as "symbolic" AI, but damn their ignorance is damning.
imo to have AGI you NEED something like formal theorem proving
imo to have AGI you NEED something like formal theorem proving