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.

15Fixed Point Exercises

Scott Garrabrant

5y

0

Exercises

22Topological 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

0

12Formal Open Problem in Decision Theory

Scott Garrabrant

5y

24

10The Ubiquitous Converse Lawvere Problem

Scott Garrabrant

5y

0

11Reflective oracles as a solution to the converse Lawvere problem

5y

0