潮声丨AI教父意外捧诺奖,坐了30年冷板凳的他却成了“奥本海默”

“辛顿祖父的外公是19世纪英国数学家乔治·布尔,他创立了布尔代数。”浙江大学数学科学学院教授蔡天新告诉潮新闻记者,现代电子计算机采用的二进制,是与布尔代数的符号逻辑体系分不开的。辛顿家族的辉煌,由他开启。辛顿的曾祖父是数学家兼奇幻作家查尔斯·辛顿,他提出的“第四维度”的概念成为后世科幻作品里平行宇宙...

深度|李飞飞:AI十年,公众看到的是一些离散事件,而我们则看到一个...

2006年的达尔帕大挑战是关于无人驾驶汽车的,我同事和他的团队让一辆车在内华达州的沙漠中开了138英里,那是一项令人难以置信的能力;我们有机器可以翻译数十种语言,这只是超人类的能力,我们已经超越了许多任务,包括阿尔法折叠、阿尔法围棋,甚至图像识别,这些都是一些稀有物种,比如星鼻鼹鼠,或者你知道的,许多犬类,这些...

“数学之王”欧拉有多牛?所有学生的“噩梦”,“开挂”般的人生

通过一次又一次的比赛,欧拉在名声大噪的同时,也开始尝试创造许多新奇的数学符号。像我们现如今学习的圆周率的符号π、函数符号f(x)、三角学符号sin、cos、以及符号Σ等等,都是由欧拉创造。不仅如此,在创造这一系列数学符号的同时,欧拉还成功建立了数学和物理之间的联系。我们在小时候的学习中都知道数学和物理是两个...

阿尔法车标志是什么样

阿尔法车标志是维斯康泰公爵的家徽,由中世纪米兰领主所使用。家徽左侧的十字架象征着十字军远征的历史,而右侧的蛇则代表着击退巨蛇的传说,同时也是意大利米兰市的市徽。AlfaRomeo的标志最早只有Alfa的符号,其中的蛇形象来源于公司技术部门的一位年轻设计师。他在等待有轨电车时,在菲拉塞特塔上发现了一条蛇,于是将...

AI抢攻人类奥赛金牌!DeepMind数学模型做对25道IMO几何题,GPT-4...

等腰三角形的底角相等,这是学过初中数学的人都知道的常识(等腰定理1),可是要怎么证明?AlphaGeometry的做法是,通过运行符号推理引擎,来启动证明搜索。这个引擎会从定理前提中不知疲倦地推导出新语句,直到定理被证明,或新语句被穷尽。但如果符号引擎无法找到证明,语言模型就会构造一个辅助点,在符号引擎重试之前增加证...

业绩持续低迷,波导股份丧失了战斗力

一代机王成时代符号提及波导手机，可能现在的00后会没什么印象(www.e993.com)2024年11月12日。但是对于70、80后来说，波导手机或许是他们青葱岁月的一部分。尤其“波导手机，手机中的战斗机”这句广告语至今都令人无法忘怀。不可否认的是，波导股份在国内手机发展史上留下了浓墨重彩的一笔。2001年—2007年，波导手机连续七年位居国内销量第一，...

人设置的密码 还得从人突破

想起我在破译自己设置的密码时,每次“尝试输入”显示“仅剩最后一次”的时候,都要提心吊胆,仔细回忆设置密码时的想法,那些密码提示问题也多与个人经历息息相关。与其说我是在思索数字和符号,倒不如说是在调取与自我经历有关的标志。在信息安全的世界里,技术可以筑起高墙,而在人类的世界里,富有情感成了安全里最大...

未来战争制胜的关键在于人机环境系统的有效协同

如果说“逻辑是符号串的等同或包含关系”,那么非逻辑则是非符号的等同或包含关系。人工智能处理一些逻辑问题较好,而人处理一些非逻辑问题稍优,人机融合则能处理逻辑与非逻辑的融合问题。人工智能在对抗博弈中起重要作用需要几个条件:首先是找到数学定量计算就能解决的部分,其次与人融合过程中使该AI部分找到适当的时机、...

入门必读!写给初学者的人工智能简史!

在这里,我们要提到人工智能最著名的三大学派——符号主义、联结主义(也叫联接主义、连结主义)、行为主义。符号主义是当时最主流的一个学派。他们认为,世界中的实体、概念以及它们之间的关系,都可以用符号来表示。人类思维的基本单元,也是符号。如果计算机能像人脑一样,接收符号输入,对符号进行操作处理,然后产生符号输...

《传媒观察》|“大数据、大模型、大计算”:舆情精准研判中的ChatGPT

以上就显现出了ChatGPT与阿尔法狗及其他AI之间的区别。与它们相比，ChatGPT有其优胜之处。具体到舆情精准研判上，ChatGPT是能够理解网民通过语言（包括某些转弯抹角的语言）和符号（具有特定含义的符号）所表达的舆情的。在这一点上，它与前代AI有所不同。原因是几乎无所不包的预训练语料库中有足够丰富的相应语料...