|
|
| 吴文俊 · 八块腹肌的生菜 · 吴文俊 人工智能 · 1 年前 2023年6月1日 ... “吴文俊人工智能科学技术奖”实行提名制度，被提名者需由具有推荐资质的单位或专家提名（提名范围详见原通知），不受理自荐。高等学校具有推荐资格。 |
|
| 吴文俊 · 八块腹肌的生菜 · 吴文俊 李德毅 科技 人工智能 · 1 年前 2020年12月2日 ... 值得一提的是，「吴文俊人工智能最高成就奖」作为「吴文俊人工智能科学技术奖」的最高奖项，自2011 年设立以来已空缺了七届，直到2018 年首度授予我国;... |
|
| 吴文俊 · 八块腹肌的生菜 · 吴文俊 人工智能 · 1 年前 2023年7月6日 ... 北京市学会、基金会，各区科协，基层组织：为激励和表彰在人工智能科学研究、技术开发与创新、科技成果推广应用和产业化等方面做出突出贡献的单位和;... |
|
| 吴文俊 · 八块腹肌的生菜 · 吴文俊 人工智能 · 1 年前 2023年5月25日 ... 各有关单位：2023年度“吴文俊人工智能科学技术奖”提名工作已经开始。一提名奖项1．吴文俊人工智能最高成就奖；2．吴文俊人工智能杰出贡献奖；3． |
|
| 吴文俊 · 八块腹肌的生菜 · 吴文俊 人工智能 · 1 年前 2022年6月1日 ... 各有关单位：中国人工智能学会已经开展2022年度“吴文俊人工智能科学技术奖”[国科奖社证字第0218号]提名工作。一、提名奖项1．吴文俊人工智能最高成就;... |
|
| 吴文俊 · 八块腹肌的生菜 · 吴文俊 科技 人工智能 · 1 年前 2023年3月15日 ... 3月14日，中国人工智能学会网站发布《2022年度吴文俊人工智能科学技术奖奖励公告》，授予60项成果为2022年度“吴文俊人工智能科学技术奖”。 |
|
| 吴文俊 · 八块腹肌的生菜 · 时政 习近平 科技 钟南山 · 1 年前 2020年5月29日 ... 在第四个“全国科技工作者日”到来之际，中共中央总书记、国家主席、中央军委主席习近平5月29日给袁隆平、钟南山、叶培建等25位科技工作者代表回信，向;... |
|
| 吴文俊 · 八块腹肌的生菜 · 航天 卫星 航空航天 · 1 年前 2019年9月18日 ... 叶培建. 央视网消息（记者赛欣言）：总有人问：“去月球干什么？能带来多少GDP？” 叶培建说：“宇宙就是个海洋，月亮就是钓鱼岛，火星就是黄岩岛，我们;... |
|
| 吴文俊 · 八块腹肌的生菜 · 航空航天 太空 航天精神 航天 · 1 年前 2020年6月17日 ... 人物小传. 叶培建：1945年生于江苏泰兴，空间飞行器总体、信息处理专家，中国空间技术研究院研究员、中科院院士。他1989年以来先后担任中国空间技术;... |
|
| 吴文俊 · 八块腹肌的生菜 · 航空航天 火星探测 · 1 年前 2019年9月30日 ... 他，就是此次被授予“人民科学家”国家荣誉称号的中国空间技术研究院技术顾问、中国科学院院士叶培建。 七旬探月“追梦人”. 2019年1月3日，中国人自主研制的;... |
|
| 吴文俊 · 八块腹肌的生菜 · 中科院院士 航空航天 航天精神 航天 · 1 年前 2012年5月11日 ... 5月10日，在瑞士访问的中国科学院院士、中国绕月探测工程和“嫦娥一号”卫星系统总指挥兼总设计师叶培建来到驻瑞士使馆，就“中国航天事业发展”为使馆;... |
|
| 吴文俊 · 八块腹肌的生菜 · 中国军情 嫦娥一号 月球探测器 航空航天 · 1 年前 2021年10月6日 ... 人民网推出“砥砺奋斗·习近平为他们点赞”系列报道，生动讲述他们与祖国共成长、共奋斗的感人故事，激励全中国人民朝着民族复兴的宏伟目标阔步前行。 叶培建;... |
|
| 吴文俊 · 八块腹肌的生菜 · 航空航天 中国空间技术研究院 卫星 · 1 年前 叶培建，1945年1月29日出生于江苏泰兴，空间飞行器总体、信息处理专家，中国科学院院士，中国空间技术研究院研究员、博士生导师。叶培建于1967年从浙江大学无线电系;... |
|
| 吴文俊 · 八块腹肌的生菜 · · 1 年前 叶培建：中国空间技术研究院技术顾问、研究员，中国科学院院士。1945年1月生，江苏泰兴人。嫦娥一号总设计师兼总指挥，嫦娥三号探测器系统首席科学家，嫦娥二号、嫦娥;... |
|
| 吴文俊 · 八块腹肌的生菜 · 信息工程学院 吴文俊 人工智能 · 1 年前 2017年5月23日 ... 中国人工智能学会副秘书长、吴文俊人工智能科学技术奖办公室主任余有成作 ... 于奖励在我国智能科学技术领域的创新成果，取得重大突破、做出卓著贡献;... |
|
| 吴文俊 · 八块腹肌的生菜 · 吴文俊 数学 · 1 年前 2019年10月25日 ... 这一方法后来被用于解决曲面拼接、计算机视觉等多个高技术领域核心问题，在国际上引发了一场关于几何定理机器证明研究与应用的高潮。1982年，美国人工智能;... |
|
| 吴文俊 · 八块腹肌的生菜 · 科技新闻 吴文俊 人工智能 数学 · 1 年前 2019年9月27日 ... 他对数学的核心领域拓扑学作出重大贡献，开创了数学机械化新领域，对国际数学与 ... 而符号主义发展的巅峰之一，正是吴文俊先生开创的机器定理证明。 |
|
| 吴文俊 · 八块腹肌的生菜 · 研究员 吴文俊 人工智能 · 1 年前 2019年10月24日 ... 他主要从事数学机械化研究，对该领域的发展做出了重要贡献，被吴文俊称为 ... 等机器智能中的关键需求，高小山带领团队建立了微分差分系统机器证明;... |
|
| 吴文俊 · 八块腹肌的生菜 · 科技 吴文俊 人工智能 · 1 年前 2020年5月15日 ... 按照《吴文俊人工智能科学技术奖励条例》及其实施细则、《吴文俊人工智能科学技术奖提名制实施办法（试行）》（附件1）等有关规定，为全面实施创新;... |
|
| 吴文俊 · 八块腹肌的生菜 · 代数基本定理 数学 吴文俊 人工智能 · 1 年前 2019年4月30日 ... 无论是从哪个角度审视人工智能的研究内容，实现自动推理、做到让计算机“自己”去证明定理既实现定理机器证明，这些都当然会是一项重要的研究课题。 |
|
| 吴文俊 · 八块腹肌的生菜 · 中国科学院 人工智能 吴文俊 数学 · 1 年前 2019年1月23日 ... 1977年，吴文俊开创了数学机械化新领域，为中国人工智能开创和发展产生 ... 和创造性，奖励在智能科学技术领域取得重大突破，做出卓著贡献的科技工作;... |
|
| 吴文俊 · 八块腹肌的生菜 · 数学思想 吴文俊 人工智能 数学 · 1 年前 2021年6月29日 ... 数学的计算机证明与人工智能的发展关系密切，我国著名数学家吴文俊院士从中国数学史的研究中汲取了灵感，是这一领域的早期推动者之一，做出了巨大贡献;... |
|