Open github-actions[bot] opened 6 months ago
2024-01-11 11:19:41
根据科学家的估算,如果覆盖南极洲、格陵兰岛的所有冰层(南极洲将使海平面上升约 60 米,格陵兰岛使海平面上升约 7.4 米)以及全球山地冰盖融化,海平面将上升约 70 米。基于这样的假设,我们模拟了一个虚构的全球陆地海洋地图,你会发现一个完全被改变的世界:
2024-01-10 14:33:59
2024 年 1 月 6 日,知乎科技举办「破晓 · 知乎 AI 先行者沙龙」,此为下半场圆桌「AI 落地进行时,让创新真正触手可及」实录文字。
嘉宾:
(主持人)骆轶航, @硅星人 /品玩 CEO,硅基立场主理人
董应赛,@兔展智能 合伙人,战略与投融资负责人
李乐 @世事如烟 ,网易伏羲游戏 AI 产品负责人
汪大炜,
2024 年 1 月 6 日,知乎科技举办「破晓 · 知乎 AI 先行者沙龙」,此为上半场圆桌对谈「『百模大战』之后,预见行业新生态」实录文字。 嘉宾: (主持人)骆轶航, @硅星人 /品玩 CEO,硅基立场主理人 @黄文灏 ,零一万物技术副总裁及 Pretrain 负责人 林俊旸 @霜清老人 ,通义实验室通义千问开源负责人 王铁震
各位知乎的朋友们大家好,我是张拳石,我来自上海交通大学。今天的主题是:安全的本质,大模型能否被严谨解释为符号逻辑? 我是2007、2008年大三的时候第一次接触人工智能研究,当时还没有深度学习,人工智能领域还是以及基于手工设计的特征的图模型为主导的。2012年的深度学习算是一次变革,到了2023年的大模型,我认为很可能是另一个变革。但是,跟大部分人的思考并不相同 以下是我在知乎AI先行者沙龙活动上的演讲实录,应线上线下听众们的诉求,现将演讲内容分享出来: 非常荣幸,能够在这里分享我自己对于大模型这个行业目前的一些认识。首先说一下我,我是清华大学电子工程系的教授,今天在座各位可能做算法和应用比较多。但我是一位做硬件、芯片和基础软件更多的学者,以及有过一定的创业经历,所以从我的角度来给大家去讲一讲我怎么去看人工智能,特别是这一波大模型的发展。 大模型这一次出来以后对于AIGC、自动驾驶、科学计算,特别是我最感兴趣的机器人方向有着非常大的促进作用,作为电子系的系主任,每年9月份我都会在新生的迎新活动上讲话。在跟这200多名新生去分析未来从事行业的时候,其中有一个方向就会去讲机器人这个方面。这几年的高考人数还比较多,竞争是比较激烈的,因为当年是1800万的出生人口,到了去年和前年大概是800万左右的出生人口。我每次问他们说,同学们你们看一看我今年40多岁了,为祖国可以健康工作到50岁,甚至更多,等我到了七八十岁,也就是30年以后谁来照顾我是一个问题。那个时候人不够了,2050年 这些天重新游玩很久之前玩过的游戏《见证者》,回想当初游玩时的兴奋感,依然仿佛历历在目。这个游戏很难称为游戏,而应该看作杰出的艺术品,幻想与写实,表面与暗藏,艺术与数学,精确与诗意,可以谈的东西有很多。 这一篇文章就先关注其中蕴含的数学原理。 在解谜游戏中,主要的玩法为隐藏物的收集与触发,以及各种有趣的小游戏,益智关卡。在这款游戏中,解密都是通过图中的路径实现的,这就是最形象的图论知识教学。 接下来就让我带领大家一一欣赏其中的数学原理。游戏图片来源于网络。 简单图,两个顶点,一条边,圆为起点,半圆为终点,看上去就像一个温度计。 相信大家对“神经网络能否被严谨地解释为符号逻辑”都有自己独特的想法,但是如果究根问底,还是需要一个更加严谨的公理、定理体系来证明或证伪这个命题。准确地说,这里面起码包含两个问题,1.如何定义并数学证明“符号化解释的严谨性”,2.求得“在哪些条件下”神经网络可以被严谨地解释为符号逻辑。 下面,是我最近在知乎平台上的一个报告。细节的定理证明需要大家读后面的论文和我的其他知乎文章。 各位知乎的朋友们大家好,我是张拳石,我来自上海交通大学。由于身体原因,很遗憾无法前往现场与大家面对面交流。我仍然用心准备了今天的分享,希望能够就可解释性及大模型的未来发展路线,与大家进行深入而有意义的探讨。
先说结论:截止到目前为止,小米汽车的动力电池安全技术,处于行业TOP水平!老王搞了这么多年的电动汽车安全技术开发,拆了数十款电池,在知乎 @拆车实验室做了很多期节目,敢为自己的这个言论负责! 针对小米汽车的动力电池安全技术,本来老王还想着得空了自己写一篇,结果小米官方来了个彻头彻尾的剧透,所以大家看官方发布的这篇文章就够够的了! 这篇针对小米汽车动力电池安全设计,真的是已经细到不能再细了,把几乎所有的设计细节和设计方案,甚至包括很多安全策略都介绍的完完整整! 也详细阐述了大家比较感兴趣的为什么要做电芯倒置?为什么要用气凝胶?为什么要用双大面水冷?等等! 确保最终满足全球最严苛的热失效安全目标! 另外,老王也看到知乎平台上某些号称搞技术开发的人各种歪曲事实、无端揣测,真的不是无知就是真坏了!老王也不点名了,丢人!但老王还是想对这些人提个小小的建议,好好回去多学学再出来摇旗呐喊,不然都对不起关注你的那些朋友! 活动简介:2024 汽车答主挑战赛需报名参赛,回答圆桌收录问题,满足「300 字 + 3 图」及以上要求的回答将进入当期奖池,参与瓜分 1,800,000 盐粒 + 超赞包奖励,挑战赛每期「创作影响力 TOP 10 答主」将获得挑战赛荣誉徽章实物奖励;2024 汽车提问大赛并入到汽车答主挑战赛,共计瓜分 200,000 盐粒 + 超赞包奖励,边提边答。本期活动时间:3 月 1 日 - 3 月 31 日 传送门: 活动简介:2024 年第三期 #汽车想法 活动上线啦!活动期间,分享出行安全、驾驶技巧、用车养车等汽车相关的小知识,绑定指定的任意话题,满足图文字数 ≥ 60、图片数 ≥ 3 或 30 秒以上的视频想法,内容要与话题相关,即有机会瓜分海量「超赞包」!!!本期活动时间:3 月 1 日 - 3 月 31 日 传送门: 雷军在本周发布了小米汽车的技术发布会,展示了包括在电驱、电池、大压铸、智能驾驶、智能座舱五个核心领域的突破和主要技术要素。这些相关议题连续霸榜了多日多平台的热搜头条。 可惜我作为一个汽车产业的技术人员,这个时候的主要工作是做年底总结和新年计划,所以到今天这个假期,才有机会聊一聊小米汽车的这场技术展会。 在过去的几天很多媒体、技术人员甚至主机厂的高管都加入到了这些技术亮点的讨论,有认可小米汽车亮点优势的,当然也有认为这里面依托了很多是供应商的技术突破,从而对小米汽车的自称自研颇有微词。关于这一点,我想说的是:「百模大战」之后,预见行业新生态|AI 先行者沙龙圆桌实录
2024-01-10 14:33:36
安全的本质:大模型能否被严谨解释为符号逻辑?|知乎先行者沙龙分享
2024-01-09 18:02:33
大模型行业如何持续发展(知乎AI先行者沙龙)
2024-01-09 18:01:36
见证者中的数学原理
2024-01-08 14:33:25
起因
内容
图论,路径与联通分支
神经网络能否被严谨地解释为符号逻辑?
2024-01-08 12:50:13
小米汽车的动力电池有哪些技术创新?很安全吗?
2024-01-05 17:33:04
针对这个热失效安全目标有多严苛后面有详细的对比说明,我看有的人在质疑官方没有说明到底持续时间是多少?但碍于官方没发布,老王也不好直接说出来!但是老王只想对这些人说,一定比你了解的其它所有安全测试标准要求高得多的多!
2024 汽车福利活动汇总(持续更新 | 最新3月)
2024-01-04 12:15:52
3 月汽车活动汇总
1.汽车答主挑战赛·第二期
2.2024 #汽车想法·第三期
小米首款汽车 SU7 搭载的核心部件及技术是否先进?有哪些值得关注的点?
2024-01-01 00:15:10
知乎每日精选 2024-03-24 更新