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

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

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

    02

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

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

    02

    【Big Data】如何修炼成大数据高手?推荐你看这些书

    首先声明一点,千万不要以为看了这篇文章就能成为大数据高手了,不然就不会用“修炼”这个词了,要修炼成大数据高手决不是件容易的事,可以说是非常难的一件事。要不也不会连大数据发源地——美国也不超出10个人(也许就5、6个)能达到这个层次,在中国……算了,就不说了。 这篇文章实际是给你指一条过程异常艰辛,但前途异常光明的路。没有毅力的人,看看就好了,千万别认真。(说实在的,就算要看明白这篇文章,也都不是件容易的事。) 言归正传。要想成为大数据高手,首先要从理念上彻底转变,彻底理解大数据思维,并渗透到血液和骨髓中

    010

    服务全球AI开发者,University AI携手百度AI为你推开现代人工智能大门

    人工智能兼具技术属性和社会属性高度融合特点,是新时代经济发展新引擎、社会发展加速器。为加快建设创新型国家,深入实施创新驱动发展,理当精准把握人工智能领域的发展大势。 常言道:“功以才成,业由才广。”抢占顶尖人才制高点,也便意味着具备了占据该领域的先机。不过,当面对人工智能领域顶尖人才的匮乏现状和日甚一日的渴求心理,是花费巨资普遍撒网争夺引进还是着眼于长远可持续培养,University AI 选择了 hard way 模式,即花费大量心血从人才本身出发的长远可持续性培养,和百度 AI 的目标非常契合,随即大

    06

    【白硕专栏】也谈类脑计算

    随着人工智能的全面回潮,类脑计算火起来了。和上一次日本人忽悠五代机时的毫无准备相比,咱中国这次说起来也争气,科学家、企业和政府都早早做好了准备,信心满满整装待发。拿神经器件的大规模互联来高保真地模仿人脑的构造和运作,涉及多学科交叉集成。它既是神经科学发展到现阶段在研究手段上的必然延展,也是人工智能为突破下一个重大瓶颈的大胆尝试,其学术意义怎么估计都不会过高。但几次会听下来,感觉即使是准备做这件事的人,对“类脑计算”的理解也不尽一致。如果说对“类脑计算”的理解停留在像有些学者主张的那样,仅模拟静态拓扑不模拟动

    06
    领券