「AICon上海」共找到 392 篇相关文章
编程智能体的隐藏bug，被上交IPADS团队用数学逻辑给揪出来了
上海交通大学 IPADS 研究团队打造 FM - Agent，实现大规模系统全自动正确性推理。它能从顶尖编程智能体生成的大规模系统中找出隐藏 bug，还提出新规约生成方法，在绝对严谨与工程可用间找到平衡。
『书生·端砚』全面开放全栈服务，“算、证、验”三合一，筑牢科学智能底座 | 2026浦江创新论坛
上海人工智能实验室在2026第十九届浦江创新论坛上，升级发布书生·端砚科学发现平台并全面开放全栈服务，升级三大核心能力，覆盖完整科研流程，已落地六大核心科研领域，开放给科研人员试用。
35B参数科学性能比肩万亿参数模型，『书生』科学大模型Intern-S2-Preview开源
5月15日上海AI实验室开源新一代大模型预览版Intern - S2 - Preview，尺寸小、科学能力强，在多方面有突破。其深化与昇腾算力生态协同，探索‘通专融合’，科学及智能体能力升级，还优化训推效率。
观猹 × MuSH ｜ AI 练摊市集招募中，你的 AI 能让路人玩上 5 分钟吗？
5月15日上海举办MuShanghai AI Week，五天有不同主题活动。收官日有首个中外开发者齐聚的Demo练摊市集，强调产品好玩，设投票机制和奖项，还分闪电秀PK赛与开放麦环节。
蛋白质基座的GPT时代来了？！
清华大学周浩课题组联合上海人工智能实验室发布蛋白质基座模型AMix - 1，以系统化方法论构建，实现蛋白质基座领域从BERT到GPT时代跨越，有四大‘超能力’，设计的蛋白活性提升50倍，代码等已公开。
史上最大高质量科学推理后训练数据集开源，快速让Qwen3等变“科学家”
上海创智学院、上海交通大学发布开源科学推理后训练数据集MegaScience，含约125万条问答对，覆盖多学科。它解决了现有数据集的问题，实验显示能提升模型科学推理能力，已完整开源相关组件。
从 GPT 到 Agent，技术与业务如何“双向奔赴”
InfoQ《极客有约》X AICon 直播栏目邀请徐文健、李陈忠、张昊阳探讨大模型产品落地路径。他们分享从 GPT 到 Agent 的经历、认知转变，讨论通用 Agent 及创业机会，还谈及 AI 产品难点和人才标准变化。
大模型“拼好题”，45K数据撬动18%提升，数学问题拒绝死记硬背 | MathFusion
上海AI Lab等团队提出MathFusion，通过三种“融合策略”生成新的融合数据集MathFusionQA，仅用45K合成指令，在多基准测试中平均准确率提升18.0个百分点，增强模型解决数学问题的能力。
2025世界人工智能大会特别推荐！10国20多位艺术家邀你开启与AI的深度对话
2025世界人工智能大会特别推荐的‘提视造境：国际人工智能艺术文献展’，由上海民生现代美术馆主办，汇集10国20多位艺术家31件/组作品。分五大板块，探讨AI艺术多议题，是人机共演的艺术实验。
AI 编程冲击来袭，程序员怎么办？IDEA研究院张磊：底层系统能力才是护城河
在AICon全球人工智能开发与应用大会上，IDEA研究院张磊接受专访，剖析多模态智能体落地路径，分享工业界平衡研究与产品的见解，还为年轻人在AI浪潮中发展给出建议，指出底层系统能力是关键。