智东西
新版Gemini 2.5 pro屠榜!谷歌又把o3、Claude 4和DeepSeek-R1甩在身后了
谷歌今日突袭推出Gemini 2.5 pro的重磅更新版本Gemini 2.5 Pro Previe
斯坦福中国学霸开挂创业:AI解数学难题,0产品目标估值3亿美元
中国籍学者洪乐潼创立的Axiom公司专注于开发基于形式化数学证明的AI模型,目标估值3亿至5亿美元,旨在解决复杂数学问题并弥补主流AI在该领域的不足。
谷歌今日突袭推出Gemini 2.5 pro的重磅更新版本Gemini 2.5 Pro Previe
中国籍学者洪乐潼创立的Axiom公司专注于开发基于形式化数学证明的AI模型,目标估值3亿至5亿美元,旨在解决复杂数学问题并弥补主流AI在该领域的不足。