3 ms·
Assuming neural nets could solve every problem, who writes the formal contracts and validates the proofs? I would call the person writing the contract the "soft
by skywhopper 9y ago
Assuming neural nets could solve every problem, who writes the formal contracts and validates the proofs? I would call the person writing the contract the "software engineer" and the prover the "QA engineer", and we're back to the status quo.
- swiley 9y agoYou can represent any function with a neural net, it's just a matter of figuring out how to get it to learn the function. But at the end of the day you need something human (or equivalent) to validate it, and as any programmer knows it's a lot easier to understand and validate something you've written than something someone (or something) else has written.