「科研自动化」共找到 802 篇相关文章
Vibe Coding 方法论：不会编程的人如何用 AI 写出能跑的代码
文章介绍 Vibe Coding 方法论，即便不会编程，也能用 AI 写出能跑的代码。核心是把需求说清楚，还可小步迭代开发，Claude 这类会主动询问的工具更适用，同时要明确其适用场景。
港大开源ViMax火了，实现AI自编自导自演
香港大学黄超教授团队开源ViMax框架，在GitHub获高星标。它借助多智能体协作实现AI自编自导自演视频，突破主流模型在长视频制作的瓶颈，采用多种策略应对技术挑战，不过在多方面仍有提升空间。
谷歌全线开挂！Gemini 3 Deep Think夺多项推理SOTA，Gemini亚洲新团队也官宣了
谷歌的Gemini 3 Deep Think模式正式上线，推理能力显著加强，在ARC - AGI、HLE等多项权威测评中夺魁，仅向Google AI Ultra订阅用户开放。同时，谷歌DeepMind将在新加坡成立新的Gemini研究团队，由95后华人科学家Yi Tay带队。此外，谷歌还推出了Google Workspace Studio。
AI 找到了六个 Erdos 数学问题，陶哲轩：AI + 人类专家才是真正改变科学研究的方式
菲尔兹奖得主陶哲轩分享，AI 在 Erdos 问题网站实验中，帮数学家发现六个原本标记为「未解决」的问题其实已被解决。他认为 AI 有价值的应用是处理枯燥日常工作，如文献搜索。
今年诺奖成果曾遭质疑无用，但华人团队用它研制了未来芯片的「钥匙」
2025年诺贝尔化学奖成果MOF曾因稳定性差、成本高，实际应用寥寥。如今，海外华人科研团队用其造出纳米级液体芯片，能执行逻辑运算，有记忆效应，成果发表在Science子刊。
17.6K Star跨平台逆向工程神器！免费替代IDA Pro，支持插件扩展！
在二进制文件分析或软件逆向工程中，专业工具如IDA Pro界面复杂、学习成本高。文章推荐开源跨平台逆向工程平台Cutter，它基于rizin核心引擎，功能完善，可降低使用门槛。
比思维链准43%！逻辑脑+大模型直觉，推理可靠性大幅提升
中德研究团队发布成果，给大模型外挂「逻辑脑」，结合答案集编程与LLM，构建神经 - 符号框架，提升空间推理准确率，让AI能说清逻辑、跨任务迁移，迈向更可靠的通用推理。
多模态BUG修复新SOTA：慕尼黑工大GUIRepair登上SWE-bench Multimodal榜单第一
自动化修复软件缺陷是长期目标，多模态问题修复受关注。慕尼黑工业大学团队提出GUIRepair，融合APR与GUI Testing知识，登上SWE - bench Multimodal榜单第一，为多模态软件自动修复开辟新路。
基于LLM的Agentic Reasoning框架综述：从方面到场景的全面总结
近年来，大型语言模型虽能力强但有局限，研究者构建基于LLM的智能体系统。此综述论文提出系统、统一分类法梳理智能体推理框架，建立统一描述语言和通用算法，分析其在不同场景表现与评估方法。
刚刚，斯坦福宣布发起首个AI 主导学术会议
斯坦福大学James Zou教授宣布Agents4Science 2025会议，这是首个要求AI作主要作者和审稿人的学术会议。会议玩法独特，有三大目标，顾问委员会豪华，引发网友热议，将于2025年10月22日虚拟举行。