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

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
搜索: 2
马斯克豪掷40亿购10万张H100训Grok 3!自曝Grok 2下月上线,巨额博弈剑指OpenAI

马斯克豪掷40亿购10万张H100训Grok 3!自曝Grok 2下月上线,巨额博弈剑指OpenAI

马斯克豪掷40亿购10万张H100训Grok 3!自曝Grok 2下月上线,巨额博弈剑指OpenAI

马斯克连回两条推文为xAI造势,宣布8月发布Grok 2,年底将推出在10万张H100上训练的Grok 3,芯片加持创新数据训练,打造对标GPT的新一代大语言模型。

来自主题: AI资讯
10730 点击    2024-07-03 16:19
陶哲轩转赞!40多年「忙碌海狸」数学难题获突破,4万行Coq代码立大功

陶哲轩转赞!40多年「忙碌海狸」数学难题获突破,4万行Coq代码立大功

陶哲轩转赞!40多年「忙碌海狸」数学难题获突破,4万行Coq代码立大功

「忙碌海狸」难题困扰了计算机科学家40多年。如今,来自全球各地20+业余开发者和数学家们,终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明,得到答案47176870。对此陶哲轩激动地表示,这再次体现了证明助手对数学研究协作的重要性。

来自主题: AI资讯
10098 点击    2024-07-03 16:11
24小时智能零售平台破1000家,「快进商店」获数百万美元战略融资

24小时智能零售平台破1000家,「快进商店」获数百万美元战略融资

24小时智能零售平台破1000家,「快进商店」获数百万美元战略融资

36氪获悉,快进时代(厦门)科技有限公司旗下「快进商店」宣布完成数百万美元战略融资,投资方为纳斯达克上市公司第九城市。本轮融资资金将主要用于产品升级及市场拓展。此前,「快进商店」已经完成了由小一创投投资的数百万人民币天使轮融资以及挑战者创投投资的千万级人民币Pre-A轮融资。

来自主题: AI资讯
11183 点击    2024-07-03 15:18
苹果为什么要用「小模型」?

苹果为什么要用「小模型」?

苹果为什么要用「小模型」?

WWDC 2024上,苹果推出了Apple Intelligence,向大家展示了如何开发、训练出功能强大、快速且节能的模型,如何根据特定用户需求进行微调,以及如何评估模型的性能。

来自主题: AI资讯
6207 点击    2024-07-02 18:31
大模型性能掺水严重?北大交出答卷:交互评估+动态出题,死记硬背也没用 | ACL 2024

大模型性能掺水严重?北大交出答卷:交互评估+动态出题,死记硬背也没用 | ACL 2024

大模型性能掺水严重?北大交出答卷:交互评估+动态出题,死记硬背也没用 | ACL 2024

当前大语言模型(LLM)的评估方法受到数据污染问题的影响,导致评估结果被高估,无法准确反映模型的真实能力。北京大学等提出的KIEval框架,通过知识基础的交互式评估,克服了数据污染的影响,更全面地评估了模型在知识理解和应用方面的能力。

来自主题: AI技术研报
6188 点击    2024-07-02 18:25
姚班大神陈立杰获UC伯克利教职,2025年秋季入职

姚班大神陈立杰获UC伯克利教职,2025年秋季入职

姚班大神陈立杰获UC伯克利教职,2025年秋季入职

姚班大神陈立杰最新去向现已明朗:2025年秋季起,任加州大学伯克利分校EECS助理教授。

来自主题: AI资讯
11626 点击    2024-07-02 18:14