「科学自主性」共找到 1236 篇相关文章
改写纳米光学底层逻辑！MIT学者搭建通用可重构光子平台
MIT助理教授唐皓凝构建可相对运动的双层纳米光子系统，将机械运动变为可定量科学变量。2024年，她和合作者集成光谱仪和偏振仪功能。她想发展可编程光子架构，还把AI作工具。
横扫八大数学竞赛：清华微软联合提出STAR-PólyaMath，Apex基准超GPT-5.5 13.5%
清华大学与微软亚洲研究院团队提出推理多智能体系统 STAR - PólyaMath，构建探索 - 推理 - 验证框架，解决大模型长程数学推理瓶颈，在八大数学竞赛基准获最优成绩，还可泛化到其他推理场景。
RF-DETR-首个突破60 AP的实时检测器（附实战教程）
RF-DETR在COCO数据集上，实时检测精度首破60 mAP，兼顾实时性与高精度。它通过NAS找到Transformer实时运行的‘最优解’，迭代快，适用于多场景，还给出完整实战教程。
SafeHarness：告别防御盲区，为智能体Harness穿上「全生命周期安全护甲」
在自主AI智能体生态中，Harness是核心组件却易成攻击目标。中国科学院信息工程研究所等推出SafeHarness框架，将防御机制融入智能体Harness运行生命周期，解决现有安全工具缺陷，实现系统级协同防御。
小模型用不好Skill？新范式让模型学会Skill的底层逻辑，3B模型推理token省5倍，性能反超
浙江大学联合美团龙猫团队、清华大学推出SKILL0，提出技能内化思路。它在训练中引入关键机制，让小模型把技能内化到参数里。实验显示，其效果出色，token效率高，为小模型成领域专家提供新方向。
陶哲轩：AI 已经把想法成本降到几乎为0了...
著名数学家陶哲轩在与播客主持人Dwarkesh Patel的对谈中分享使用AI一年后的观点，认为AI已将想法生成成本降至几乎为零，但验证和评估成新瓶颈，还探讨其对数学研究的影响及未来发展。
极客大神构建了LLM架构画廊，AI大神Karpathy点赞
极客大神Sebastian Raschka构建LLM Architecture Gallery，将复杂模型结构化繁为简，引发技术圈讨论，AI大神Karpathy点赞。画廊高度视觉化、互动性强，展示模型架构图及核心参数，源数据开源。
科研人有自己的“吃虾”方式！斯坦福普林斯顿最新开源，仅需一行指令
斯坦福和普林斯顿高校团队开源“科研版龙虾”LabClaw，只需一行命令就能调动。它是AI的“技能包”，还能部署成AI实验室助手。此外还配操作系统LabOS，人机协作效率高，扩展性好。
牛芯半导体完成UB协议IP互通验证
近日，牛芯半导体搭载自研控制器IP的原型验证平台，与万里眼标准UB网络测试仪完成对接，标志其自研UB控制器IP在协议一致性上迈出关键一步，为生态伙伴开展兼容性验证提供范本。
光年之外居然做了能用Skills的AI浏览器：超实用实用案例+现成脚本
光年之外团队推出 Tabbit 浏览器，填补国内空白，有对话、妙招等 5 大核心功能。文章用5个案例展示其便捷性，如一键成稿、旅行规划等，还能解决收藏难题、增强网页功能，适配国内网站。