看过剧版《三体》的读者或许都记得一个名场面：来自三体的智子封锁了人类科技，还向地球人发出了「你们是虫子」的宣告。

SubgoalXL 的成功展示了大语言模型在形式化定理证明任务中的巨大潜力，并为未来研究指明了方向。

Program-Every-

历经 2023 年的「百模大战」，AI 正在各行业领域沉淀、落地。

空间智能公司「极佳视界」宣布完成近5000万元天使及天使+连续两轮融资

今天凌晨，大新闻不断。

新处理器将为 AI、数据分析、科学计算等计算密集型业务提供卓越性能。

近日，中国科学院近代物理研究所（IMP）副研究员吕冰锋、湖州师范学院王永佳教授和巴黎萨克雷大学的研究人员，利用机器学习方法研究原子核低位激发态的能量和电磁跃迁几率

选轮子？还是选腿？

一波接着一波，OpenAI 到底怎么了？