AI驱动形式化验证，将成软件开发新标准
形式化验证是一种使用数学方法证明代码正确性的技术，尽管历史悠久，但一直局限于研究领域，因为编写证明极其困难和耗时。作者Martin Kleppmann预测，基于大语言模型（LLM）的AI助手将彻底改变这一现状。AI现在能帮助自动化编写证明脚...
标签索引 / 第 151 页
人工智能
这个标签下有 1711 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
AI驱动立法平台Lustra上线，解决95%法案盲区
Lustra是一个开源项目，由Jacek创建，旨在解决95%立法因原始文本不可读而被忽视的问题。平台使用Google的Vertex AI（Gemini 2.5 Flash）处理法案，去除政治色彩，并通过用户投票（影子议会）排序内容。技术栈包...
开源Grok镜像站：一键部署多人共享AI服务
本文分享了一个名为Grok的AI服务镜像站网站grok.dairoot.cn，该镜像站允许多账号共享管理，实现多人同时使用Grok服务，包含付费账号的功能体验和免费账号使用。用户可通过本地部署方式便捷访问，项目已在GitHub开源（链接：g...
AI冲击科技行业，应届生就业遭遇'就业末日'
人工智能正迅速吞噬科技行业的入门级职位，导致全球应届毕业生面临前所未有的就业困境。据SignalFire报告显示，科技大公司入门级招聘在过去三年下降了50%以上，仅7%的新 hires是应届毕业生。印度、中国、肯尼亚等国的工程学院学生中，不...
OpenAI发布GPT Image 1.5：图像生成速度提升4倍
OpenAI今日宣布推出GPT Image 1.5，新功能已向ChatGPT全体用户推出，API也同步上线。官方表示，图像生成速度高达4倍，相比前代Image 1，API成本降低20%。定价为输入每$5，输出每$10。同时，ChatGPT官...
小米发布开源大模型MiMo-V2-Flash：速度快但能力待提升
小米近日推出了其开源大模型MiMo-V2-Flash，据初步测试显示，该模型在推理速度方面表现出色，能够快速响应各类请求。然而，用户反馈称，在理解能力和内容生成效果方面，该模型与预期仍有差距。作为小米在AI领域的重要布局，MiMo-V2-F...
Mozilla新CEO上任，聚焦AI与信任战略
Mozilla新CEO Anthony Enzor-Demeo于2025年12月16日正式就职，发表演讲阐述公司未来方向。他指出，在AI快速重塑互联网的背景下，信任将成为技术核心议题，浏览器是关键战场。Mozilla将致力于成为最值得信赖的...
LangChain V1实验仓库分享：RAG、Agent、Workflow实战指南
近日，一位开发者分享了LangChain V1的实验仓库整理经验。在研究过程中，作者发现文档与旧教程不匹配，踩了不少坑，因此整理了一个包含RAG检索增强生成、Agent工具调用和Workflow多步骤流转等核心组件的最小可行示例。仓库还包括...
一次配置，到处使用：MCP工具1mcp减少重复工作
在人工智能开发中，MCP（Model Context Protocol）的配置常需在多个集成开发环境（IDE）中重复调整，效率低下且耗时。本文推荐1mcp，一个创新的MCP服务器汇集器与代理器工具。用户只需将1mcp配置到IDE中，即可集中...
OpenAI GPT Image 2 即将发布，预热启动
OpenAI 正在预热其新产品GPT Image 2，预计即将发布。这标志着OpenAI在人工智能图像生成领域的进一步发展。作为OpenAI的最新创新，GPT Image 2 可能带来更先进的图像生成技术，提升AI在视觉内容创作中的应用。用...