AINews：TypeSafe/Jev 上线三周 ARR 超 1 亿美元、估值 75 亿美元
AINews 汇总 10 月 8 日至 9 日动态：TypeSafe 宣布 Series AI，Sequoia 透露其上线首周 ARR 突破 1 亿美元，Jev 成为多家厂商对标的决策模型参考点。
#现象/趋势
Latent SpaceAI 评分6262 The Decoder精选AI 评分7676 数学家呼吁抵制 OpenAI，AI 生成证明涌入数学界
数学界部分人士呼吁抵制 OpenAI，起因是 OpenAI 一次性放出 700 多个文件，声称其内部模型一个月内解决了 100 多个未解数学问题，包括对 Navier-Stokes 千禧年难题的一种思路。
推荐理由：数学界对 OpenAI 批量放出 AI 证明的反弹，呈现了 AI 冲击学术共同体时两种合作模式的差异。