•

•

•

Applied to Roadmap for a collaborative prototype of an Open Agency Architecture by Deger Turan 7mo ago

•

Applied to What Programming Language Characteristics Would Allow Provably Safe AI? by Noosphere89 7mo ago

•

Applied to Davidad's Bold Plan for Alignment: An In-Depth Explanation by Charbel-Raphael Segerie 7mo ago

•

Applied to Squeezing foundations research assistance out of formal logic narrow AI. by thegearstoascension 9mo ago

•

Applied to Interview Daniel Murfet on Universal Phenomena in Learning Machines by Alexander Gietelink Oldenziel 10mo ago

•

•

•

•

•

•

•

•

A

Formal Proofis a~~set~~finite sequence of steps from axiom(s) or previous derived proof(s) which strictly follow the allowed rules of inference of the mathematical system in which it exists. They are used to establish statements as true within a mathematical framework in a way which can be independently verified with extremely high certainty, with the most reliable flavor of proof being machine-checked proofs generated by proof assistants since they have even less room for human error.