消息称 DeepSeek V4 模型打破惯例：华为等国内厂商可早期访问，不让英伟达 AMD 先用
AI 开发者通常会将主要模型的预发布版本分享给英伟达和 AMD 等芯片制造商，以确保其软件在广泛使用的硬件上高效运行。DeepSeek 之前曾与英伟达的技术人员密切合作。
排序
英伟达黄仁勋称美国三年建一座超算太慢：中国一个周末就能建一座医院
黄仁勋还说，中国的可用能源规模达到美国的两倍，而美国的经济规模更大，这种差异使自己难以理解。他进一步指出，中国的能源规模持续增长，美国的水平则长期停滞。
萌翻了！《疯狂动物城2》奖励券让学习变有趣
最近，看了电影《疯狂动物城2》，突然有了灵感，能否做《疯狂动物城》的非物质奖励券呢？
英国高等法院就 Getty Images 诉 Stability AI 案作出判决，双方均宣称获胜
但根据美联社的分析，此次书面裁决中 Getty Images 仅在 Stability AI 侵犯其商标这一指控上险胜，在其它方面均败诉。
问世以来最大更新：MCP 2026-07-28 规范发布，转向“无状态”核心
MCP（Model Context Protocol，模型上下文协议）是由 Anthropic 于 2024 年 11 月底推出的一种开放标准开源协议，旨在统一大语言模型（LLM）与外部数据源和工具之...
消息称荣耀与字节就“豆包手机”合作细节尚未达成一致
知情人士透露，荣耀与字节跳动主要在品牌合作细节上未达成一致。此前字节先接触了荣耀，但荣耀态度谨慎，最终字节选择了与中兴合作推出首款豆包手机。荣耀产品线总裁曾公开认可豆包手机的技术路径。#豆包手机# ...
OpenAI 布罗克曼：GPT-5.2 Pro 再次破解公开数学难题，获陶哲轩认可
OpenAI总裁格雷格·布罗克曼转发消息称，GPT-5.2 Pro成功破解了一个著名的Erdős数学难题。数学家陶哲轩表示，这可能是“AI解决开放问题的一个最明确的案例”。他强调，AI在草拟...
中小学校数字化转型实然样态与组态路径研究——基于58所智慧教育样本校的扎根理论与模糊集定性比较分析
中小学校是基础教育数字化转型的基本单元与实践场域，却长期面临“为何转”“如何转”“转去哪”的问题。本研究立足实然层面，综合定性与定量视角、建构与验证逻辑，将扎根理论和模糊集定性比较分析有机结合，对58...
精准监测破局土壤氮循环难题，赋能气候变化与生态治理
全球变化背景下，气温升高、降水格局改变、二氧化碳浓度增加以及极端气候事件频发等现象，正在深刻改变着土壤氮循环的路径和速率。例如，增温效应使增强了硝化和反硝化作用，导致氮素气态损失增加；降水则通过影响...
OpenAI 有望推出 ChatGPT Pro Lite 订阅，月费 100 美元
开发者从网页代码中发现全新订阅层级“ChatGPT Pro Lite”，月费100美元。该版本可能提供相当于Plus版3~5倍的深度思考模型（如o1/o3系列）使用配额，但预计不包含Pro版专属的专业...