浅友们好~我是史中,我的日常生活是开撩五湖四海的科技大牛,我会尝试各种姿势,把他们的无边脑洞和温情故事讲给你听。如果你想和我做朋友,不妨加微信(shizhongmax)。
舒石 问耕 发自 LZYY 量子位 报道 | 公众号 QbitAI 📷 我国著名数学大师、首届国家最高科技奖获得者、人工智能研究开拓者吴文俊院士因病医治无效,于2017年5月7日7时21分在北京逝世。 在此致以深切的哀悼。 吴文俊(Wentsun WU),祖籍浙江嘉兴,1919年5月12日出生于上海。1940年吴文俊毕业于交通大学数学系,1949年在法国斯特拉斯堡大学获博士学位。 吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉
近日,“清华学神”、MIT博士生吴佳俊在Twitter上宣布,他将于2020年加入斯坦福大学担任计算机科学助理教授。
2019年5月12日(即昨天)是著名数学家吴文俊的诞辰100周年纪念日。1956年,吴文俊因为在拓扑学上的成就,与华罗庚、钱学森获得首届国家自然科学一等奖;在38岁时被评为学部委员,是当时最年轻的学部委员之一;2017年5月7日,吴文俊去世,享年98岁。吴文俊不仅有松柏之寿,也同样有着长期而活跃的学术生涯。他长期参与数学界的地外国际交往,1979年,他与关肇直等人共同筹建中国科学院系统科学研究所;1986年他在国际数学家大会上作关于中国数学史的报告,引起广泛的兴趣.形成了复兴中国数学的新趋势;他在1970年代末开创了数学机械化的全新领域,这方面的学术思想更多地由他在90年代创立的中科院数学机械化重点实验室传承。
吴文俊还是同样也是中国人工智能历史上一位里程碑式的开拓者。他提出用计算机证明几何定理的“吴方法”,被认为是自动推理领域的里程碑,他也因此获得1997年的国际自动推理最高奖——埃尔布朗自动推理杰出成就奖。但吴文俊晚年曾自我评价,自己最得意的是中国古代数学史的研究,“拓扑的那些工作不算什么”。由此可见,吴文俊平生最得意的三件事,古代数学史的研究排在第一,拓扑学排在第二,数学机械化证明恐怕只能屈居第三。借吴文俊诞辰100周年纪念日之际,在缅怀前辈的同时,让我们一同回顾他在上述领域的创新研究中做出的巨大贡献,解读吴文俊与人工智能的渊源。
导语:2006年到2007年,那年大家伙都是刚碰计算机,腾讯还只是一款普通的聊天工具,淘宝也只是刚刚起步,人们对电脑的依赖性还不算强,更谈不上对信息安全和电脑安全的重视。但是,2006至2007年间,一个电脑病毒打破了中国网络的沉寂,在短短的时间内就让所有中国网民为之色变,这也是第一次也是至今为止唯一一次国人对电脑病毒的一次重大的恐慌,这款电脑病毒叫做熊猫烧香,而他的制造者叫李俊。
2014年,小俊的母亲购买了她的第一台智能手机。这是还在上小学二年级的小俊第一次接触到手机。 很快,小俊便迷上了手机里五花八门的手机游戏。出于对未知世界的好奇,小俊还注册了当时非常火的社交网站,这也让他第一次感受到了互联网的乐趣。 但也正是因为这份好奇心,小俊曾被一个钓鱼链接骗走了五千多元。遭遇网络诈骗也让他对互联网有了更深刻的认识。 在QQ空间浏览好友动态时,小俊总是看见朋友昵称旁挂着24小时秒赞,而且自己的每条说说也都会被朋友们秒赞。后来他才了解到朋友是使用了专业的秒赞服务。这个提供秒赞服务,看
机器之心整理报道 参与:微胖、吴欣 吴文俊是中国最具国际影响的数学家之一,他对数学的核心领域拓扑学做出了重大贡献、开创了数学机械化新领域,对数学与计算机科学研究影响深远,其自动推理工作在国际自动推理界有着很重要的影响,也是中国首届国家最高科技奖获得者。2017 年 5 月 7 日 7 时 21 分,他在北京与世长辞,享年 98 岁。逝世消息是由中国科学院数学与系统科学研究院对外发布。 与数学结缘 吴文俊 1919 年出生于上海,少年时因弟弟夭折,所以父母对他这个独子,格外地照顾,连他到弄堂里玩,都放心不下,
工作中的吴文俊(1919年5月12日-2017年5月7日)。图源:中国科学院数学与系统科学研究院
AI 科技评论消息,12 月 9 日上午,被誉为「中国智能科学技术最高奖」的吴文俊人工智能科学技术奖在苏州举行颁奖典礼。本届吴文俊人工智能奖共对 70 项人工智能成果授奖,包括吴文俊人工智能最高成就奖 1 项,吴文俊人工智能杰出贡献奖 1 项,吴文俊人工智能自然科学奖 14 项,吴文俊人工智能技术发明奖 13 项,吴文俊人工智能科技进步奖 18 项、吴文俊人工智能科技进步奖企业技术创新工程项目 11 项、吴文俊人工智能科技进步奖科普项目 1 项,吴文俊人工智能优秀青年奖 11 项。这 70 个获奖项目覆盖 56 所高校、48 家企业和 7 家研究院所。
一个悲伤的消息:首届国家最高科技奖获得者、著名数学家吴文俊院士因病5月7日在北京去世。 中国科学院数学与系统科学研究院今天发布讣告称,首届国家最高科技奖获得者、著名数学家吴文俊院士因病医治无效,于2017年5月7日7时21分在北京不幸去世,享年98岁。 📷 吴文俊对数学的主要领域—拓扑学做出了重大贡献。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”,他导出的示性类之间的关系式被称为“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一,成为影响深远的经典性成果。1970年代后期,他开创
2014年,在清华园南北贯通的主干道——学堂路上,从郁郁葱葱到秋叶飘零,一年四季道路两旁耸立的白杨树下不时更换着各种海报:或“学术新秀”或“特奖学生”或“科技创新”,吴佳俊就是这海报中的普通一员,但他又是网上“传说”的那般非比寻常。
在现代生活中,电脑已经普及到方方面面。无论是休闲娱乐,还是上班办公,它都陪在我们身边,成为我们生活中不可分割的一部分。
一个悲伤的消息:我国著名数学大师、首届国家最高科技奖获得者、人工智能研究开拓者吴文俊院士因病医治无效,于2017年5月7日7时21分在北京逝世。
谷歌官方证实重大人事变动:6月17日起,大中华区总裁一职由陈俊廷(Stanley Chen)接任,进驻上海负责谷歌中国的广告销售业务与运营。而此前担任大中华区总裁的石博盟(Scott Beaumont)已经在3月升任谷歌亚太区总裁。
在这个充满代码与逻辑的世界里,有一种神奇的生物,他们被称为“程序员”。他们以键盘为武器,用智慧创造出令人惊叹的产品。然而,这个群体中存在着一种有趣的现象: 对兄弟骚话连篇,对姑娘举步维艰。今天,就让我们一起深入探索这个话题。
AI 科技评论按:想必各位读者对深度神经网络及深度学习都不会感到陌生,不论是在数据处理或是应用层面,都取得了斐然的成绩。但囿于结构的复杂性及超参数的数量巨大,一方面带来了训练时间过多的困扰,另一方面,为了追求精度,深度模型需要持续增加层数及参数,反过来又给深度学习带来了进一步的训练难度。如何在保证效果的前提下极大地缩短神经网络系统的训练时间?学者们也做出了不少探索和尝试。
“ “本文是关于一位热爱生活,又肩负责任的普通帅大叔,如何将他的能量传递下去的故事。他是一个父亲,一个丈夫,一个儿子,一个哥哥,一个团队Leader,一个陌生人。这种传递,是社会稳定向前,组织正常运转,家族繁衍传承的本源动力。生生不息,欣欣向荣。” ” 糍粑有一个Instagram账号,和很多年轻女生一样,上面有不少生活照。照片记录了她到过的地方,吃过的美食,她的欢笑与苦恼,活力与沉思。定格了她生命中最重要的时刻,以及与最爱的人一起度过的时光。 多彩、温暖、真实。 账号目前有467个帖子,85位粉丝
问耕 发自 凹非寺 量子位 出品 | 公众号 QbitAI 机器能自行理解我们这个物理世界的基本规则么?答案是能。 多年以来,麻省理工学院(MIT)的研究人员一直在寻求解释和复制人类智能,而他们最近的
图像压缩技术已经存在20多年,20年来技术不断地推进,导致其技术门槛越来越高。 我们经常会遇到这种状况,想要把图片压缩的又小又能保持图片的高清度;想要在语音聊天时保持通话流畅;想要在视频时保持视频的清晰度和流畅度…… 图鸭科技就是这样一家公司,他们主要研发图片压缩、通信传输和视频分析技术与产品。 每个起点都不简单 高起点的图像压缩技术 图鸭科技的CEO是来自上海交通大学的武俊敏。武俊敏在创立图鸭科技前曾在专门做3G手机视频直播业务的掌赢科技当过首席科学家,主要研究人脸美化和表情迁移技术。 武俊敏在掌赢科技
李根 发自 On the road 量子位 报道 | 公众号 QbitAI 谷俊丽从特斯拉跳槽小鹏汽车,不算意料之内。 这位Autopilot 2.0的负责人、特斯拉机器学习团队的一手搭建者,在特斯拉在华建厂传闻最盛时官宣转会,她的下一站是小鹏汽车,依然领队自动驾驶业务。 不过,从特斯拉到小鹏汽车,谷俊丽认为将有完全不同的挑战,亦是完全不同的机遇。 这不是一趟原样再走一遍的路程。 “中国智能车”、“本土自动驾驶”、“从基因去重新定义”,“自主原创”…… 履新后,谷俊丽在她的首次对外采访中,多次向量子位强调
来源:量子位 作者:问耕 智能观 转载 机器能自行理解我们这个物理世界的基本规则么?答案是能。 多年以来,麻省理工学院(MIT)的研究人员一直在寻求解释和复制人类智能,而他们最近的研究成果,是如何让AI智能体拥有认知世界的基本能力。 即:学会分辨不同的对象,以及推断它们如何受到物理作用力的影响。 📷 这包括几个方面。首先是看到图片后,能脑补其中物体的三维形状;其次是判断物体的物理特性,例如质量和摩擦力等;然后是推断随着时间推移,这些它们会如何被物理作用力改变,比方会发生何种位移。 在这个方向上,MIT博士生
机器能自行理解我们这个物理世界的基本规则么?答案是能。 多年以来,麻省理工学院(MIT)的研究人员一直在寻求解释和复制人类智能,而他们最近的研究成果,是如何让AI智能体拥有认知世界的基本能力。即:学会分辨不同的对象,以及推断它们如何受到物理作用力的影响。 这包括几个方面。首先是看到图片后,能脑补其中物体的三维形状;其次是判断物体的物理特性,例如质量和摩擦力等;然后是推断随着时间推移,这些它们会如何被物理作用力改变,比方会发生何种位移。 在这个方向上,MIT博士生吴佳俊和团队一起发表了四篇研究论文,这四
本文介绍了让AI学会认知世界、理解三维物理世界的力学原理,以及让机器学会推断物体在物理世界中的运动轨迹的方法。这些方法包括使用神经网络处理视觉和听觉信息,以及使用物理引擎进行物体运动预测。这些研究在计算机视觉、机器学习和物理引擎领域具有重要意义,可以帮助AI系统更好地理解和模拟人类智能,从而提高AI系统的性能和实用性。
某手机新品发布会,邀请的女主播都拥有奔驰专车接送,媒体人和自媒体只能挤大巴,直播被追捧可见一斑。不过,相对于网红女主播一样,最受直播平台追捧的依然是娱乐明星。各大直播平台纷纷使出浑身解数,拿出大量资源去邀请超级明星来平台直播,博得关注、吸引粉丝,“没有明星都不好意思做直播了”的现状,让直播平台的高官和策划团队想方设法去吸引明星入驻,明星俨然已成直播平台标配,然而,玩法却不尽相同。 明星直播数据记录被不断刷新 明星直播数据记录,在不断被刷新。 最新记录的保持者是中国当红组合TFBOYS队长王俊凯,本周,其以
给你网站增加个温馨提示JS代码,访客进入你网站后看到各个时间段不同的温馨提示,只需要把一下JS代码放到你想放置的位置即可,其中的温馨提示语你自己自定义修改。
机器之心报道 作者:蛋酱 426个单位及行业机构、391个创新成果和项目、1403名学者专家……每一个曾站上吴文俊人工智能科学技术奖颁奖台的成员,共同创造出了中国AI的黄金时代。 1956年,「人工智能」概念诞生于美国达特茅斯学院的一次研讨会,当人们对其寄予厚望、以为机器很快能够变得和人一样智能的时候,现实却起起落落。 直到深度学习的出现,让人类离梦想成真又近了一步。 2011年,微软首次将深度学习应用于语音识别,取得了重大突破。微软研究院和谷歌的研究人员先后采用深度神经网络技术降低语音识别错误率20%
李根 发自 凹非寺 量子位 报道 | 公众号 QbitAI 特斯拉又搞了大新闻。 此前外媒《华尔街日报》源引消息人士消息称,特斯拉与上海市政府已经达成了在该市自贸区内建厂的协议,在中国建厂造车已经
摘自:网易科技 华大基因总部位于深圳市盐田区北山工业区,是一栋由旧鞋厂改造而成的8层小楼。 这座普通的8层小楼辐射出来的研究分支机构目前已遍布世界60多个国家和地区,人员规模近5000人,且多次入选世界顶级学术期刊《自然》排名中国科研机构前5名,仅次于中国科学院、中国科技大学和清华、北大。 这家公司的主业是普通人看起来很神秘的“基因”。基因检测技术是自疫苗问世以来疾病预防最重要的科技突破,它通过研究基因与生物表征之间的关系,不仅可以大大降低遗传相关的疾病发生率、减少出生缺陷,还有对复杂性疾病进
有“中国人工智能领域最高荣誉”之称的吴文俊人工智能最高成就奖,颁给中国工程院院士、自动驾驶泰斗李德毅,奖金100万元人民币。
随着深度学习、机器学习等技术的火热发展,python 作为一种面向对象的动态类型语言也跟着火了起来。 不少计算机科班出身的同学,在大学期间学习的多是 C++或 java,虽然转向 Python 难度并不大,但是有些 Python 使用的小技巧,由于受限于 C++和 java 思维的限制,可能不会往那方面去想(毕竟当我知道了一些 Python 的技巧之后,直接惊叹“卧槽,还能这样搞? ! ”)
人工智能的深度崛起确实是它的原始动力,但是真正的能够让它稳固地往前走,必须是算力的演进。 第十二届中国IDC产业年度大典于12月20-22日,在北京国家会议中心隆重召开。在数据中心技术创新论坛上,来自行业的多位专家齐聚于此,共同探讨数据中心的创新技术,以推动IDC行业的健康发展。 中国信息通信研究院人工智能部主任、国际电信联盟机器焦点组副主席孙明俊以《人工智能之算力演进》为题,进行了主题演讲。 📷 孙明俊介绍到,人工智能正式诞生于1956年。二战期间出现了自动控制理论,推动了人工智能领域的诞生。她认为,人工
2013-02-08 9:44:15 上孙安俊(359***041) 请问大家一个问题,业务用例的研究组织可以在同一个建设系统中可以变化吗? 2013-02-08 9:44:51 潘加宇(3504847) 没有必要变化了 2013-02-08 9:46:55 潘加宇(3504847) 这个划定的范围,能把你要改进的场景被包在里头就可以。 2013-02-08 9:48:41 上孙安俊(359***041) 如果想做一个部门业务管理系统, 2013-02-08 9:48:54 上孙安俊(359***041) 有时间,从部门外面,接报问题,需求处理, 2013-02-08 9:49:32 上孙安俊(359***041) 但是一些部门的内部管理,比如员工请假,工作记录,也会涉及到,这个时间的范围好像已经变了,按科室去管理了 2013-02-08 9:50:59 潘加宇(3504847) 员工还要上厕所呢,是不是这时需要改变研究对象为厕所? 2013-02-08 9:51:42 潘加宇(3504847) 部门就可以了,把这些场景组织到部门的用例下面 2013-02-08 9:54:44 潘加宇(3504847) 既然改进的范围波及整个部门,就要用"部门"的眼光去思考"请假"等问题 2013-02-08 9:55:28 上李帅(958**7) 比如那些非常苛刻的工厂,员工上厕所都要记时,那么厕所应该也纳入研究对象么? 2013-02-08 9:56:31 潘加宇(3504847) 不能"因为请假所以请假",要想一想"员工请假"对部门的价值意味着什么? 2013-02-08 10:14:41 上李帅(958**7) 意味着缺少了资源 2013-02-08 10:25:47 上孙安俊(359***041) 请假与加班是相对的,可以进行调休 2013-02-08 11:04:09 潘加宇(3504847) 我上面讲的不知道是否理解了? 2013-02-08 11:11:15 潘加宇(3504847) 请假本身不是部门的用例,但会影响部门的某些用例的实现,把请假作为一个场景放在这些用例下面。 2013-02-08 11:15:53 刘佳(761**3) 利润=需求-设计,看来程序员仅仅会需求分析,会一些程序设计语言,不断制造东西却不维护,代码复用度太低,会影响利润 2013-02-08 12:02:38 上孙安俊(359***041) 好
想要不沦为行业泡沫,从业者应从产品本身出发,做好产品并凭此获得市场认可。 与吉影科技创始人&CEO黄俊平的结识是在CES 2017上。其实,吉影的展位并不大,但其展位前驻足围观的人是最多的,在这种情况下,镁客君自然要上前一探究竟。 吉影没有对其展位进行太过精致的布置,简单的一张桌子,展位四周贴了宣传图,极大一部分的空间,都被一个泡沫水池所占据,里面就是吉影的产品,一款游得极为欢快的橘黄色水下机器人。 从极客到专业从业者 入局看中的就是行业的市场前景 在创立吉影科技之前,黄俊平曾就职于华为,从事终端类产品研发
在实际研究中,我们经常需要获取大量数据,而这些数据很大一部分以pdf表格的形式呈现,如公司年报、发行上市公告等。面对如此多的数据表格,采用手工复制黏贴的方式显然并不可取。那么如何才能高效提取出pdf文件中的表格数据呢?
https://legacy.python.org/dev/peps/pep-0008/
「麻烦借过一下,谢啦。」对于很多大学生来说,这是一个熟悉的声音。它来自阿里的「小蛮驴」无人驾驶物流机器人。该机器人 2016 年开始路测,如今已累计送达快递上千万件,为阿⾥奠定了快递配送机器⼈第⼀的地位。
作者丨王晔 编辑丨陈彩娴 昨日,2021年度第十一届吴文俊人工智能科学技术奖获奖名单在其官网公示! 今年仅对66项成果授奖,较去年有大幅度减少。值得一提的是,今年增加了优秀博士学位论文获奖论文和优秀博士学位论文提名论文两项荣誉。 具体包括最高成就奖1项、杰出贡献奖3项、自然科学奖8项、技术发明奖6项、科技进步奖11项、专项奖芯片项目3项、科技进步奖科普项目1项、科技进步奖企业技术创新工程项目5项、优秀青年奖15项、优秀博士学位论文获奖论文9项,优秀博士学位论文提名论文4项。 中国工程院院士潘云鹤获最高成就奖
今日,2019 ACM 最佳博士论文奖公布,毕业于特拉维夫大学的 Dor Minzer 获得该奖项。此外,来自微软的 Jakub Tarnawski 和出身清华姚班的吴佳俊获得荣誉提名奖。
本文转载于(喜欢的盆友关注我们):https://mp.weixin.qq.com/s/DtSWp-APaAPmTG1mjAMRQQ
一位在读本科的作者在Reddit上发帖向网友求助,遇到论文综述被剽窃的情况怎么办?
---- 新智元报道 编辑:Aeneas 【新智元导读】去年年底,有消息称阿里达摩院自动驾驶负责人陈俊波已离职,最近有媒体爆出,陈俊波的创业方向为户外清洁机器人领域。 据雷峰网消息,原阿里达摩院自动驾驶负责人陈俊波(歌德)已离职创业。 消息称,他与前阿里机器人CEO谷祖琳、达摩院某团队负责人、浙大网新恒天VP王健共同创办了「有鹿智能」,进军户外清洁机器人领域。 根据天眼查信息,杭州有鹿智能科技有限公司成立于 2022 年 10 月 17 日,业务范围涉及机器人研发、制造、销售等,目前没有融资、产品
前面两期,我们与大家分享了微软在去中心化身份方面的实践。今天我们带来另一篇关于数字身份的分享。在这其中,本体创始人李俊发表了关于数字身份的前沿见解。
本篇博客是在伍迷兄的博客基础上进行的,其博客地址点击就可以进去,里面好博客很多,我的排序算法都来自于此;一些数据结构方面的概念我就不多阐述了,伍迷兄的博客中都有详细讲解,而我写这些博客只是记录自己学习过程,加入了一些自己的理解,同时也希望给别人提供帮助。
前段时间,AI圈子里面发生了一件比较有争议的事情。一位名为“将记忆深埋”程序员博主公开表示自己准备上线一个“拯救老实人”的人脸识别工具。
机动战士高达、新世纪福音战士、变形金刚……在看着这些影视作品的同时,不少人心中生出了一种“机器人情结”,在机器人与人产生互动时表现向往,在机器人之间发生格斗时热血沸腾。
写在前面 小记一下CTF那些日子和DROPS队友学到的SQL注入的骚姿势。 By 010 1、IN之骚 这个我也偶然发现的,也不知前辈们有没有早已总结好的套路了。w3school上对in操作符的介绍:
2019年6月22号,由国务院港澳事务办公室、国务院台湾事务办公室、中国全国归国华侨联合会和甘肃省人民政府主办的2019(己亥)年公祭中华人文始祖太昊伏羲大典在天水伏羲庙隆重举行。海峡两岸共祭伏羲,同日同时,台湾台北同步进行公祭活动。
加上之前高榕资本、Greylock Partners、网易创始人丁磊在内的投资,历史融资额已超过10亿美元。
领取专属 10元无门槛券
手把手带您无忧上云