「存在论」共找到 8283 篇相关文章
AI生成操作系统新突破！上海交大提出文件系统开发新范式：从此只需写规约
上海交大IPADS实验室团队在自动生成操作系统核心组件上有新突破。面对大模型生成操作系统的难题，提出SysSpec新范式，以规约指导生成，并配套工具链，构建SpecFS文件系统，开发效率提升3 - 5倍。
打破瓶颈，让RAG学会思考：中科大、智源等发布推理检索框架BGE-Reasoner
人工智能浪潮下，推理密集型信息检索是RAG和AI Agent技术发展瓶颈。中科大、智源等机构联合研发推理检索框架BGE - Reasoner，在BRIGHT基准测试中刷新纪录，还将开放相关代码等推动研究。
The Batch: 847 | 为蜜蜂健康而生的机器人蜂箱
Beewise推出的BeeHome 4高科技蜂箱，能扫描蜜蜂群体状况，提醒养蜂人并自动处理部分问题。已在北美部署超30万台，宣称将蜜蜂年死亡率降至8%，还介绍了其工作原理等内容。
突发！微软刚开源GitHub Copilot Chat，超强AI Agent自动化编程
今天凌晨4点30，微软首席执行官分享VS Code的最新AI开源编辑器GitHub Copilot Chat。其亮点是支持AI Agent自动化编程，能执行多步骤编码任务。还支持人机协作、MCP协议等，在GitHub很受欢迎。
AI4S设计的新抗生素通过湿实验！双层思考+多目标优化，主动发现「代谢不稳」并加约束
SAGA是新AI，采用双层思考机制，能主动审视需求、优化目标函数。在抗生素、纳米抗体等5大领域湿实验中表现出色，结果获科学家肯定，相关代码已开源。
仅 3MB 大小，终端极速预览 word！
开发者等常需在服务器或命令行环境查看Word文档，传统方式低效。开源神器doxx基于Rust开发，无需Microsoft Word等软件，有保留格式渲染、全文搜索等功能，还提供多种安装渠道。
这个Skill可以消除文本中AI生成的痕迹，没了AI味的内容肯定会更受人喜爱。
AI创作大爆发，但其生成内容有“机械感”。介绍了可在Claude Code使用的Skill，能消除AI生成文本痕迹，还给出手动修改方法及原则，呼吁创作者用心改内容。
LeCun离职后不止创一份业！押注与大模型不同的路线，加入硅谷初创董事会
离开Meta后，Yann LeCun创立AMI，还加入Logical Intelligence任技术研究委员会主席。该公司推能量 - 推理模型，与主流大模型路线不同，其Kona模型在数独测试上表现远超大模型。
CUDA内核之神、全球最强GPU程序员？OpenAI的这位幕后大神是谁
AI圈聚光灯常聚焦明星人物，OpenAI一位工程师因编写关键CUDA Kernel引发关注，网友猜测是Scott Gray。他在Nervana开发maxas、maxDNN，加入OpenAI后开发块稀疏GPU内核并开源。
吴恩达来信：人工智能转型走进大学
吴恩达访问英国埃克塞特大学获荣誉博士学位，他发现该校领导层积极拥抱人工智能，思考如何赋能学生。这所大学在多领域有优势，能创造跨学科协同效应，其人工智能转型已起步。