PERSON DIRECTORY
洪乐潼Carina
洪乐潼Carina appears in 1 indexed conversation across 张小珺Jùn｜商业访谈录. This directory brings every appearance, source, TL;DR, digest, and transcript into one searchable feed.
1 EPISODE1 SHOW
Language
137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的
Axiom押注的不是单一模型，而是以Lean为验证底座、结合工具链与多代理的AI数学家系统，已获6,400万美元种子轮和至少2亿美元A轮融资。普特南12题满分与Verina基准98.93%显示执行速度和跨域潜力，但代码与芯片验证仍受specification、稀缺Lean数据及商业化终局不确定性约束。