风投和初创团队是脸书系

https://techfundingnews.com/axiom-math-ai-mathematician-64m-seed/

https://b.capital/why-we-invested/toward-mathematical-superintelligence-why-we-invested-in-axiom/

B Capital 领导好像是小扎的戏剧对手:

https://b.capital/team/

这个公司估值300M，看到有刚离开独角兽的小中女和明星准备融1B估值5B如果能融到： https://bbs.wenxuecity.com/znjy/7625035.html

所有跟帖： 

• 娃谈过一家做数学证明的初创，一堆东欧奥数队的，感觉没啥前途。 -whaled- ♂ (0 bytes) () 12/05/2025 postreply 08:59:37

• 光nerds 不行，钱算不清，也不会合纵连横;巨硬起步gates是商业领导，谈合同拉项目管人非常精明, 虽然也写码 -米汤- ♂ (138 bytes) () 12/05/2025 postreply 09:05:54

• Robinhood老板和几个东欧人办的公司，应该有一定背景，不过Deepmind和OpenAI都在做，没那么容易 -whaled- ♂ (0 bytes) () 12/05/2025 postreply 09:14:59