Manus新功能全面揭秘：AI生图能力正式上线
Manus上线图像生成功能，新用户获赠1000积分并每日补充300积分。平台采用深度思考流程，支持多工具协同与任务交互调整。测试案例显示其可完成复杂图像生成、品牌设计、网页部署等任务。积分消耗较高，基础功能免费额度有限，付费订阅分三档。Manus优势在于意图理解与全流程执行，但存在速度慢、质量波动和成本高等问题，未来仍有提升空间。
Manus新功能全面揭秘：AI生图能力正式上线 Read More »
博客
AI博客：洞悉人工智能前沿，分享技术与趋势！
OpenAI 新一代编程革命：Codex 智能体全面解析
OpenAI 于2025年5月推出 Codex 编程智能体，集成于 ChatGPT，基于 codex-1 模型，在云端执行编写代码、修复漏洞、运行测试等任务。Codex 支持 GitHub 集成，提供可验证的执行证据，并在 SWE-Bench 测试中得分达 72.1%。目前向 Pro、Enterprise 和 Team 用户开放，未来将进一步增强交互性与开发工具集成，助力提升软件开发效率。
OpenAI 新一代编程革命：Codex 智能体全面解析 Read More »
谷歌DeepMind AlphaEvolve: 革命性AI编码智能体的崛起
Google DeepMind推出AI编码智能体AlphaEvolve，能够自主编写、优化代码并进行科学发现。该系统融合大语言模型、进化算法和自动评估器，已在数学领域取得多项突破，如改进矩阵乘法算法和解决几何难题。同时，其在Google数据中心优化、芯片设计和AI训练中实现显著效率提升，标志着AI从工具转变为算法创新伙伴的新里程碑。
谷歌DeepMind AlphaEvolve: 革命性AI编码智能体的崛起 Read More »
10秒Figma神技：打造苹果风流卡片网页，快速提升设计质感
Bento Grids（苹果风）是一种以极简、清晰和高度组织化的视觉设计风格，常用于现代网页和移动应用界面。该风格通过网格模块展示内容，强调留白、对齐与一致性，营造出干净的阅读体验。文章还提供了使用Figma实现该布局的具体操作步骤，并推荐了相关插件及工具。
10秒Figma神技：打造苹果风流卡片网页，快速提升设计质感 Read More »
NVIDIA Llama-Nemotron：超越DeepSeek-R1的开源新王者
英伟达发布开源Llama-NemotronAI模型，包括8B、49B和253B版本。旗舰级LN-Ultra以仅253亿参数在多项基准测试中超越了6710亿DeepSeek-R1，同时在单个xH100节点上实现更高效运行。该系列五阶段训练流程，创新性技术包括推理开关、硬件感知优化和合成数据训练。模型性能参数规模与性能的正比关系，标志着AI效率优先时代，其开源许可将加速技术普及。
NVIDIA Llama-Nemotron：超越DeepSeek-R1的开源新王者 Read More »
Google Gemini 2.5 Pro：从视频到交互式应用的多模态进化
Google发布Gemini 2.5 Pro版，在多模态理解和代码生成领域实现重大。该模型在编程能力上超越竞争对手Cl 3.7 Sonnet，特别擅长视频内容和手绘草图转化为功能完备的网络，显著提升开发效率。它在Web开发、审查优化和教育技术等领域展现出革命性，开创了AI辅助开发的新范式。
Google Gemini 2.5 Pro：从视频到交互式应用的多模态进化 Read More »
Bolt.new：通过简单描述创建专业网站的教程指南
Bolt.new是一个AI驱动开发平台，用户通过自然描述直接生成完整网站，编写代码。它支持多框架生成应用程序，安装软件包，并实现动态优化代码和手绘转换。用户登录后输入网站需求即可自动代码，支持多轮对话优化和实时预览，可部署或下载代码。关键是编写详细提示词明确网站类型、风格和目标受众，同时结合编辑提高精度。Bolt.new特别适合原型开发，结合专业工具（如Cursor能实现更复杂项目。平台初期免费，但未来收费，适合创业者、内容创作者和开发者。
Bolt.new：通过简单描述创建专业网站的教程指南 Read More »
DeepSeek发布Prover-V2模型：671B参数助力数学定理证明
DeepSeek在五一期间开源了专为数学证明设计的DeepSeek-Prover2模型，包含6710亿参数和70亿参数版本。该模型采用递归与强化学习结合的技术在多项数学测试中表现优异，如MiniFF测试通过率达88.9%。同时发布的ProBench数据集包含325道题目，评估模型能力。实验发现思维链模式能显著证明准确率，小模型在特定问题上甚至超越模型。模型已在Hugging Face，支持数学研究新范式。
DeepSeek发布Prover-V2模型：671B参数助力数学定理证明 Read More »
Qwen 3发布：235B模型性能超越R1、Grok和o1，采用Apache 2.0许可证
阿里通义千问团队发布新一代开源大模型Qwen3，登顶全球开源模型榜首。该系列包含模型，旗舰款性能超越多家顶尖模型，部署显著降低。Qwen 3在多项基准测试刷新纪录，并创新性地引入"混合推理"模式该模型支持119种语言，预训练数据达36token，社区反响热烈，三小时内获得k GitHub星。目前已上线多个平台推动全球AI开源生态发展。
Qwen 3发布：235B模型性能超越R1、Grok和o1，采用Apache 2.0许可证 Read More »
Lovable 2.0：多人协作的”氛围编码”平台如何改变软件开发
欧洲AI公司Lovable推出2.0平台通过自然语言交互实现无代码软件开发。新支持多人协作、智能聊天代理、安全扫描，显著降低开发门槛。提供免费和付费方案，适合初创团队快速构建产品原型，拥有50万月活用户。该平台将AI生成"氛围编码"理念商业化，助推数字化转型。
Lovable 2.0：多人协作的”氛围编码”平台如何改变软件开发 Read More »
OpenAI发布gpt-image-1多模态图像生成模型，提供高质量图像创建
OpenAI正式推出其最新多模态图像生成模型gpt-image-1，并通过API向全球开发者开放。 这
OpenAI发布gpt-image-1多模态图像生成模型，提供高质量图像创建 Read More »