「实践型博士」共找到 772 篇相关文章
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
超棒Claude官方提示词：Anthropic发布Claude 4.x提示工程最佳实践
Anthropic发布Claude 4.x提示工程最佳实践，这些原则在顶尖大模型中一般通用。它强调精准指令驱动性能，构建记忆与状态管理机制，优化工具调用编排，激发高阶认知与专业输出，重塑代码美学与工程规范。
AI驱动前端重构：10天完成3000+行复杂组件的跨端复用实践
本文分享阿里团队实践，用AI开发工具Cursor结合Claude模型，10天重构超3000行前端组件实现跨端复用。介绍代码辅助、测试用例生产、代码智能生产经验，提出新开发范式，强调规范和人工校验重要性。
从HITL(Human In The Loop) 实践出发看Agent与设计模式的对跖点
本文围绕在 ReactAgent 中引入并实践 HITL 机制展开，介绍实现方案与代码设计。分析无通用人机协同时的问题，阐述 HITL 核心要点、实现效果与细节，还探讨 Agent 演进与工程设计模式的关联。
全球仅9所，清华姚班校友当选！亚马逊AI博士奖学金豪掷6800万美元
亚马逊官宣AI博士奖学金，两年共6800万美金，为全球九所顶尖大学100多名博士生提供支持，资助智能体系统等硬核方向。目前，MIT、CMU、UC伯克利公布获奖名单，多位华人学者入选。
Coding Agent 在百度的落地实践：从反馈闭环到工程范式重构
本文整理自百度文心快码研发经理牛万鹏演讲，介绍了Coding Agent在百度的落地实践。包括落地成效、Agent Loop框架问题、Feedback Loop构建、Benchmark评测及Agent Engineers理念，还提及企业级Agent落地的工程问题。
博士80小时熬夜改代码，Codex 2小时交卷！科研奇点来了
近日，Agentic AI工程师Dan McAteer实验发现，OpenAI Codex的Goal Mode完成机械可解释性研究任务，效率比博士高40倍。Codex /goal模式能自主循环，契合科研流程。此外，递归自我改进证据涌现，AGI或早已实现。
博士答辩PPT分享 | 高雷诺数湍流场数据同化与湍流模型机器学习研究
西北工业大学孙旭翔博士的论文聚焦航空航天湍流模拟难题，结合数据驱动与同化方法，构建全流程框架，提出数据同化与模型修正方法，设计集成框架，实现高雷诺数复杂流动精确高效模拟。
专访希姆计算陈炜博士：“技术与人才标准”双轮驱动，推动 RISC-V 生态繁荣
在2025 RISC-V中国峰会期间，希姆计算陈炜博士接受专访，介绍RISC-V在AI领域布局，提及希姆计算推动技术标准制定的贡献与挑战，还阐述国内人才缺口及培养标准，认为技术与人才标准相辅相成。
腾讯云与 Gartner 联合发布“Data+AI”白皮书，各行业领军企业分享最佳实践
6月27日，腾讯云联合Gartner发布《Data+AI，下一代数智平台建设指南》白皮书。指出GenAI时代数据变化大，腾讯云打造原生一体化Data+AI平台DIaaS，多位技术大咖分享其赋能企业数智化转型实践。