搜索
陶哲轩等25位菲尔兹奖得主联名发表公开信，抗议OpenAI与Anthropic将千禧年数学难题当作基准测试和公关素材，指控其涉嫌窃取数学家未公开研究成果以暴力破解黎曼猜想等难题，警告AI公司正在摧毁数学学术生态。
长期对标Palantir的企业级AI公司悦点科技完成数千万元Pre-A轮融资，由盈富泰克领投、水木创投跟投，公司已实现盈亏平衡，累计付费客户近100家，2023至2025年订单与收入年复合增长率均超300%。
融资资金将用于扩大前沿模型研究、提升模型训练算力等。 编译 | 杨京丽 编辑 | 李水青 智东西9月8日消息，今日，法国AI公司Mistral宣布完成30亿欧元（约合人民币234亿元）D轮融资，投后估
成立不到一年，明星AI公司 Violoop 正式完成亿元级天使轮及Pre-A轮融资。
新加坡Physical AI公司Ropedia正式发布新一代多模态采集系统HOMIE Gen2，以4目全景360°、十余种模态同步采集与开箱即用的高精度训练级数据，将人类经验规模化为机器人可直接学习的训练数据，推动Physical AI的经验规模化落地。
一对清华师生，两家AI公司。十多年前，唐杰和杨植麟还只是清华实验室里的一对师生。如今，唐杰联合创办了智谱AI，杨植麟带领月之暗面（Moonshot AI）。智谱港股上市后市值一度突破1万亿港元，月之暗面则在2026年完成F轮融资后估值达到350亿美元。
新智元报道 人类证出来的最难素数定理，AI刚从头验了一遍。 结论是：证明成立，逻辑无误。 8月17日，由一位25岁广州女孩创立的AI公司Axiom Math宣布，自家系统AxiomProver完成了「
真是没想象到，卖了大半辈子芯片的老黄，最近开始当起了 AI 圈的“红娘”。 一头是手握GPU的AI公司，一头是手握电力和机柜的数据中心。 两边都是老黄的客户。 据CNBC报道说，老黄最近正在北欧牵线，
8月13日凌晨，DeepSeek V4 Pro正式登场，给开源模型生态又添一把猛火。从Kimi K3到MiniMax H3，再到DeepSeek V4 flash、DeepSeek V4 Pro，在中国开源模型的猛攻之下，美国的AI公司这次是真的坐不住了。
2026 年 5 月 20 日，OpenAI 发了一条公告，震动了整个数学界。