AI资讯新闻榜单内容搜索-计算机科学

关键词: AI,AI人才,人工智能,AI学术

最新消息，DenseNet 作者之一刘壮将于 2025 年 9 月加盟普林斯顿大学，担任计算机科学系助理教授一职。

关键词: openai,o1,AI,Leetcode,AI测评

计算机科学、数学、自然科学、医学、语言学、社会科学……OpenAI o1擅长什么？还有哪些不足？

关键词: AlphaFold 3,Ligo,AI,AI蛋白质

谷歌DeepMind5月发布的AlphaFold 3同时席卷了生物界和计算机科学界，被认为是「有诺奖潜力的成果」。

关键词: AI,AI汽车,AI驾驶,AI司机,U-Drive

吴甘沙校友本硕毕业于复旦大学计算机科学技术学院，于2000年加入英特尔中国研究院，2010年成为英特尔中国研究院首席工程师，2014年晋升成为英特尔中国研究院院长。2016年，他创立驭势科技，踏上创业之路已有8年时光。

关键词: CPU,CPU,模型训练,AI,人工智能

本期我们邀请到了 纽约大学计算机科学院博士 童晟邦 带来【多模态大模型：视觉为中心的探索】的主题分享。

关键词: Transformer,AI框架,Gemini,大模型

当一家人工智能公司的首席执行官更像是计算机科学家而不是推销员时，我感觉更舒服

关键词: openai,AGI,chatGPT,人工智能

7月初，在约翰霍普金斯大学，资深科技记者、播客Pivot的联合主持人Kara Swisher与OpenAI CTO Mira Murati展开了一场火药味十足的对话，计算机科学家、斯坦福大学教授李飞飞也加入了提问阵营，他的另一个身份是Google云人工智能和机器学习首席科学家

关键词: RAGFlow,RAG,搜索增强,AI,大模型

搜索技术是计算机科学中最难的技术挑战之一，迄今只有很少一部分商业化产品可以把这个问题解决得很好。大多数商品并不需要很强的搜索，因为这和用户体验并没有直接关系。

关键词: 忙碌海狸,Coq,AI数学,AI助手,AI科研

「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。

关键词: 陈立杰,计算机科学家,AI,人工智能,机器学习

姚班大神陈立杰最新去向现已明朗：2025年秋季起，任加州大学伯克利分校EECS助理教授。