AI ALIGNMENT FORUM
AF

Fixed Points

This is a sequence on Fixed Point Theorems, that includes ~30 exercises and examples of them being used in Agent Foundations research.

8Fixed Point Exercises

Scott Garrabrant

7mo

0

Exercises

13Topological Fixed Point Exercises

Scott Garrabrant, Sam Eisenstat

7mo

40

6Diagonalization Fixed Point Exercises

Scott Garrabrant, Sam Eisenstat

7mo

13

6Iteration Fixed Point Exercises

Scott Garrabrant, Sam Eisenstat

7mo

7

Discussion

8Fixed Point Discussion

Scott Garrabrant

7mo

0

Example Research Using Fixed Points

8Hyperreal Brouwer

Scott Garrabrant

7mo

0

12Formal Open Problem in Decision Theory

Scott Garrabrant

7mo

19

7The Ubiquitous Converse Lawvere Problem

Scott Garrabrant

7mo

0

9Reflective oracles as a solution to the converse Lawvere problem

7mo

0