no code implementations • 12 Nov 2022 • Paul Christiano, Eric Neyman, Mark Xu
Mathematical proof aims to deliver confident conclusions, but a very similar process of deduction can be used to make uncertain estimates that are open to revision.
valid