最新发布第201页
排序
从数学证明到物理实验:AI开始为科研结果负责
GPT-6 Astra上线第一天就在FME数学基准中解出5道Erdős难题,Claude则用数十个智能体协作完成费马大定理的形式化证明。两条消息放在一起看,意义并不只是“哪个模型更强”:AI正在从展示流畅答...
OmicOS把国产大模型接进实验室,AI科学开始拼工具链和真实场景
OmicOS Science发布后,国产大模型开始进入生命科学分析工作流,AI科学竞争也从模型问答转向工具链、验证流程和真实场景落地。
Rio 3.5开源397B后,大模型竞争开始从参数榜单打到成本与落地
Rio 3.5 Open 397B、Fusion多模型融合、星火医疗和Minerva营销平台同日升温,说明AI竞争正在从单一模型能力转向开源生态、调用成本、行业落地和供应链韧性。












