AI快开门

发现最好的AI工具

← 返回列表

2024-02-04 AI 话题

RSS
📊 6 个话题 📰 20 条新闻




谷歌、UMass、UIUC联合利用LLM自动生成完整数学证明,获软件工程顶会杰出论文;上下文越全,证明成功率越高,为大模型在形式化验证与数学研究打开新场景。


2024年1月全球仅5家AI制药公司获投,总额5亿元,同比骤减;甫康、双翼原创仍获超亿元融资,显示资本更青睐拥有自研平台与临床管线的头部项目。