中电联唯一指定！海光DCU支持近200支团队完成AI创新研发

7月1日至2日，“第二届能源电力行业数字生态会议暨‘中国数据街’高质量发展论坛”在北京举行。会议期间，“能源电力行业第一届人工智能创新研发交流活动”完成线下复核，相关实用算法成果在大会成果发布环节集中展示。活动联合国家电...

华盛顿大学用AI为数学知识建了一张"神经网络"，把百年数学论文和形式化证明库串联起来了

华盛顿大学研究团队构建了跨越1170万条arXiv数学定理与38万条Lean形式化声明的统一依赖图，通过slogan嵌入实现跨模态匹配，发现近5万对对应关系。

纳米科技的"寻宝猎人"：奥格斯堡大学团队如何用AI设计出前所未有的量子分子

奥格斯堡大学团队推出NMO基准，结合量子模拟与AI分子设计，突破纳米科技三项性能纪录，并发明无药物偏见的新型分子表示语言GGS。

IvyBears订阅用户突破250万，浏览量达4000万，全球亲子家庭版图持续扩张

ABB举办能源发展与产业生态峰会，以AI+电力创新共探新型能源体系建设路径

阿布扎比卫生部与麻省理工学院科赫研究所携手推进AI驱动的癌症研究

LEDVANCE成为拜仁慕尼黑的官方照明合作伙伴

Claude Sonnet 5 发布：编码、推理与工具使用能力全面提升

Anthropic于6月30日发布Claude Sonnet 5，相较前代Claude Sonnet 4.6在编程、推理、工具使用及知识工作方面均有显著提升。该模型可自主制定计划、使用浏览器和终端等工具，达到数月前需更大...

AI高速扩张正悄然考验电网承载极限

人工智能基础设施的快速扩张不仅带来总用电量激增，更在改变电网的运行特性。AI训练任务高度同步、计算密集，推理任务则分散且难以预测，两者均可在极短时间内造成电力需求骤变。数据中心的地理集中分布进一步加剧局部电网压力。现有监...

福特对AI失望，重新雇用350名经验丰富的工程师

据彭博社报道，福特汽车因AI和自动化质量控制系统未能达到预期效果，决定重新招募约350名经验丰富的工程师。福特硬件开发负责人Charles Poon坦言："我们误以为只需引入AI并输入设计要求，就能生产出高质量产品。"这...

首批四家云服务商加入CISPE欧盟云主权认证计划

欧盟数字主权建设取得新进展，Etix、Phocea、Thésée Datacenter和Gigas四家云服务商率先加入CISPE主权与弹性云服务认证计划，目前均处于自我认证阶段并接受独立审计。此举背景是美国《云法案》与欧...

2026 Eurobike 展会：最值得关注的电动自行车与新奇产品盘点

2026年欧洲自行车展（Eurobike）在德国举办，尽管规模略小于往年，仍带来众多亮点。展会上涵盖雅迪COMO通勤电动车、再生塑料自行车、Canyon与宝马联合开发的V2X车路协同原型车、大疆旗下Avinox无级变速驱...

2026年The Games of the Future（未来竞赛）确认阿斯塔纳全球阵容

联想Legion 7i Gen 10游戏本评测：颜值在线，性价比存疑

联想Legion 7i Gen 10外观精致、做工扎实，配备可升级存储、优质键盘及OLED显示屏，机身仅重4.3磅，比多数竞品轻一磅。然而，搭载RTX 5060和8GB显存的测试版本在性能上表现平平，售价1949美元却不...

杀毒软件已不够用？全面了解现代网络安全防护

曾经，安装杀毒软件就足以保护电脑安全。但如今网络威胁已今非昔比——勒索软件、间谍软件、钓鱼邮件、伪造网站等攻击手段层出不穷，许多攻击甚至无需植入病毒文件。杀毒软件虽仍是重要防线，但面对不断进化的网络犯罪手法，单一工具已难...

大语言模型助力机器人理解模糊指令并聚焦关键细节

麻省理工学院CSAIL研究人员开发了"Masked IRL"方法，利用大语言模型（LLM）帮助机器人理解模糊操作指令。该系统通过两个LLM协同工作：一个将模糊提示转化为具体描述，另一个筛选环境中的关键信息并忽略无关细节。...

MIT AI与社会论坛：探讨AI对就业、民主等领域的深远影响

麻省理工学院近期举办"AI与社会论坛"，来自多个学科的专家围绕AI对就业、工作性质、公民话语及选举管理等议题展开深入讨论。经济学家大卫·奥托尔指出，AI的影响取决于其如何改变人类专业技能的稀缺性。学者们同时关注AI对民主...

麻省理工学院新芯片助力微型机器人穿越复杂环境

麻省理工学院研究人员开发出一款名为Gleanmer的片上系统芯片，可帮助微型低功耗无人机和自主机器人在复杂环境中实时构建高精度三维地图，同时仅消耗约6毫瓦功率，相当于一颗LED灯泡的耗电量。该芯片采用高斯椭球体替代传统体...

3Blue1Brown创始人：为什么AI能破解80年的数学猜想，却还写不好一篇文章？

Dwarkesh Patel播客2026年7月1日发布了一期关于AI与数学未来的对话。嘉宾Grant Sanderson是YouTube频道3Blue1Brown的创始人，该频道以数学概念的可视化解释闻名，是全球最受欢迎...

欧莱雅中国"有意思青年"高校公益计划校园义卖销冠星出炉