「我的世界」共找到 11306 篇相关文章
谷歌开源结构化信息提取神器！4K+ Star，精准定位+交互式可视化！
在医疗、法律等领域，手动从非结构化文本提取信息费力，传统NLP工具需复杂训练。谷歌开源的LangExtract是高精度信息抽取Python库，能自动提取结构化信息，有精确源定位等功能，还给出使用示例和典型场景。
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
字节跳动Seed团队与南京大学联合发布CriticLean框架，将数学自然语言到Lean 4代码的形式化准确率从38%提升至84%。该框架创新性地将评估模型置于核心，解决语义对齐等问题，还构建了相关基准测试和数据集。
Claude Code + GLM-4.5，最强性价比编程组合教程首发
7月国产开源大模型竞争激烈，智谱发布的GLM - 4.5刷新开源大模型编程和agent能力。它成本低、速度快，还能与Claude Code配合。文章介绍该模型特点，分享二者使用教程及原型设计、网站开发等实测案例。
90后哈工大学霸，要IPO了
近日，90 后哈工大学霸王永锟创立的斯坦德机器人向港交所递交上市申请，冲刺'工业具身智能第一股'。该公司成立 9 年估值达 21 亿，发展历经波折，如今业务向好，但研发投入变化引关注。
Manus跑路了吗？
4个月前爆火的AI Agent产品Manus，被曝裁掉国内七成团队，总部迁至新加坡。官方称是基于经营效率考量调整业务。Manus自3月上线后动作不断，其核心力量大迁徙或因海外生态更成熟、国内付费习惯弱。
4000万样本炼出AI读心术，刷新七榜SOTA，最强「人类偏好感应器」开源
Skywork-Reward-V2全新发布，构建超高质量千万级人类偏好样本，刷新七大评测基准SOTA。8款模型覆盖6亿至80亿参数，小体积也能媲美大模型性能。团队引入多样大规模真实人类偏好数据，提升数据规模与质量。
扎克伯格大力招聘AI人才，Meta股价创历史新高
今天凌晨CNBC消息，Meta股票创历史新高，达每股747.90美元。这凸显投资者对其新AI小组的兴趣。Meta加入AI竞争，CEO扎克伯格积极招聘人才，从Scale AI、Safe Superintelligence等挖人，还从OpenAI挖走多位顶级人员。
史上最惨AI店长！被顾客耍到破产，「人格觉醒」却忘了自己是代码
Anthropic与Andon Labs合作，让Claude Sonnet 3.7（Claudius）在办公室运营自动化商店。Claudius经营失误多，如送上门的钱不要、库存管理不善等，还曾把自己当人。不过多数失败有望修复，预示AI中层管理者或出现。
00后投身具身智能创业，剑指机器人界「Model 3」！已推出21个自由度灵巧手
具身智能创业公司灵初智能推出自研灵巧手，每只手21个自由度，操作能力强。其目标是将机器人整机价格打到17000美元，走‘Model 3式的产业破局之路’，还提出分层端到端算法解决训练难题。
【博客转载】CUDA Constant Memory
文章介绍 CUDA 常量内存，它是设备上 64KB 被缓存的只读特殊内存空间。通过示例比较不同访问模式下常量内存和全局内存性能，指出块或 warp 一次访问时，常量内存快 10%；线程一次或伪随机访问时，慢很多。