AI资讯新闻榜单内容搜索-AI4M

关键词: AI新闻,AI材料,MATARIA,AI4M

MATARIA（元材新界）宣布完成君联资本领投、小苗朗程跟投的数千万元人民币种子轮融资，并计划未来18个月推出跨尺度材料模型V1.0，在3至5个行业开展试点。

关键词: AI新闻,AI4S,AI材料,小米AI材料

我们获悉，斯坦福博士&前字节AI4S早期员工俞之奡近期已加盟小米集团，出任小米材料Core团队负责人。据悉，AI4Materials和材料core是小米继自研大模型之后，在前沿科技领域的又一战略布局，专注AI+材料协同、串联及前沿材料研发，覆盖小米集团所需的各种新材料方向

关键词: AI新闻,智能知识,一面千识,Human Intelligence

近日，「智能知识」（Human Intelligence）完成天使轮融资，由耀途资本、锦秋基金联合投资。本轮融资资金将用于两个方向：前沿数据品类扩张：深耕 Coding、Enterprise Office（GDPVal）、Agentic Tool Use 等高价值数据，并积极探索 AI4Math、AI4Science、AutoResearch 等新场景；

关键词: DeepSeek-R1,模型训练,AI,formal verification

随着 DeepSeek-R1 的流行与 AI4Math 研究的深入，大模型在辅助形式化证明写作方面的需求日益增长。作为数学推理最直接的应用场景，形式化推理与验证（formal reasoning and verification），也获得持续关注。