「溯因推理」共找到 3189 篇相关文章
Oracle 推出 MySQL AI
Oracle 推出仅在 MySQL 企业版提供的 MySQL AI，用于处理分析和 AI 工作负载。它有向量存储等功能，新 AI 引擎含四大核心组件。但 MySQL 社区担忧社区版未来及供应商锁定问题。
从Transformer到GPT-5，听听OpenAI科学家 Lukasz 的“大模型第一性思考”
2017年《Attention Is All You Need》提出Transformer架构，重塑AI版图。其作者“Transformer八子”中，Lukasz Kaiser加入OpenAI，参与GPT-4、GPT-5等研发。他10月将出席大会分享见解，曾预言多模态等趋势已渐成现实。
新的 Rust 客户端致力于实现基于 Aerospike 的安全、高性能应用
Aerospike正式发布Rust客户端，用于与其实时NoSQL数据库交互。采用异步优先并发模型，支持批命令等。还将支持分区查询等功能，Aerospike也提供其他客户端库助开发者构建应用。
GPT-5 最强大的，是编程
据报道，OpenAI的GPT - 5即将到来且早期反馈积极。它在编程领域表现突出，尤其在实际编程任务上有提升，不过其具体形式存疑，改进或多来自后训练阶段的强化学习。
刚刚，Meta 超级智能团队44名成员信息曝光，半数来自中国
风投公司投资人晒出匿名Meta员工盘点的超级智能团队44名成员信息，半数来自中国，成员学历、履历等情况明晰，但有人质疑名单真实性和全面性，团队阵容或更庞大。
OpenAI收购Windsurf失败
Techcrunch消息，谷歌聘请Windsurf的CEO等成员加入DeepMind团队，Windsurf被Cognition收购，OpenAI收购计划失败。Windsurf此前已筹超2亿美元，曾估值12.5亿美元，吸引OpenAI以30亿美元收购。
我把周末写的代码开源了，结果炸出了几千个被微信群逼疯的人
作者受微信信息焦虑困扰，用Chatlog开发Chatlog WebUI，能自动总结群聊信息。该工具功能丰富，已开源，作者还想加新功能，希望用AI解决生活痛点。
Llama惨遭抛弃！Meta内部改用Claude写代码
据Meta工程师透露，Meta内部开发已弃用自家Llama，改用Claude Sonnet写代码。Llama 4风评不佳，有人怀疑Llama 5是否会推出。Claude写代码能力一流，其背后公司收入增长快。
grok 4一图流
文章展示grok 4核心数据，涵盖训练成本、模型定价，还列举其在通用、专业、数学、推理、编程等能力测试中排名第一的成绩，不过实际水平还有待观察。
真实科研水平集体不及格！全新基准SFE给主流多模态LLM来了波暴击
上海人工智能实验室AI4S团队推出SFE评测基准，首创三级评估体系，涵盖五大科学领域66项任务。评测显示主流MLLMs在高阶科学任务有挑战，不同模型、学科表现有差异，还构建了SciPrismaX平台推动AI科学评估生态发展。