AI ALIGNMENT FORUMFixed Points
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.

Exercises

23Topological Fixed Point Exercises

Scott Garrabrant, Sam Eisenstat

5y

40

12Diagonalization Fixed Point Exercises

Scott Garrabrant, Sam Eisenstat

5y

13

10Iteration Fixed Point Exercises

Scott Garrabrant, Sam Eisenstat

5y

7

Discussion

12Fixed Point Discussion

Scott Garrabrant

5y

0

Example Research Using Fixed Points

9Hyperreal Brouwer

Scott Garrabrant

5y

2

12Formal Open Problem in Decision Theory

Scott Garrabrant

5y

24

10The Ubiquitous Converse Lawvere Problem

Scott Garrabrant

5y

0

17Reflective oracles as a solution to the converse Lawvere problem

5y

0

15Fixed Point Exercises

Scott Garrabrant

5y

0