「可验证计算」共找到 5058 篇相关文章
卡内基梅隆大学开源LegoGPT，用AI设计乐高模型
卡内基梅隆大学开源LegoGPT，可依文本提示生成物理乐高模型。它把乐高设计转为自回归文本生成任务，基于LLaMA - 3.2 - 1B - Instruct微调，应用场景广泛，如教育、玩具设计等。
Stanford、Meta和Google等发现LLM存在五大天花板，再扩算力已无用
论文《On the Fundamental Limits of LLMs at Scale》指出，LLM性能提升有理论天花板，扩展中会遇幻觉、上下文压缩等五大根本限制，源于计算、信息与学习理论，未来应转向‘有限优化’。
Vibe Coding 继续：这次，AI Studio 让你可以“画着改UI”
谷歌在AI Studio中引入注释模式，可乱涂乱画用注释命令修改，能更自然地更改应用，与Gemini进行直观视觉对话，还提到Cursor等IDE中类似功能实现方式。
智能旅行助手
开发者开源智能旅行助手 AI Travel Agent Streamlit，集成 OpenAI、天气 API 等服务，可在直观界面完成旅行规划。介绍了设置、运行、部署方法，还提及测试、安全等要点。
逼近万亿市值，被称为“代工厂” 的工业富联凭什么？
2025年4月以来工业富联股价上涨，8月19日总市值达9713亿逼近万亿。上半年营收、净利润增速超35%，云计算业务增长显著。但它毛利率低、研发投入不足，转型面临挑战。
凌晨战神Qwen又搞事情！新模型让图像编辑“哪里不对改哪里”
Qwen团队发布Qwen-Image-Edit，作为Qwen-Image20B图像编辑版，能精准修改文字，还可新增、消除、重绘、修改元素，支持IP编辑、视角切换等玩法，在多方面表现出色。
我的天！MCP开发，从“地狱模式”秒变“傻瓜操作”
作者分享FastMCP工具，它让MCP开发从难变易。过去开发MCP耗时久、Bug多，用FastMCP，186秒可本地搭建，还能上云、部署到Cloudflare Worker，降低AI工具开发门槛。
2026，机器人与AI智能体正在怎样进入艺术现场？
本文盘点2026年以来全球16组机器人与AI智能体艺术实践，展现机器从创作工具转向可自主感知协作的创作参与者，探讨人机创作的身份边界新变化。
零GPU，世界第一超算！深圳制造改写游戏规则了
中山大学教授带队、深圳制造的灵晟超算登顶全球超算TOP500榜单，零GPU采用纯CPU架构，全链路自研。图灵奖得主评价其为“AI4S新型架构的希望之光”，还在多领域展开应用。
XcodeBuildMCP：让 AI 像开发网页一样搞定 iOS/macOS 应用
Sentry开源的XcodeBuildMCP项目，打破传统AI辅助开发手动验证循环，通过MCP和CLI让AI代理操作Xcode构建系统，实现自动化开发流程。它配置简单，能覆盖日常开发需求，助力iOS开发迈向‘无人值守’。