AI ALIGNMENT FORUMTags
AF

Formal Proof

EditHistorySubscribe
Discussion (0)
Help improve this page
EditHistorySubscribe
Discussion (0)
Help improve this page
Formal Proof
Random Tag
Contributors
2Pablo Stafforini
1plex

A Formal Proof is a 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.

Posts tagged Formal Proof
Most Relevant
1
6Squeezing foundations research assistance out of formal logic narrow AI.
Donald Hobson
14d
0
1
33Boundaries vs Frames
Scott Garrabrant
5mo
6
0
20Alignment proposals and complexity classes
Evan Hubinger
3y
26
0
9Weak HCH accesses EXP
Evan Hubinger
3y
0
0
5Infra-Domain proofs 1
Diffractor
2y
0
0
5Infra-Domain Proofs 2
Diffractor
2y
0
0
4Proofs Section 1.1 (Initial results to LF-duality)
Diffractor
3y
0
0
4Proofs Section 2.1 (Theorem 1, Lemmas)
Diffractor
3y
0
0
4Proofs Section 2.2 (Isomorphism to Expectations)
Diffractor
3y
0
0
4Proofs Section 2.3 (Updates, Decision Theory)
Diffractor
3y
0
0
4Proofs Section 1.2 (Mixtures, Updates, Pushforwards)
Diffractor
3y
0
0
2Allowing a formal proof system to self improve while avoiding Lobian obstacles.
Donald Hobson
4y
0
0
4Logical inductor limits are dense under pointwise convergence
Sam Eisenstat
6y
0
0
3Counterfactual Induction (Algorithm Sketch, Fixpoint proof)
Diffractor
3y
0
Add Posts