Carina Hong 还有哪些别名？

Carina Hong 也被称为：Carina。

Carina Hong 最近有什么新动态？

traeai 已收录 2 篇与 Carina Hong 相关的内容。最新一篇是「🔬Scaling Past Informal AI - Carina Hong, Axiom Math」，由 Latent Space 发布。

人物

什么是 Carina Hong？

也叫：Carina

Axiom Math CEO，主张以Verified AI作为AGI路径的关键里程碑。

为什么现在值得关注？

如果只读 3 篇

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

Latent Space · 8.7 分

🆕Scaling Past Informal AI https://t.co/eZz4ziS9yh @axiommathai founder & CEO @CarinaLHong explains...

Latent.Space(@latentspacepod) · 8.5 分

📰 Carina Hong 最新动态

已收录 2 篇与「Carina Hong」相关的 AI 资讯和分析。

Scaling Past Informal AI - Carina Hong, Axiom Math

Latent Space6月4日1535 字 (约 7 分钟)

Axiom Math advances Verified AI to scale brilliance and compound it through formal proofs with Lean, achieving 12/12 on Putnam and 99% (187/189) on Verina Codegen, far exceeding OpenAI o3’s 4.9%, providing critical capability verification and knowledge propagation for AGI.

入选理由：Axiom在Putnam考试中取得12/12，优于顶尖本科生与当时最接近的AI系统DeepSeek（103/120）。

FeaturedArticle#Verified AI#Formal Verification#Lean#AGI#Putnam Exam英文

🆕Scaling Past Informal AI
https://t.co/eZz4ziS9yh

@axiommathai founder & CEO @CarinaLHong explains...

Latent.Space on X: Scaling Past Informal AI

Latent.Space(@latentspacepod)6月4日205 字 (约 1 分钟)

Carina Hong, CEO of Axiom Math, discusses why math may be the missing path from code agents to AGI, how verified AI is about scaling brilliance not just fixing hallucinations, and the role of Lean and formal proofs in turning reasoning into a stronger reward signal.

入选理由：Math may be the missing path from code agents to AGI.

FeaturedTweet#AI#mathematics#AGI#verification英文

与「Carina Hong」经常一起出现的 AI 术语。

Putnam exam Srinivasa Ramanujan Lean Axiom Math AXLE OpenAI o3 DeepSeek

💡 想追踪「Carina Hong」的长期趋势？去实体雷达 · Carina Hong 查看详细分析和跨材料问答。