4 ms·
But for it to be 100% trustworthy, you'd have to express correctness criteria for those simple tasks as formal statements.
by creata 2y ago
But for it to be 100% trustworthy, you'd have to express correctness criteria for those simple tasks as formal statements.
- lanstin 2y agoAnd most applied maths doesn't seem to worry about proofs much. They have techniques that either work pretty well or blow up.
- optimalsolver 2y agoBridge collapses are a form of proof validation.
- geysersam 2y agoMy intuition is that a regular LLM is better att coming up with a correct task description from a fuzzy description than it is at actually solving tasks.
- humansareok1 2y agoThere's a lot of automated proof checkers out there. Presumably you would just run any solution from an AI through those.