科大讯飞:与发帖质疑科大讯飞AI翻译技术者达成谅解

科大讯飞称,此前发帖质疑科大讯飞 AI 翻译技术的一名同声传译负责人电话后,对方为言辞激烈与不妥致歉,并表示,科大讯飞没有造假。而公司机器翻译预计明年将达专八水平,可以满足一般人日常需要,但还无法代替同传。(via 财联社)

(回应文链接:https://0x9.me/lpMzd

知名数学家称证明黎曼猜想,对错有待同行评议

现年 89 岁的英国著名数学家、阿贝尔奖和菲尔兹奖得主迈克尔·阿提亚 25 日(北京时间)在德国海德堡提出了证明黎曼猜想的“简单思路”,并称沿着该思路可以证明黎曼猜想。这一说法震动了数学界和社交媒体,但他的证明思路仍有待同行评议。

在当天举行的第 6 届海德堡国际数学与计算机科学获奖者论坛上,阿提亚发表了约 40 分钟的演讲,其中有 10 多分钟简单介绍他的新思路。阿提亚认为人们应“认真倾听”的新思路,基于对物理学中一个重要的无量纲数——精细结构常数的推演,推演过程结合了冯·诺依曼等科学家的早前理论,还引入了一个新的所谓 TODD 函数,该函数被视作证明黎曼猜想的核心。但有同行表示,这个新函数定义并不明确。(via 新华网)

微软、壳牌联手展开 AI 试点项目:帮助加油站更好管理吸烟问题

据外媒报道,近日,微软和壳牌正在合作一个试点项目,它们将把 AI 工具整合到加油站中。该项目率先在泰国和新加坡的一个加油站展开。据了解,壳牌加油站将使用一套运行微软云智能程序Azure IoT Edge的摄像头和设备系统来追踪加油站内吸烟的人。(via cnBeta)

▌谷歌任命首席隐私管,政府不断施加监管压力

针对可能出台的联邦数据管制,谷歌提出制定一系列公司政策并任命一直以来的隐私顾问基思·恩利特担任首席隐私官。担任新职位之后,恩利特将负责制定谷歌在隐私问题上的企业战略。此时,科技巨头们正面临政府不断施加的压力,要求其采取更多预防措施来处理用户个人信息。(via 新浪科技)

▌Deezer 成功开发出能识别歌曲音乐情绪的 AI 系统

援引外媒 VentureBeat 日前报道,Deezer 的研究人员已经成功开发出能识别歌曲中情绪和强度的人工智能。发表在 Arxiv.org 网站的论文《基于带深度神经网络音频歌词来检测音乐情绪的方法》中,团队利用音频信号和歌词来识别歌曲的情绪。

首先他们将音频信号输入神经网络中,并重建语言语境模型。然后团队为了的教它如何确认歌曲的情绪,使用一组超过 100 万主流歌曲元数据的 Million Song Dataset (MSD)。其中特别指出的是,团队使用了 Last.fm 的数据集,这些音轨被标记了超过 50 万个标签。这些标签中很多都是和情绪相关的,此外人工智能对这些标签中的 14000 个英文单给与了正面和负面的刻度登记,从而标记这个歌曲的强度。

MSD 仅仅包含歌曲的元数据,并不包含歌曲本身。然后团队使用歌曲标题,艺术家姓名和专辑标题等标识符将所有这些信息与 Deezer 的目录配对。其中大约 60% 的结果数据集(18,644 个音轨)用于训练 AI,其余用于验证和进一步测试系统。最终测试结果显示人工智能可以很好的检测出歌曲的强弱程度。(via cnBeta)

--【完】--

寻找2018最佳AI应用案例

AI科技大本营希望找到在汽车、金融、教育、医疗、安防、零售、家居、文娱、工业等 9 大行业的最佳 AI 应用案例,记录 AI 时代影响人类发展的变革性产品/解决方案。

如果您有优秀的 AI 产品/技术解决方案,欢迎【扫码提交】,参与评选。

点击「阅读原文」,查看案例分享者特别奖

AI一分钟 | 黎曼猜想已被证明?对错有待同行评议;讯飞与发帖质疑同传译员达成谅解...相关推荐

  1. 黎曼猜想有可能证明哥德巴赫猜想

    两个猜想都跟素数有关,所以跟计算机有点关系. 黎曼猜想是关于素数规律的,而哥猜想就不用多说了吧.那么,如果黎曼猜想成立,很有可能从其分布规律,找出证明哥猜想的办法. 当然,以吾这智商,了解黎曼猜想都很 ...

  2. 黎曼猜想证明现场:3分钟核心讲解、提问陷沉默,同行不予置评 | 全程视频+PPT...

    夏乙 栗子 一璞 发自 凹非寺 量子位 出品 | 公众号 QbitAI 40分钟后,89岁的阿蒂亚爵士(Sir Michael Francis Atiyah)完成了他全球瞩目的黎曼猜想证明演讲,现场听 ...

  3. 当代数学大师迈克尔阿蒂亚证明黎曼猜想

    去9月24日,89岁高龄的当代数学大师迈克尔阿蒂亚先生亲自前往海德堡高级数学论坛公开证明黎曼猜想,此举吸引了全球数学界的目光. 阿蒂亚指出:黎曼猜想的核心问题是素数分布定理,两者关系密切.国人对此事件 ...

  4. 黎曼猜想为何如此重要?若被证明将增加一千多条数学定理

    159年前,德国数学家黎曼在题为<论小于给定数值的素数个数>的论文中提出的"黎曼猜想",一直以来被视作"纯数学领域最重要的问题之一".尽管无数一流数 ...

  5. 黎曼猜想被证明了?“他的证明甚至不能算是个错误”!阿蒂亚爵士的证明受到同行质疑...

    作者:许琦敏 金婉霞 编辑:金婉霞 责任编辑:李雪林 来源:解剖者 摘要:德国柏林时间9月24日上午9点45分,菲尔兹奖与阿贝尔奖双料得主.英国皇家学会院士迈克尔·阿蒂亚爵士在德国海德堡举行的海德堡奖 ...

  6. 黎曼猜想证明:尴尬的现场QA与悲观的各方评价

    昨日,一场盛况空前的宣讲引爆了数学圈,89 岁的阿蒂亚爵士对黎曼猜想的证明吸引了全球的关注.也因为关注人数过多,现场直播「车祸」不断:官方直播流崩溃,组织方不得不改用手机直播. 前期的手机直播质量奇差 ...

  7. 黎曼猜想为何如此重要?

    来源:中国之声 159年前,德国数学家黎曼在题为<论小于给定数值的素数个数>的论文中提出的"黎曼猜想",一直以来被视作"纯数学领域最重要的问题之一" ...

  8. 可以安心过中秋了!黎曼猜想亡不了区块链!

    失落的黎曼? "加密世界充斥着恐慌,基于RSA的区块链项目要亡!"这种言论荒谬至极!其实,无论黎曼猜想被证明或被伪证,对区块链安全都不会有任何影响. 我们需要理性去看待它,这仅仅是 ...

  9. 漫谈 | “黎曼猜想”和区块链加密算法到底有什么关系?

    玛丽女王的密码之生死命悬一线 16世纪伊丽莎白一世女王时期,玛丽和谋反的贵族用密码通信,企图篡位:他们的阴谋活动早在警方监控之下,密信被警方截获之后破译出来.贵族举兵谋反前夕被捕,死不招供,警方还是逮 ...

最新文章

  1. 百度AI“杀入”新领域,我举双手支持!
  2. ubuntu20.04运行愤怒的小鸟
  3. SAP Spartacus cms service取完page信息后的回调callback
  4. 解决 .NET Core 在 Linux Container 中获取 CurrentCulture 不正确的问题
  5. 怎样用bootsrapcol-md来实现四分屏_用会议平板提升会议效率,做好这两点
  6. 第三十八期:如何在Windows 10上使用Windows Update目录驱动程序安装打印机
  7. android glide 版本,Android Studio 第六十七期 - Android Glide3.7.0和3.8.0用法
  8. iOS设计模式之单例模式
  9. 暴风影音皮肤_暴风影音16周年纪念版 v9.04
  10. ado控件连接mysql_VB利用ADO控件连接access数据库
  11. View的复用:viewHolder
  12. OA系统权限分派实施方案
  13. 关于Google Chrome浏览器离线安装包下载方法
  14. 信度系数低怎么办?信度系数具体怎么算?
  15. 原来在Android中请求权限也可以有这么棒的用户体验(转自郭霖)
  16. sms 7bit编码
  17. 正文 第二章 通背拳
  18. 建木DevOps流程的快速运用
  19. java操作excel表格详解
  20. R语言1-面板数据分析全过程 附代码

热门文章

  1. 连接不上ftp解决方案
  2. oracle字段大段字符串,ORACLE存储过程,参数目字符串太长
  3. SmartGit安装及使用
  4. 超级挂载 实现过程-代码
  5. JS-只能输入中文和英文
  6. 3.commonjs模块
  7. Mason 简单笔记
  8. SQL Server系统表sysobjects介绍与使用
  9. 高手讲解PHP遍历数组的方法
  10. 【组队学习】【31期】组队学习内容详情