普林斯顿团队领衔发布最强开源数学定理证明模型:32B性能大幅超越前代SOTA DeepSeek 671B
近日,由普林斯顿大学牵头,联合清华大学、北京大学、上海交通大学、斯坦福大学,以及英伟达、亚马逊、Meta FA…
近日,由普林斯顿大学牵头,联合清华大学、北京大学、上海交通大学、斯坦福大学,以及英伟达、亚马逊、Meta FA…
编辑 | 萝卜皮 套索肽(LaP)以其缠结状活结结构为特征,是一大类核糖体合成和翻译后修饰的肽(RiPP),例…
本月初,据 The Information 报道,Anthropic Claude Code 的两位负责人 B…
本论文共同第一作者于润芃和李奇是新加坡国立大学 xML 实验室博士生,指导老师为王鑫超,研究方向是多模态大模型…
编辑丨% 于化学领域,多物种急性毒性评估构成了化学品分类、标签和风险管理的基础。传统机器学习模型常因人类毒性数…
不知不觉,2025 年已经来到 7 月,AI 领域依旧保持高速发展的趋势。 从年初的 DeepSeek 横空出…
据《金融时报》报道,OpenAI 前 CTO Mira Murati 的创业公司 Thinking Machi…
本文作者是香港中文大学博士三年级薛博阳,导师为黄锦辉教授,目前在伦敦大学学院进行访问交流,他的研究方向包括可信…
本周一,亚马逊云科技推出了 Kiro 预览版,这是一款人工智能编程工具(AI IDE),旨在帮助开发人员以最少…
2025国际基础科学大会近日颁发“前沿科学奖”(Frontiers of Science Award),旨在表…