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

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

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

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

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

关键词: LoRA,微调,大模型高效微调,大模型

美国东北大学的计算机科学家 David Bau 非常熟悉这样一个想法：计算机系统变得如此复杂，以至于很难跟踪它们的运行方式。

关键词: AI教母,李飞飞,AI公司,空间智能

根据路透社5月4日消息，著名华人计算机科学家李飞飞正在建立一家初创公司。这家公司会利用类似人类对视觉数据的处理，使 AI 能够进行高级推理。这种AI算法使用的概念被称为“空间智能”。至于新公司的名字，还没有向外界披露。

关键词: 辛顿.AI教父,人工智能

本文介绍了计算机科学家杰弗里·辛顿的观点，他开始担心人工智能可能对人类构成生存威胁。他认为人工智能系统可能开始自我思考，并试图取代或消灭人类文明。

关键词: landing.ai,AI,LVMs,LLM

著名计算机科学家Andrew Ng在近期的AI硬件峰会上宣称：“我们在文本领域所见到的革命将会出现在图像领域。”