「科学软件」共找到 884 篇相关文章
奥特曼：假如给我一千倍算力，我会这样做
奥特曼在最新访谈展望下一代模型，认为完美AI是有超人推理能力等的微型模型。理想AGI能自主发现新科学，使全球科学发现提速。他还回应算力假设，为企业指明投入资源方向。
刚刚，英伟达拟10亿美元砸向这家AI编码创企！Copilot 技术大佬带队、成立两年估值近千亿
10月30日消息，英伟达拟向AI初创公司Poolside投资最高10亿美元。该公司由微软技术大佬带队，定位生成式AI与软件开发交叉领域，开发自研模型，有独特强化学习方法和技术布局。
科学家要失业了？GPT-5仅用18分钟解出黑洞方程，效率碾压人类数月！
2026年AI成科学家新战友，从破解优化难题到重现黑洞对称性，加速科学发现。数学家与ChatGPT合作完成证明，物理学者用GPT-5 Pro快速解黑洞方程，OpenAI还助力攻克生物学难题。
GUI 将死，CLI 才是一切
文章指出 GUI 时代将尽，CLI 正赢下一个十年，其用户将是 Agent。介绍了 CLI - Anything 项目，它能为软件生成 CLI 接口，让 Agent 用命令行操控软件，还探讨了 Agent 命令执行权限等问题。
AI Code：Cursor狂飙，Anthropic开战
生成式AI使软件开发成巨大市场，全球开发者带来每年3万亿美元经济贡献。Cursor等初创公司崛起，介绍了AI编程工作流程、代码生成审查方式、质量保证等，还探讨了软件开发的变化及发展趋势。
Google情报报告：滥用 AI 工具的最新进展
谷歌威胁情报小组（GTIG）报告显示，2025年攻击者将新型AI恶意软件用于实际攻击，恶意软件采用即时AI、利用社会工程绕过防护，AI工具网络犯罪市场成熟，如PROMPTFLUX等利用AI动态改变行为。
10万token自然语言推理，让30B-A3B模型站上奥赛金牌线
上海人工智能实验室报告显示，30B - A3B规模的SU - 01模型不依赖外部工具，经训练在IMO、USAMO、IPhO等奥赛评测达金牌水平。研究还验证更高效科学推理系统路线，有望用于更多科学问题。
别再问什么工作被AI取代！Karpathy直指本质：你的工作「可验证」吗？
前特斯拉AI负责人Andrej Karpathy提出，软件1.0自动化能指定的任务，软件2.0自动化能验证的任务。判断任务能否被AI接管，关键看是否满足可重置、可高效试错、可自动奖励三条准则。
数据与舆情双引擎：DeepAnalyze + BettaFish
DeepAnalyze是面向自主数据科学的大语言模型，能自动完成数据科学任务，支持完整流程、开放式研究且完全开源。还提出两项关键技术。微舆 - BettaFish是舆情分析系统，四类智能体协同工作，有六大核心优势。
上海一群青年，造了个学术版OpenClaw
上海科学智能研究院联合复旦大学发布超级科研合伙人“大圣”，它是面向科学探索的高能动性智能体。能在生命、地球、人文等多领域发挥作用，其研发涉及多模态模型、群体记忆架构等核心技术，还介绍了相关赛事。