精品工具
小云雀
小云雀是由剪映出品的一款 AI 视频和图片创作助手，旨在帮助
ai enhance image
该产品是一款在线AI图像增强器，其核心技术是利用人工智能算法
MotionControlAI
MotionControlAI AI视频框架是一款先进的AI
GitAgent by Lyzr
GitAgent是一个开放式的AI代理标准，它允许用户在Gi
AirMusic
AirMusic是一款在线AI音乐生成器，旨在帮助用户轻松创
Clico
Clico AI Writing Assistant是一款浏
Agen
Agen是一款云端全自主AI编码代理软件，隶属于开发应用类别
Anime AI Studio
Anime AI Studio是全球首个基于无限画布的一体化
Saveto AI
Saveto AI是一款领先的AI平台，专注于转录和翻译服务
Remove Sora Watermark
免费水印去除工具
SoraWM Remover
秒级去除 Sora 水印
Free Sora Watermark Remover
免费 Sora 水印去除器
最新文章
15 岁少年利用AI实施勒索攻击，致知名平台全站停服
日本一名15岁高中生因涉嫌网络犯罪被捕，他利用生成式AI协助攻击，于2025年11月盗用会员账号非法侵入万代南梦宫旗下动画串流平台“万代频道”。案件因嫌疑人未成年且借助AI实施完整攻击流程而引发关注。
降低数学科研门槛：Mistral AI 发布开源模型 Leanstral 1.5
Mistral AI发布专为Lean4设计的开源模型Leanstral1.5，采用Apache-2.0许可。该模型总参数119B，仅6B激活参数，兼顾高性能与低成本。在miniF2F形式数学基准中，验证集和测试集均达100%完成率，并已挑战Putnam等高难度推理任务。
Mistral AI开源数学证明利器：119B参数只激活6B，解题成本仅为竞品百分之一
欧洲Mistral AI推出数学形式化证明模型Leanstral 1.5，专为Lean4语言，总参数119B但推理仅激活6B，以极低开销和Apache-2.0许可完全开源。在miniF2F基准上验证集和测试集均达100%完成率，PutnamBench同样表现惊人。
算力利用率破65%:AIGCode如何用“L3级”编程模型突围?
AI编程领域格局生变：众厂恋战L2代码补全，AIGCode以全栈方案谋求代际跃升。其核心洞察是大模型之殇在基座而非微调，借AutoCoder.cc剑指L3级自主编程。
