登录体验完整功能(收藏、点赞、评论等) — 已累计有 12752 人加入
头像
顶部横幅
X 社区
微软启动近4800人规模裁员 AI替代岗位焦虑再升温
风向

微软启动近4800人规模裁员 AI替代岗位焦虑再升温

2026年7月微软启动新一轮人员优化,共裁减约4800个岗位,占其全球员工总数的2.1%,本次裁员波及Xbox、商业销售等多个核心部门,是其近两年来规模最大的裁

巴黎孵化平台Station F升级F/ai项目 加码欧洲AI初创扶持
风向

巴黎孵化平台Station F升级F/ai项目 加码欧洲AI初创扶持

法国亿万富翁泽维尔·尼尔(Xavier Niel)创立的巴黎创业孵化平台Station F,于2026年7月正式启动全新一期F/ai加速器项目,计划面向全欧筛选

AI智能体系统落地存交互安全隐患 微分段技术成破局关键
风向

AI智能体系统落地存交互安全隐患 微分段技术成破局关键

Gartner最新预测显示,2027年全球80%的企业级生成式AI应用将搭载可自主执行任务的智能体模块,而当前依赖API边界实现系统交互策略管控的传统方案已无法

15岁高中生借生成式AI实施勒索攻击 致万代频道全站停服
风向

15岁高中生借生成式AI实施勒索攻击 致万代频道全站停服

2026年7月日本警视厅通报一起涉嫌勒索的特殊网络攻击案件,居住于埼玉县的15岁高中一年级学生,借助生成式AI工具完成整套攻击流程,于2025年11月非法侵入万

Mistral AI推出开源数学推理模型Leanstral 1.5 刷新多项测试纪录
风向

Mistral AI推出开源数学推理模型Leanstral 1.5 刷新多项测试纪录

2026年7月6日,欧洲AI厂商Mistral AI正式发布专为数学形式化证明语言Lean4打造的开源模型Leanstral 1.5,采用Apache-2.0许

Mistral AI开源数学证明专用模型Leanstral 1.5 算力成本仅为竞品1%
风向

Mistral AI开源数学证明专用模型Leanstral 1.5 算力成本仅为竞品1%

欧洲AI企业Mistral AI于2026年7月推出面向数学形式化证明的专用大模型Leanstral 1.5,该模型适配Lean4程序语言,总参数119B、推理

全部
启程
风向
共话
刻度
进入X 社区
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
我的收藏

登录后查看我的收藏

欢迎来到AI创作导航

请选择您感兴趣的内容类别,我们将为您呈现最合适的工具与资源

视频与图文创作者必选
办公、设计、教育等全行业工具
先看看