什么是 Carina Hong？

Axiom Math以Verified AI为核心，通过形式化证明与Lean工具将“ brilliance”规模化与复利化，已在Putnam达全对并在Verina Codegen取得99%，显著高于OpenAI o3的4.9%，为AGI路径提供关键能力验证与知识传播范式。

Carina Hong，Axiom Math的创始人兼CEO，讨论了为什么数学可能是从代码代理到AGI的缺失路径，以及为什么验证AI不仅仅是修复幻觉，而是关于扩展 brilliance。