ENTITY PROFILE / 实体档案
Max Resnick
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· Graphiti 生成的实体摘要
RELATIONS
4关系CURRENT
4当前有效EVENTS
2相关事件REPORTS
3来源报道暂无可公开的邻近关系
按需展开实体的全部已公开关系，保留探索过的节点与连线。
关系变化
按生效时间- Leopold AschenbrennerFORMALIZEDMax Resnick
Axiom announced a complete Lean auto-formalization of the Classification of Finite Simple Groups
- Max ResnickMANAGED ECONOMIC STRATEGY OFAnza
Max Resnick manages the economic strategy for Anza
- AnzaHAS ECONOMIC STRATEGISTMax Resnick
Anza has Max Resnick as its economic strategist
- Max ResnickSPEAKS TODecrypt
Max Resnick speaks to Decrypt
关系是 Graphiti 从报道中提取的事实陈述，不是原文引述；失效时间表示后来的报道显示这条关系已不成立。