实体
Institute of Theoretical Physics
Institute of Theoretical Physics
PulseAugur coverage of Institute of Theoretical Physics — every cluster mentioning Institute of Theoretical Physics across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
关系
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
AI4Math 阅读分享：2026年8月3日至9日
此集群包含一项详细介绍2026年8月3日至9日期间分享的阅读材料。这些阅读材料与AI相关，特别是AI4Math，并涵盖了Coq、FormalVerification、FunctionalProgramming、Haskell、ITP、IsabelleHOL、LeanProver和Logic等主题。
-
AI安全形式化地图集发布，使用Lean Prover
Mario Brčić及其合作者发布了一个新的开源项目——AI安全形式化地图集。该项目旨在利用Lean Prover（一个定理证明器和编程语言）来形式化AI安全原则。该项目托管在GitHub上，并与理论物理研究所相关。
-
Innocare Pharma的ITP药物申请获中国监管机构受理
Innocare Pharma开发的创新药物奥布替尼（Orelabrutinib）治疗原发免疫性血小板减少症（ITP）的新药上市申请已获得中国国家药品监督管理局受理。这是奥布替尼的首个自身免疫性疾病适应症，填补了中国市场BTK抑制剂在ITP治疗领域的空白。公司预计此项进展不会对当前财务业绩产生即时重大影响。