人社部明确 2026 年技工院校招生 125 万人，培训人工智能、新能源汽车等领域技能人才
人社部发布通知，今年技工院校计划招生125万人，重点面向农村转移就业劳动者、未就业高校毕业生等群体。培训将聚焦人工智能、先进制造、低空经济、新能源汽车等新兴领域，深化产教融合，共建产业学院和实训基地。#技工教育##人工智能##新能源汽车#
0
胡润《2026全球独角兽榜》发布：Anthropic登顶，前三均布局大模型
胡润研究院发布《2026全球独角兽榜》，本次榜单全球独角兽数量达1603家创历史新高，Anthropic以6.6万亿元人民币价值登顶全球，前三名均布局大模型业务，中国以381家独角兽位居全球第二。
0
降低数学科研门槛：Mistral AI 发布开源模型 Leanstral 1.5
Mistral AI发布专为Lean4设计的开源模型Leanstral1.5，采用Apache-2.0许可。该模型总参数119B，仅6B激活参数，兼顾高性能与低成本。在miniF2F形式数学基准中，验证集和测试集均达100%完成率，并已挑战Putnam等高难度推理任务。
0
15 岁少年利用AI实施勒索攻击，致知名平台全站停服
日本一名15岁高中生因涉嫌网络犯罪被捕，他利用生成式AI协助攻击，于2025年11月盗用会员账号非法侵入万代南梦宫旗下动画串流平台“万代频道”。案件因嫌疑人未成年且借助AI实施完整攻击流程而引发关注。
0
Meta 被曝让外包人员伪装未成年人，诱导竞争对手 AI 聊敏感话题
项目指南显示，这些提示词通常经过精心设计，旨在诱导聊天机器人绕过其安全系统本应执行的拦截机制并生成回复。
0
日企 TAI 完成 40nm 边缘物理 AI 芯片原型评估，目标 2027 年量产
其采用低功耗快响应设计，面向基础设施、工业、机器人领域的 AI 转型需求。
0
Mistral AI开源数学证明利器：119B参数只激活6B，解题成本仅为竞品百分之一
欧洲Mistral AI推出数学形式化证明模型Leanstral 1.5，专为Lean4语言，总参数119B但推理仅激活6B，以极低开销和Apache-2.0许可完全开源。在miniF2F基准上验证集和测试集均达100%完成率，PutnamBench同样表现惊人。
0
腾讯元宝接入混元 Hy3 模型，支持免费做文件
腾讯元宝深度整合混元 Hy3 模型，所有能力免费开放。用户无需代码基础，即可通过指令完成文件处理、数据分析、报告生成乃至小游戏制作等复杂任务。新模型在推理、智能体、长上下文等能力上显著提升，成为高性价比的生产力工具。#腾讯元宝# #混元大模型#
0
英国外交大臣库珀警告：AI 或成未来 10 年最大安全挑战，世界各国必须建立紧急防护措施
英国外交大臣伊薇特 · 库珀发出警告，若各国无法就 AI 发展制定国际准则，其威胁堪比核武器。她指出全球已存在利用先进技术的恶意行为者，未来两年 AI 将成为外交核心议题，呼吁美中等国共同建立全球监管原则。#AI安全# #全球治理#
0
腾讯混元Hy3发布：Agent能力和产品体验跃升
腾讯混元Hy3发布，智能水平比肩2—5倍参数旗舰模型，定价更低，稳定性和性价比提升。已在多个业务接入，API上线腾讯云TokenHub及海外平台。模型实现快慢思考融合，智能体实用性质变。
0
算力利用率破65%:AIGCode如何用“L3级”编程模型突围?
AI编程领域格局生变：众厂恋战L2代码补全，AIGCode以全栈方案谋求代际跃升。其核心洞察是大模型之殇在基座而非微调，借AutoCoder.cc剑指L3级自主编程。
0
面向数学形式化证明：Mistral AI 发布 Leanstral 1.5 低使用成本开源模型
对于 PutnamBench 数学竞赛问题集中的题目，Leanstral 1.5 的平均解决开支仅有 4 美元，而 Seed-Prover 1.5 需要 300 美元以上，Aleph Prover 也需要 54~68 美元。
0
首届全球人工智能治理对话在日内瓦举行，联合国秘书长古特雷斯发表讲话
首届全球人工智能治理对话在日内瓦举行，联合国秘书长古特雷斯在开幕式上强调，AI 正以惊人速度发展，必须将全球参与转化为全球行动，使其更安全、公平、符合伦理。会议将聚焦 AI 机遇、能力建设、安全可信及人权监督四大议题。#全球人工智能治理对话#
0
通义千问重磅升级：实时语音识别模型 Fun-ASR-Realtime 正式发布
通义千问推出实时语音识别模型Fun-ASR-Realtime，首字延迟降至百毫秒级，实现“即说即反馈”的流畅交互。其识别准确度接近离线模型，在保证高精度同时突破实时性瓶颈，标志语音交互体验迈向新高度。
0
谷歌跳票之后终定档：Gemini 3.5 Pro七月硬刚DeepSeek V4，全新底座不再"挤牙膏"
谷歌Gemini 3.5 Pro原定6月发布却跳票，期间多位核心AI研究员离职投奔对手，团队士气低落。现确认7月17日正式亮相，正好撞上国产大模型DeepSeek V4预计的7月中旬发布时间，两家中外旗舰模型将正面交锋，上演硬碰硬对决。
0
热搜
换一页