速递|斯坦福90后中国数学博士的AI公司,未出产品先融资5000万美元,B Capital正洽谈领投
数学博士Carina Hong创立Axiom公司,计划开发能够进行形式化数学证明的人工智能,目标客户为对冲基金和量化交易公司。
数学博士Carina Hong创立Axiom公司,计划开发能够进行形式化数学证明的人工智能,目标客户为对冲基金和量化交易公司。
AI 编程平台 Windsurf 宣布因 Anthropic 断供 Claude 3.x 系列模型而出现容量问题,推出优惠方案并限制免费用户访问。Windsurf 强调维护优质产品和用户体验的重要性,并打起了道德感情牌。
乐享科技宣布完成近3亿元人民币融资,专注于家庭消费场景下的通用机器人产品。公司通过引入创新技术和年轻人才,致力于开发具有情感和性格的具身智能机器人。
短剧正迎来转折关口,各路视频平台纷纷加大投入争夺市场。中央广播电视总台启动《奇迹》项目,爱优腾等传统平台调整架构、改版APP,力求在短剧赛道上确立地位。短剧正在分流观众注意力和广告投放资源,但同时也带来机会,如获得政策扶持和资本青睐。短剧市场竞争升级,加速行业从草莽期向精品化转变。
OpenAI 推出 ChatGPT 新功能,包括连接器和记录模式。连接器可打通企业常用平台,让ChatGPT接入内部知识体系;记录模式则在会议中自动录音、记笔记并生成会议纪要,提高会议效率。