Performance in formal domains is verifiable
This is a VERY important factor, possibly the only one that really matters. Along with “no harm, just retry or defer failed/unverifiable attempts”, which applies to lots of math, and very few real-world uses.
This is a VERY important factor, possibly the only one that really matters. Along with “no harm, just retry or defer failed/unverifiable attempts”, which applies to lots of math, and very few real-world uses.