首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

解读吴文俊三大研究与人工智能的渊源 | 百年诞辰纪念

2019年5月12日(即昨天)是著名数学家吴文俊的诞辰100周年纪念日。1956年,吴文俊因为在拓扑学上的成就,与华罗庚、钱学森获得首届国家自然科学一等奖;在38岁时被评为学部委员,是当时最年轻的学部委员之一;2017年5月7日,吴文俊去世,享年98岁。吴文俊不仅有松柏之寿,也同样有着长期而活跃的学术生涯。他长期参与数学界的地外国际交往,1979年,他与关肇直等人共同筹建中国科学院系统科学研究所;1986年他在国际数学家大会上作关于中国数学史的报告,引起广泛的兴趣.形成了复兴中国数学的新趋势;他在1970年代末开创了数学机械化的全新领域,这方面的学术思想更多地由他在90年代创立的中科院数学机械化重点实验室传承。

02

解读吴文俊三大研究与人工智能的渊源 | 百年诞辰纪念

吴文俊还是同样也是中国人工智能历史上一位里程碑式的开拓者。他提出用计算机证明几何定理的“吴方法”,被认为是自动推理领域的里程碑,他也因此获得1997年的国际自动推理最高奖——埃尔布朗自动推理杰出成就奖。但吴文俊晚年曾自我评价,自己最得意的是中国古代数学史的研究,“拓扑的那些工作不算什么”。由此可见,吴文俊平生最得意的三件事,古代数学史的研究排在第一,拓扑学排在第二,数学机械化证明恐怕只能屈居第三。借吴文俊诞辰100周年纪念日之际,在缅怀前辈的同时,让我们一同回顾他在上述领域的创新研究中做出的巨大贡献,解读吴文俊与人工智能的渊源。

02

中科院陆汝钤获吴文俊人工智能最高成就奖,百度王海峰获吴文俊人工智能杰出贡献奖

AI 科技评论消息,12 月 9 日上午,被誉为「中国智能科学技术最高奖」的吴文俊人工智能科学技术奖在苏州举行颁奖典礼。本届吴文俊人工智能奖共对 70 项人工智能成果授奖,包括吴文俊人工智能最高成就奖 1 项,吴文俊人工智能杰出贡献奖 1 项,吴文俊人工智能自然科学奖 14 项,吴文俊人工智能技术发明奖 13 项,吴文俊人工智能科技进步奖 18 项、吴文俊人工智能科技进步奖企业技术创新工程项目 11 项、吴文俊人工智能科技进步奖科普项目 1 项,吴文俊人工智能优秀青年奖 11 项。这 70 个获奖项目覆盖 56 所高校、48 家企业和 7 家研究院所。

03

图鸭科技武俊敏:打造从压缩、通信到分析的完整视频解决方案 | 镁客请讲

图像压缩技术已经存在20多年,20年来技术不断地推进,导致其技术门槛越来越高。 我们经常会遇到这种状况,想要把图片压缩的又小又能保持图片的高清度;想要在语音聊天时保持通话流畅;想要在视频时保持视频的清晰度和流畅度…… 图鸭科技就是这样一家公司,他们主要研发图片压缩、通信传输和视频分析技术与产品。 每个起点都不简单 高起点的图像压缩技术 图鸭科技的CEO是来自上海交通大学的武俊敏。武俊敏在创立图鸭科技前曾在专门做3G手机视频直播业务的掌赢科技当过首席科学家,主要研究人脸美化和表情迁移技术。 武俊敏在掌赢科技

07

清华学霸在MIT的新研究:让机器人像人一样理解世界

机器能自行理解我们这个物理世界的基本规则么?答案是能。 多年以来,麻省理工学院(MIT)的研究人员一直在寻求解释和复制人类智能,而他们最近的研究成果,是如何让AI智能体拥有认知世界的基本能力。即:学会分辨不同的对象,以及推断它们如何受到物理作用力的影响。 这包括几个方面。首先是看到图片后,能脑补其中物体的三维形状;其次是判断物体的物理特性,例如质量和摩擦力等;然后是推断随着时间推移,这些它们会如何被物理作用力改变,比方会发生何种位移。 在这个方向上,MIT博士生吴佳俊和团队一起发表了四篇研究论文,这四

06

明星直播成标配,直播平台如何才能脱颖而出?

某手机新品发布会,邀请的女主播都拥有奔驰专车接送,媒体人和自媒体只能挤大巴,直播被追捧可见一斑。不过,相对于网红女主播一样,最受直播平台追捧的依然是娱乐明星。各大直播平台纷纷使出浑身解数,拿出大量资源去邀请超级明星来平台直播,博得关注、吸引粉丝,“没有明星都不好意思做直播了”的现状,让直播平台的高官和策划团队想方设法去吸引明星入驻,明星俨然已成直播平台标配,然而,玩法却不尽相同。 明星直播数据记录被不断刷新 明星直播数据记录,在不断被刷新。 最新记录的保持者是中国当红组合TFBOYS队长王俊凯,本周,其以

04

[答疑]业务用例的研究组织可以在同一个建设系统中可以变化吗

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) 好

03

「镁客·请讲」吉影科技黄俊平:水下机器人市场的拓展,需要更多行业者协同并进

想要不沦为行业泡沫,从业者应从产品本身出发,做好产品并凭此获得市场认可。 与吉影科技创始人&CEO黄俊平的结识是在CES 2017上。其实,吉影的展位并不大,但其展位前驻足围观的人是最多的,在这种情况下,镁客君自然要上前一探究竟。 吉影没有对其展位进行太过精致的布置,简单的一张桌子,展位四周贴了宣传图,极大一部分的空间,都被一个泡沫水池所占据,里面就是吉影的产品,一款游得极为欢快的橘黄色水下机器人。 从极客到专业从业者 入局看中的就是行业的市场前景 在创立吉影科技之前,黄俊平曾就职于华为,从事终端类产品研发

04

2021年吴文俊人工智能科学技术奖获奖名单公示!潘云鹤院士获最高成就奖

作者丨王晔 编辑丨陈彩娴 昨日,2021年度第十一届吴文俊人工智能科学技术奖获奖名单在其官网公示! 今年仅对66项成果授奖,较去年有大幅度减少。值得一提的是,今年增加了优秀博士学位论文获奖论文和优秀博士学位论文提名论文两项荣誉。 具体包括最高成就奖1项、杰出贡献奖3项、自然科学奖8项、技术发明奖6项、科技进步奖11项、专项奖芯片项目3项、科技进步奖科普项目1项、科技进步奖企业技术创新工程项目5项、优秀青年奖15项、优秀博士学位论文获奖论文9项,优秀博士学位论文提名论文4项。 中国工程院院士潘云鹤获最高成就奖

00
领券