「安全创业公司」共找到 2736 篇相关文章
菲尔兹奖成果首次被AI完整形式化，Gauss20万行代码改写数学史？
Math, Inc. 公司用 Gauss 智能体完成 8 维和 24 维空间最优球体堆积定理形式化证明，代码约 20 万行。该定理最初由 Maryna Viazovska 及其合作者证明，这是本世纪首个被完全形式化证明的菲尔兹奖成果。
BigBang-Proton: 自回归基座模型统一语言、科学和物质世界
超对称公司发布新版基座模型 BigBang - Proton，实现多学科问题与 LLM 统一预训练和推理，挑战主流 AGI 技术路线。它有三项创新，在多专业学科任务表现出色，还提出宇宙尺度压缩构想。
专访 RockFlow Vakee：AI 如何重构投资体验，让金融“说人话”
该专访对话 RockFlow 创始人 Vakee，探讨 AI 重构投资体验。她分享创业初衷、团队理念及人才需求，还谈及 GenZ 投资特点与 RockFlow 应对策略，介绍了 Bobby 功能、规划及 RockFlow 在金融科技领域的发展方向。
CEO卷款夜逃迪拜，15亿美元独角兽爆雷！700印度码农冒充AI，坑惨微软
Builder.ai自称用AI简化软件开发，吸引微软、软银等巨额投资，估值一度超15亿美元。但实际靠人工冒充AI，财务造假，最终破产。类似的“AI诈骗”不止这一起，多家公司被指控欺诈投资者。
扣子要做 Agent 时代的 Infra，附开源版搭建全流程
扣子宣布开源 Coze Studio，后端用 Golang，前端用 React 和 TypeScript，基于微服务架构。借助火山引擎 ECS 可一键部署，还能更换自定义模型。官方表示开源是为顺应趋势、确保安全及获开发者反馈。
刚刚，黄仁勋公开批评了所有因为AI而裁员的 CEO:缺乏想象力
黄仁勋在GTC2026小采访中批评因AI裁员的CEO缺乏想象力。他认为AI放大人的能力，非替代工人，AI公司营收增长快，NVIDIA订单多还招人，他还提到新产品OpenClaw。
具身智能独角兽招CFO，年薪3000万
具身智能公司抢人激烈，行业独角兽愿掏3000万年薪聘CFO。如今CFO不仅要推动上市，还需懂业务、懂战略、善于融资。因行业格局固化、融资难，CFO成关键，高薪抢人是多重因素倒逼。
AI黑化如恶魔附体！LARGO攻心三步，潜意识种子瞬间开花 | NeurIPS 2025
在NeurIPS 2025，哥大与罗格斯提出LARGO，它不改提问，直接在模型“潜意识”动手脚，绕过安全防护输出不该说的话。其分三步攻击，成功率高、隐蔽且迁移性强，暴露大模型根本性弱点。
梁文锋叫停签约，DeepSeek百亿新融资或全面暂停；白宫控月之暗面蒸馏Anthropic Fable 5遭驳；腾讯员工晒317万年终奖被辞永不录用｜Q资讯
本文汇总一周AI行业热点，有DeepSeek百亿融资或暂停、Karpathy或从Anthropic离职等消息，还涉及腾讯、360、美团等公司动态，以及多个新模型发布与技术成果。
具身智能稀缺的数据，可能藏在这个游戏手柄里？
游戏录屏平台Medal掌握的玩家操作记录成机器人模型训练核心数据。其创始人皮姆创办General Intuition获高额融资，该公司用游戏录像预训练动作模型，但也面临数据多元性、任务表现及合作模式等问题。