Mistral AI 宣布推出针对 Lean 4 形式化证明的开源模型 Leanstral 1.5，总参数量 1190 亿、激活参数约 65 亿，支持最高 25.6 万 token 的上下文长度。 官方数据显示，Leanstral 1.5 在多项数学逻辑基准测试中刷新了纪录，展现出较强的推理能力：
5 月 29 日消息，据央视新闻报道，中核集团核工业西南物理研究院传来捷报，我国新一代可控核聚变大科学装置“中国环流三号”成功实现百万安培亿度 H 模，创造了我国聚变装置运行的新纪录。 据 IT 之家了解，“中国环流三号”是我国自主研制的可控核聚变大科学装置，因其能量产生原理与太阳发光发热相似，故被
谷歌搜索正在其 AI 模式 (AI Mode) 和 AI 概览 (AI Overviews) 功能中添加广告，谷歌声称这些广告是 “有帮助的”。 在上周的谷歌营销活动 Google Marketing Live 上，谷歌确认已经开始在美国推出这些广告，并声称它们为客户提供了新的 “机会”。 据一些用
财联社 5 月 9 日讯（编辑夏军雄）据媒体援引消息人士报道，苹果公司正在为其未来设备开发新的专用芯片，这些设备包括首款智能眼镜、更强大的 Mac 电脑以及人工智能（AI）服务器。 知情人士透露，苹果在为智能眼镜开发芯片方面已取得进展。这一动向显示，苹果正在加快推进这款设备的研发，该产品将对标 Me
新智元报道 编辑：Aeneas 好困 MIT 数学教授 Larry Guth 和牛津大学菲尔兹奖得主 James Maynard，在黎曼猜想方面取得了重大突破，直接打破了 80 多年的纪录。有趣的是，在过程中他们牺牲了一枚「弃子」，让情况更复杂棘手，却离答案更近了。 「千禧年七大数学难题」之一——黎
文深读商业，作者 艾彤，编辑 刘满心 曾经硝烟四起的咖啡价格战，如今仿佛要开始偃旗息鼓了。瑞幸、库迪等咖啡连锁品牌的价格调整，引发了市场对行业增长点的新思考。 在价格战难以为继的当下，咖啡行业的未来将何去何从？ 在价格战背后，咖啡行业真正的增长点究竟在哪里？是继续降价换量，还是寻求新的突破？ 咖啡行
时隔半年，丰田章男又出来鞠躬了。 作为集团负责人，衷心向大家致歉，我认为这是动摇认证制度根本的问题，是作为汽车制造商绝对不能做的事。 红豆泥斯密马赛！ 不得不说，68 岁的丰田章男腰还挺好，鞠躬鞠得很流畅，这也许是日本汽车工业协会会长的必备技能吧。 和半年前不同的是，这次来道歉的不只是丰田，还有马自
复旦大学官方公众号近日发布文章，在复旦大学和上海科学智能研究院联合举办的「走进智能气象」主题活动暨智能气象创新生态联盟成立仪式上，伏羲系列气象大模型 2.0 正式发布。 上海科学智能研究院地球科学负责人、复旦大学研究员李昊表示，相较于去年推出的 1.0 系列，伏羲系列气象大模型 2.0 的中期天气预
5 月 23 日消息，亚马逊公司的云部门宣布，已与人工智能初创公司 Hugging Face 合作，将在亚马逊的定制计算芯片上更低成本地运行数千个 AI 模型。 估值 45 亿美元（IT 之家备注：当前约 326.25 亿元人民币）的 Hugging Face 已成为 AI 研究人员和开发者分享聊天
北京商报讯（记者赵述评）出海和 AI 成了众多互联网科技企业的新方向。5 月 10 日，值得买科技创始人、董事长隋国栋表示，核心产品什么值得买 App 将改造升级为"AI 原生的什么值得买 GEN2"，同时积极推进出海计划，首站落在泰国。AI 对业务的大幅度改造，将在什么值得买 App 上集中体现。