Skip to content
ENTITY PROFILE / KNOWLEDGE GRAPH

Leopold Aschenbrenner

RSS

Leopold Aschenbrenner founded Situational Awareness Leopold Aschenbrenner was a researcher at OpenAI Axiom announced a complete Lean auto-formalization of the Classification of Finite Simple Groups· Entity summary generated by Graphiti

RELATIONS
3Relations
CURRENT
3Current
EVENTS
2Events
REPORTS
2Source reports
KNOWLEDGE ATLAS0 entities · 0 relations
No public neighbors yet
Explore all published links of a node; previously discovered relations remain visible.

Relation timeline

BY VALID-FROM DATE
  1. Leopold AschenbrennerFORMALIZEDMax Resnick

    Axiom announced a complete Lean auto-formalization of the Classification of Finite Simple Groups

    Current1 sourceMax Resnick
  2. Leopold AschenbrennerEX RESEARCHER ATOpenAI

    Leopold Aschenbrenner was a researcher at OpenAI

    Current1 sourceOpenAI
  3. Leopold AschenbrennerFOUNDEDSituational Awareness

    Leopold Aschenbrenner founded Situational Awareness

    Current1 sourceSituational Awareness

Relations are facts Graphiti extracted from reports, not verbatim quotes. An end date means later reporting showed the relation no longer holds.

Events 2

Source reports 2