40年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变数学研究规则
文章标题：40年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变数学研究规则摘要： 经过40多年的努力，一个由业余爱好者组成的团队破解了著名的计算机难题——忙碌海狸难题。 该难题涉及寻找特定的图灵机...
排序
4B小模型掀翻大模型牌桌！性能超GPT-3.5，无限长文本性能超Kimi…
面壁智能发布新一代基座模型MiniCPM 3.0 公司背景：面壁智能是一家中国大模型公司，专注于开发端侧AI模型。 产品发布：面壁智能发布了新一代基座模型MiniCPM 3.0，这是一个4B参数的小模...
端侧ChatGPT时刻！这家清华系大模型公司赶在OpenAI、苹果之前
摘要： 面壁智能，一家清华系的大模型公司，宣布在端侧AI领域取得重要进展，发布了新一代基座模型面壁小钢炮MiniCPM 3.0。 MiniCPM 3.0以4B参数超越了GPT-3.5的性能，实现了端侧...
马斯克 xAI 上线全球最大 AI 训练集群：122 天搭建 10 万张英伟达 H100，未来几月将翻倍至 20 万张
埃隆·马斯克（Elon Musk）在社交媒体上宣布，xAI打造的超级AI训练集群Colossus已经正式上线。这个训练集群的搭建仅用了122天，目前包含10万张英伟达H100 GPU加速卡。马斯克还透...
联想集团将在印度生产 AI 服务器，并设立 AI 研发实验室
联想集团近日宣布了一项重大战略举措，将在印度南部的工厂启动人工智能（AI）服务器的生产，并在班加罗尔这座科技重镇设立专注于AI服务器的研发实验室。这一举措标志着联想集团对印度市场的长期承诺，以及对本地...
商汤科技元萝卜 AI 下棋机器人国际象棋专业版预售，到手 4799 元
“商汤科技元萝卜 AI 下棋机器人国际象棋专业版预售，到手 4799 元”。以下是该新闻的主要内容： 商汤科技旗下的“元萝卜国际象棋机器人”于9月25日正式开启预售。 这是商汤科技继“象棋版”和“围棋...
荣耀、智谱在 AI 领域达成合作，将通过折叠屏手机等全场景产品提供服务
智谱和荣耀于2024年9月2日在北京签署了AI大模型技术联合实验室战略合作协议。此次合作旨在深化双方在端侧AI智能体验领域的探索，并共同推动智能终端领域的大模型技术和应用创新。合作将通过荣耀的全场景产...
小明 Q5 升级版云台投影仪中秋促销优惠 100 元：1080P、280CVIA，899 元
小明 Q5 升级版云台投影仪中秋促销优惠 100 元：1080P、280CVIA，899 元摘要： 小明 Q5 升级版云台投影仪在5月份发布，具备1080P分辨率和280CVIA流明的亮度，原价899...
消息称华为 Mate XT 三折叠手机备货约 100 万台
“消息称华为 Mate XT 三折叠手机备货约 100 万台，预约量已破 400 万”。以下是一些关键信息： 华为 Mate XT 备货量：供应链多个渠道透露，华为 Mate XT 首批备货量约为 1...
消息称 OpenAI 明年调整结构，转变为传统的营利性公司
结构调整：根据《财富》杂志的报道，OpenAI的CEO山姆·阿尔特曼（Sam Altman）在最近的周会上向员工宣布，公司计划在明年调整其复杂的非营利性企业结构。 营利性转变：OpenAI计划保留一个...