Skip to content
ENTITY PROFILE / KNOWLEDGE GRAPH

Max Resnick

RSS

Max Resnick speaks to Decrypt Max Resnick manages the economic strategy for Anza Anza has Max Resnick as its economic strategist Axiom announced a complete Lean auto-formalization of the Classification of Finite Simple Groups· Entity summary generated by Graphiti

RELATIONS
4Relations
CURRENT
4Current
EVENTS
2Events
REPORTS
3Source 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 sourceLeopold Aschenbrenner
  2. Max ResnickMANAGED ECONOMIC STRATEGY OFAnza

    Max Resnick manages the economic strategy for Anza

    Current1 sourceAnza
  3. AnzaHAS ECONOMIC STRATEGISTMax Resnick

    Anza has Max Resnick as its economic strategist

    Current1 sourceAnza
  4. Max ResnickSPEAKS TODecrypt

    Max Resnick speaks to Decrypt

    Current1 sourceDecrypt

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 3