40多年的计算机难题——忙碌海狸难题，被一群业余爱好者攻破了!数学大佬陶哲轩转发了这一消息，并欣慰表示:这再一次体现了证明助手对于数学研究的协作是多么有用。计算机科学家Scott Aaronson为此还写了一篇博文，并大肆赞赏:这个发现是自1983年以来，忙碌海狸函数研究中最重要的进
......
本文由站长之家合作伙伴自媒体作者“量子位公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
近日，广州番禺一大型小区内发生了一场由12岁孩童引发的“虚惊”。一名12岁的孩子利用AI技术制作了一张流浪汉试图闯入家门的图片，并在小区业主群中发布，瞬间引发了住户们的恐慌与热议。 据发布图片的业主称，当时自己12岁的孩子独自在家，声称遭遇了流浪汉的闯入，并附上了这张由AI生成的“现场”图片。图片中，流浪汉的形象栩栩如生，场景逼真，令不少住户�
《北京市教育领域人工智能应用工作方案》提出以智助教、助学、助评、助育、助研、助管六大应用场景蓝图。超炫3700四卡液冷工作站凭借强大算力、极致静音与全栈自主技术，成为实现智慧教育的关键力量。其1120T INT8推理算力和384GB显存可高效处理大模型及高并发任务，液冷技术将噪音降至45dB，适配教研场景。全栈国产化生态支持开箱即用，显著降低本地部署门槛，助力教育工作者释放潜能，推动教学质效飞跃。
中国移动宣布北斗短信息服务完成重大升级，新增图片、语音等富媒体功能，文本传输能力显著提升，单条消息可发送40个汉字、接收达10个汉字。Redmi Note 15 Pro+卫星消息版率先支持升级，其他品牌终端也将陆续开启。此次升级在无地面网络信号时仍能通过多种形式传递信息，为户外探险、应急救援等场景提供坚实通信保障，标志着北斗通信正式步入“视听兼具”新时代。
在商丘睢县，有一位胡姓阿姨在路边摆摊售卖炒面，她以一份份实惠与温暖，成为了当地人心中的一抹亮色。胡阿姨的炒面售价仅为3元一份，且每份都包含鸡蛋，更令人感动的是，她还免费为学生群体赠送豆浆和烤肠。在物价普遍上涨的当下，其他地区的炒面价格多在6至10元之间，而胡阿姨却坚持十几年不涨价，近期更是主动将价格从原本就亲民的10元降至3元，用实际行动�
安踏集团作为第十五届全运会官方体育装备合作伙伴，为赛事各类人员提供全方位装备支持，累计保障超7万人、装备超60万件。集团董事局主席丁世忠接受采访时强调，安踏深耕行业35年，以科技铸魂、创新为本、社会责任为使命，助力中国体育产业迈向高质量发展。他指出，科技创新是体育产业国际竞争的核心驱动力，民营企业应通过自主创新推动产业升级，构建开放融合的产业生态。安踏同时积极践行公益，累计捐赠超32亿元，展现企业担当。
2025年10月30日，TTi+OS车道级导航正式量产，成为行业首个“四图融合”产品。它基于自研多模态融合引擎，实现高精度导航信息直观呈现与便捷交互，提升出行安全与个性化体验。系统集成SR渲染、环境重构等四大功能，实时识别车道位置，通过直觉式交互引导路径，帮助复杂路况操作。依托高算力平台，可视化呈现动态风险与辅助驾驶信息，增强行车安全。产品融入解压游戏、地标建筑等娱乐化设计，兼具趣味性。目前该导航已搭载于深蓝L06车型，标志量产落地，未来将持续优化AI座舱体验，引领智能汽车科技进化。
三星在进博会上首次展出AI+Home智能家庭解决方案，通过Bespoke AI、Vision AI和Galaxy AI三大模块，实现全场景智慧生活。AI正从"会语言"向"会行动"演进，软硬件协同成为核心竞争力。三星凭借从芯片到终端的全产业链优势，打破端侧AI的性能、算力与存储"不可能三角"，构建起覆盖手机、电视、家电的生态闭环。未来，AI将全面接管生活，让科技真正服务于人。
今日AI领域动态：上海首例AI提示词著作权案宣判，法院认定提示词不具独创性；月之暗面发布Kimi K2思考模型，实现自主多轮工具调用；UniWorld-V2图像编辑模型支持中文框选即改，性能超越GPT-Image；谷歌推出AI文件检测工具Magika 1.0，支持超200种格式；Sora安卓版首日下载量达47万次；我国发布全球首个AI海洋大模型“瞰海”，可精准预测10天内海洋变化；宇树科技“Embodied Avatar”系统实现低延迟远程机器人操控；谷歌Gemini API推出文件搜索工具，简化私有RAG系统集成。
前面我们提到过，Google每逢全球性的重大节日或重要的纪念事件，都会在首页涂鸦中展现极具创意的设计来纪念或庆祝这一特殊的日子。
中国功能饮料市场持续扩容，2024年人均年消费量仅9.9升，显著低于美日等国，增长潜力巨大。东鹏饮料作为行业龙头，依托全国13个生产基地构建高效供应链网络，其中海南、昆明基地形成辐射东南亚的“双支点”，利用自贸港政策与区位优势加速全球化；中山、天津基地则强化南北市场协同，通过智能化与本地化布局提升供货效率。公司正稳步拓展海外市场，助力民族品牌�
