AI资讯新闻榜单内容搜索-o

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
搜索: o
苹果史上最大投资!4年5000亿美金重注AI+芯片,特朗普专门感谢

苹果史上最大投资!4年5000亿美金重注AI+芯片,特朗普专门感谢

苹果史上最大投资!4年5000亿美金重注AI+芯片,特朗普专门感谢

在创始人、已故CEO乔布斯诞辰70周年之际,苹果宣布未来4年在本土投资5000亿美元,加速AI和半导体投资进度,将新建24家工厂,创造2万个就业岗位。

来自主题: AI资讯
10540 点击    2025-02-26 09:42
超越DeepSeek-ProverV1.5!豆包首个形式化数学推理模型BFS-Prover来了,直接开源

超越DeepSeek-ProverV1.5!豆包首个形式化数学推理模型BFS-Prover来了,直接开源

超越DeepSeek-ProverV1.5!豆包首个形式化数学推理模型BFS-Prover来了,直接开源

自动形式化数学定理证明,是人工智能在数学推理领域的重要应用方向。此类任务需要将数学命题和证明步骤转化为计算机可验证的代码,这不仅能确保推理过程的绝对严谨性,还能构建可复用的数学知识库,为科学研究提供坚实基础。

来自主题: AI技术研报
7705 点击    2025-02-26 09:37
豪掷 2.2 亿美元!MongoDB 官宣收购一家刚成立 17 个月的 AI 公司,由清华姚班校友创立

豪掷 2.2 亿美元!MongoDB 官宣收购一家刚成立 17 个月的 AI 公司,由清华姚班校友创立

豪掷 2.2 亿美元!MongoDB 官宣收购一家刚成立 17 个月的 AI 公司,由清华姚班校友创立

在科技界,快速崛起和巨额交易总是备受关注。本周,MongoDB 宣布以 2.2 亿美元的价格收购 Voyage AI——一家刚成立 17 个月、在嵌入(embedding)和重排序(reranking)模型领域处于行业领先地位的 AI 初创公司。

来自主题: AI资讯
9352 点击    2025-02-25 19:05
中文比R1丝滑、玩宝可梦还贼溜?全球首个混合推理模型Claude 3.7 Sonnet太惊艳,网友直呼“孤独求败”!

中文比R1丝滑、玩宝可梦还贼溜?全球首个混合推理模型Claude 3.7 Sonnet太惊艳,网友直呼“孤独求败”!

中文比R1丝滑、玩宝可梦还贼溜?全球首个混合推理模型Claude 3.7 Sonnet太惊艳,网友直呼“孤独求败”!

当地时间 2 月 25 日,Anthropic 正式发布了 Claude 3.7 Sonnet,“这是迄今为止我们最智能的模型,也是市场上首个混合推理模型。”Anthropic 官方表示。

来自主题: AI技术研报
7997 点击    2025-02-25 15:09
官方承认系统「作弊」,世界首个「AI CUDA工程师」翻车?o3-mini 11秒发现bug

官方承认系统「作弊」,世界首个「AI CUDA工程师」翻车?o3-mini 11秒发现bug

官方承认系统「作弊」,世界首个「AI CUDA工程师」翻车?o3-mini 11秒发现bug

高调亮相的世界首个「AI CUDA工程师」,宣称能让模型训练速度飙升100倍,如今却上演了一场「作弊」闹剧。OpenAI研究员用o3-mini,11秒便发现了内核代码有bug!

来自主题: AI技术研报
12473 点击    2025-02-25 14:59
速递|斯坦福华人教授AI初创被2.2亿美金收购,以增强MongoDBAI搜索能力

速递|斯坦福华人教授AI初创被2.2亿美金收购,以增强MongoDBAI搜索能力

速递|斯坦福华人教授AI初创被2.2亿美金收购,以增强MongoDBAI搜索能力

数据库公司 MongoDB Inc.宣布,将以 2.2 亿美元的现金加股票交易收购 Voyage AI,以加速其帮助客户构建人工智能驱动应用程序的能力。

来自主题: AI资讯
8445 点击    2025-02-25 14:48