Conjectures

Bold, falsifiable ideas open for rational criticism

Filter by tag:

Clear filter
africa agriculture ai aliens astronomy battery biology charity chemistry cognition compositionality computational biology consciousness determinism diabetes drug delivery economics education effective altruism embodiment energy energy storage ethics finance formal logic free will fringe science global health health tech intelligence lifepo₄ linguistics logic markets medicine metaphysics methodology microgrid mrna nv-centre peer review philosophy protein folding psychology quantum sensing rlhf rust safety security software space statistics sustainability theorem proving transformers vertical farming
Showing conjectures tagged:
formal logic
Active
3 months ago

LLM Proofs

ai theorem proving formal logic

Large language models without explicit training on formal logic cannot construct a valid novel proof in Zermelo–Fraenkel set theory containing more...

By Anonymous User
0 refutations View