「是石科技」共找到 4850 篇相关文章
自动化浏览器
Skyvern是能自动化浏览器操作的工具，底层靠大语言模型和计算机视觉。它提供简单API接口，可在大量网站自动化手动操作，替代易出错的自动化方案。介绍了其原理、使用方法、功能等。
北航董雷霆等：数字工程与数字孪生在航空疲劳与结构完整性领域的研究进展与展望 | 航空学报CJA
疲劳与结构完整性贯穿飞机全生命周期，数字工程与数字孪生技术为其管理提供高效方案。文章梳理该技术研究进展、工程案例，涉及设计验证和使用维护两阶段，还对未来发展提出展望和建议。
揭秘OpenAI 1.5万亿美元交易内幕：奥特曼核心圈子主导，绕开银行家和律师
OpenAI CEO Sam Altman与内部核心高管圈子主导1.5万亿美元系列交易，绕开银行家和律师。交易呈技术优先、财务后置非传统模式，如与英伟达、AMD等多笔重磅交易，还介绍了绕开外部顾问原因。
“Claude Skills很棒，可能比 MCP 更重要”
10月17日，Anthropic发布Claude Skills，是助其模型获新功能的模式。Claude用Skills可改进执行特定任务方式，且只在相关时调用。它易共享，可能比MCP更重要，实现依赖编码环境。
浅谈上下文工程｜从 Claude Code 、Manus 和 Kiro 看提示工程到上下文工程的转变
文章围绕上下文工程展开，介绍其概念、组成与提示工程区别，通过演示说明价值。还分析业界产品实践，如LangChain管理方法、Claude Code架构机制、Manus优化实践、Kiro开发模式，最后展望环境工程。
太疯狂了！Meta裁员裁到田渊栋头上，连组员一锅端
Meta AI大裁员裁到田渊栋头上，还整组裁。田渊栋在Meta工作超十年，是FAIR研究科学家总监，开发过“Dark Forest”等。他成果多，OpenAI等已在抢人，此次裁员或不简单。
AI自动生成工作流，n8n官方出品
AI自动生成工作流成趋势，n8n官方已支持该功能。新建工作流时点击“Build with AI”，用自然语言告知需求，AI会搜索节点并连接成工作流。目前仅云端版可用，使用需切换到最新测试版。
数学界地震！GPT-5连破10道「百年悬案」，陶哲轩：AI革命才刚开始
两位研究人员用GPT - 5仅一个周末就解决10个埃尔德什难题，GPT - 5还在另外11个问题有显著进展。数学家陶哲轩称AI最有成效应用是处理琐碎耗时环节，重塑数学研究。
永别了，人类冠军！AI横扫天文奥赛，GPT-5得分远超金牌选手2.7倍
国际天文与天体物理奥赛（IOAA）中，GPT - 5和Gemini 2.5 Pro完胜人类选手。俄亥俄州立大学团队考察五大顶尖LLM，发现它们大多达金牌水平，但在几何、时空推理等方面有困难。
GLM-4.6 vs Claude 4.5：当AI编程模型能力趋同，会用比选什么更重要
文章对比GLM - 4.6和Claude 4.5在AI编程中的表现。用两套提示词测试，发现二者能力接近，GLM - 4.6性价比高，还给出Claude Code + GLM - 4.6的组合使用方法，建议聚焦做产品而非纠结工具。