「代码向量模型」共找到 8786 篇相关文章
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
字节跳动Seed团队与南京大学联合发布CriticLean框架，将数学自然语言到Lean 4代码的形式化准确率从38%提升至84%。该框架创新性地将评估模型置于核心，解决语义对齐等问题，还构建了相关基准测试和数据集。
Sam Altman亲晒GPT-5实测问答，发布进入倒计时
今日凌晨，OpenAI的Sam Altman晒出GPT - 5实测问答图，意味着其基本完成基础开发，很快发布。不过其回答与其他模型差异不大，但爆料称它代码和商业化能力强，网友对此看法不一，还猜测其对SaaS行业的影响。
CUDA 20年护城河一个周末崩了 ！Claude独自跑通AMD新GPU
一个周末，Claude直接把自家最前沿模型跑在全新AMD MI355X机架，人类工程师没改一行代码。AMD还给AI开发调GPU的工具，ROCm.AI可让Agent自己部署操作。Agent补生态积累短板，对CUDA生态形成降维打击。
RLinf上新πRL：在线强化学习微调π0和π0.5
近年来，基于流匹配的VLA模型成机器人领域前沿技术，但训练依赖大量人类演示数据。清华等机构联合推出在线强化学习微调框架πRL，提出两种微调方案，在测试平台验证了有效性，目前代码等已开源。
Claude Code 起源：一个人的副业换歌脚本，变成最强 AI 编码工具
很多人以为Claude Code是Anthropic规划已久的大项目，实则最初是个人副项目。工程师Boris Cherny为熟悉API做了听歌脚本，后经改进让Claude能读文件、探索代码库，其在公司内部疯传，最终发布并发展成完整产品。
秋招超强助攻：零基础1小时上手GPT微调！全流程教程免费开源
新一年秋招季，岗位对AI能力要求提升。OpenAI发布新开源大模型GPT - OSS，博主Lorentz Yeung开源本地部署和微调训练GPT - OSS的教程，助零基础者上手，还介绍环境搭建、代码和训练前后效果对比。
与Gemini Diffusion共振！首个扩散式「发散思维链」来了
西湖大学齐国君教授团队提出扩散式「发散思维链」，这是面向扩散语言模型的新型推理范式。它与传统思维链不同，能非线性生成，已应用于两种模型，增强后的模型在相关任务上超越现有模型。
实测腾讯首个 AI IDE 产品，小白也能『批量开发』微信小程序
2025年AI Coding领域竞争激烈，腾讯7月22日揭幕国内首款“产—设—研”全链路AI IDE CodeBuddy。它支持主流模型，能将想法转化提示词等，通过多个案例展示其强大功能，腾讯还计划让其普惠开发者。
Fable 5开始灰度解禁？6月26日大限倒计时
被禁用多日的Fable 5疑似开始部分解禁，在少部分用户的Claude手机App中出现，代码更新也释放其将整合进Claude订阅服务的信号。同时，Claude Sonnet 5可能落地，且旧版Sonnet使用限制取消。6月26日美国商务部需对大模型访问权限答复。
谷歌开源“Agent Skill 超级工具箱”，云、库、引擎、AI全线打通，开发者狂喜
在大模型竞争白热化背景下，谷歌为解决开发者难题推出 Agent Skills。官方仓库含多项技能，涵盖谷歌云核心服务及架构支柱技能，还提供常见任务流程指南，兼容多平台，能省开发代码。此前还有 Addy Osmani 开源的技能库。