巴黎fc对阵布雷斯特-巴黎vs布雷斯特首发

1.蒂诺·科斯塔的职业生涯

2.法国大学排名

3.英超各支球队的英文简写都是什么？

4.这该怎么做？高数求解

蒂诺·科斯塔的职业生涯

蒂诺·科斯塔在场上司职进攻型中场，是以他的技巧闻名于世，罚球、任意球和助攻能力都很突出。2008年加盟还在法乙联赛打拼的蒙彼利埃，并逐渐成长为球队的中场核心，2个赛季贡献15粒进球和17次助攻，并在2009-10赛季助蒙彼利埃重返法甲。凭借着在蒙彼利埃优异的发挥，科斯塔赢得了瓦伦西亚的青睐，在2010年夏天，科斯塔以650万欧元的身价加盟“蝙蝠军团”。在效力瓦伦西亚的3个赛季里，科斯塔出场次斩获15球助攻16次，势大力沉的远射和定位球功夫令人印象深刻。科斯塔在2011年首次入选阿根廷国家队，至今共2次代表国家队出战。科斯塔的新东家莫斯科斯巴达是俄超传统豪门之一，曾先后21次夺得顶级联赛冠军，不过在刚刚过去的赛季里仅仅排在联赛第4。 早期生涯与其所在国家科斯塔，在法国俗称“蒂诺”，他的职业生涯开始于阿根廷的当地俱乐部La Terrazza。 在17岁的时候，他作出了一个要冒高风险的决定，离开本国并前往瓜德罗普岛，效力于当地的瓜德罗普荣誉联赛球队巴斯特尔竞技。科斯塔在这家岛国俱乐部度过了两年，并帮助球队赢得了岛内联赛和杯赛双冠王。他2004年的瓜德罗普杯决赛中用一粒进球帮助他的俱乐部以3-1的击败Gosier。他这一伟大的表演吸引了巴黎竞技俱乐部的关注，这家所在联赛为法国第联赛——国家联赛的俱乐部向他提供了试训，随后和他正式签约。科斯塔在效力巴黎竞技时的28场比赛中打进了3粒进球。随后的一个赛季，他加盟了法国国家联赛的另一家俱乐部——波城足球俱乐部。在波城，科斯塔在总共39场比赛攻入4粒入球，波城在他效力的这两年间勉强成功保级。

离开波城后，科斯塔加入了他的第三家国家联赛俱乐部——FC塞特。 在那里，他在总共29场联赛中攻入3粒进球，帮助FC塞特以7个积分的优势升至法乙联赛，他的名字在法国家喻户晓。因为他的努力，他被赞誉为法国国家联赛的顶级球员，这使更高水平的俱乐部对他产生了兴趣。 科斯塔在2008-09赛季时和当时处在法乙的蒙彼利埃签订了3年的合同。他在此赛季俱乐部的首场比赛对阵斯特拉斯堡时就首次亮相，并比赛中踢满了90分钟。在数周后球队以4-0的大击败兰斯足球俱乐部的比赛中，他打进了他在蒙彼利埃的第一粒入球。他在秋季的大多数比赛中很少入球，但自赛季中期对阵布洛涅足球俱乐部的比赛开始，他恢复了进球势头。在赛季末的六个星期内，科斯塔在对阵第戎足球俱乐部、沙托鲁足球俱乐部、布雷斯特足球俱乐部和克莱蒙费朗足球俱乐部的比赛中分别入球。结果，蒙彼利埃作为法乙联赛中领军球队中的一员至法甲。 法乙此赛季最后一场较量中，蒙彼利埃以2-1的取得了对斯特拉斯堡——另一支争取升级的球队的胜利，这场比赛决定了俱乐部的未来。科斯塔在第19分钟取得的重要入球帮助蒙彼利埃重返法甲。在整个赛季中，科斯塔贡献了8粒入球和11次助攻。他被提名为法乙年度最佳球员，但在最后的评比中败给了喀麦隆人保罗·阿卢 。

随后，有几家法甲俱乐部开始向蒙彼利埃询价，希望科斯塔为其效力，其中最积极的是朗斯足球俱乐部和图卢兹 。然而，科斯塔驳斥任何希望他离开蒙彼利埃的要求 ，并与俱乐部签署了一份新合同，将效力时间由09年7月1日延长至2013年。 尽管错过了俱乐部与巴黎圣日耳曼足球俱乐部以1-1战平的第一场比赛 ，但科斯塔在法甲的首次亮相——与洛里昂的比赛中就于第60分钟打进一球，这场比赛以2-2的平局结束。在接下来的一周，他再次进球，这次球队以2-0的战胜索肖 。两个星期后，他在对阵朗斯时的第39分钟罚进一粒点球，这粒进球带给蒙彼利埃一场胜利。 在完成体检之后，阿根廷中场将以650万欧元的身价加盟瓦伦西亚，签定四年的长期合同。过去两个赛季科斯塔是蒙彼利埃取得成功的重要功臣，帮助球队晋级甲级联赛，并于上赛季排名联赛第五获得欧洲联赛资格赛名额。

科斯塔最先效力于低级别联赛球队竞技队，帕乌和塞特，2008年加入蒙彼利埃。他希望像之前的阿根廷同胞一样在瓦伦西亚取得成功。“这支球队在我心目中有特别的位置，因为阿根廷球员阿亚拉、冈萨雷斯、洛佩斯和肯佩斯都曾在这里踢球，”25岁的科斯塔说道。“我对未来充满期待。”

瓦伦西亚又来一名科斯塔，这一次是阿根廷人阿尔伯托·法昆多·科斯塔，当然，人们总喜欢叫他蒂诺。他的到来不仅仅让球迷们激动，他们已经在渴望能够拥有这名即将成为球队偶像的签名与合影，甚至连见多识广的记者们也感觉眼前一亮：包括洛伦特，副戈麦斯，技术部门助理巴斯克斯以及其他俱乐部高层在内的人士，全部高调出席了这次盛大的发布会。首先发言的是巴斯克斯，他表示科斯塔是位“犀利的攻击型中场，拥有巨大的破坏力，也同时拥有巨大的追求和良好的控球能力以及掌握比赛节奏的能力。我本可以说的更多，但是我更愿意让他在比赛场上说明一切。他的素质良好，加上25岁的年龄，他还有更大的空间让他变得更好”。主场对阵桑坦德竞技足球俱乐部比赛下半场主导瓦伦西亚多次反击的球员毫无疑问是蒂诺-科斯塔，前蒙彼利埃中场的反抢有着“疯狗般”的精神。球迷论坛上一位资深蒙彼利埃球迷在概括蒂诺-科斯塔上赛季表现时如是说道，“如果你发现吉拉尔的球队只剩下一个人在奔跑，那他一定是蒂诺-科斯塔。”是的，这位原本和巴内加素不相识的年轻人缘何在梅斯塔利亚安顿后不久便打动了阿根廷国脚；这位草根出生的抽射狂人缘何能够在上赛季面对波尔多时最后时刻令卡拉索出现低级失误？因为他有一颗勇敢的心。做“新巴拉哈”？蒂诺-科斯塔一笑置之，阿根廷人的拦截水准并不在巅峰期巴拉哈之下，同样具备远射潜能以及短传渗透能力——从这个意义上说，蒂诺-科斯塔取代阿尔贝尔达和巴内加搭档理论上是非常现实的。 北京时间2013年6月6日凌晨，西甲瓦伦西亚俱乐部官方宣布阿根廷中场蒂诺·科斯塔加盟俄超莫斯科斯巴达，转会费达到700万欧元。蒂诺·科斯塔在代表新球队的首场比赛中就接帕尔希夫柳克传球，攻破了萨马拉苏维埃之翼的大门。

在刚刚结束的2012-13赛季里，瓦伦西亚在西甲最后一轮客场3-4不敌塞维利亚，最终积分被社会反超无缘下赛季参赛名额，随后主帅巴尔韦德宣布辞职，并由前巴拉多利德主帅久基奇接手。无缘下赛季意味着这支负债累累的西甲传统劲旅将继续出售队中核心球员，此前几个赛季里“蝙蝠军团”已先后出售席尔瓦、比利亚和马塔等多名西班牙国脚，在蒂诺·科斯塔离队后，包括队长索尔达多以及后防核心拉米都可能在今夏离开瓦伦西亚。 2016年1月22日，佛罗伦萨队以租借形式签下了蒂诺·科斯塔。

法国大学排名

第一名、巴黎高等师范学院

巴黎高等师范学院在2016-2017年QS世界大学排名中位列法国大学第1，全球第33位。巴黎高等师范学院成立于1793

年，是一所著名的并且有竞争能力的"高等专业学院"，被认为在人文和科学方面有着非常强劲的实力。

巴黎高等师范学院的校友包括有13

位诺贝尔奖得主，以及哲学家米歇尔·福柯和雅克·德里达等等。

在所有法国高等学校中，巴黎高等师范学院是惟一一所文科和理科并行不悖的综合性学校，这种平衡也是它的优势所在。

巴黎高等师范学院成立的最初目的是为了培养师资，但是现在已经扩大了学校的功能，使学生的出路更加多样化，不仅仅培养师资，也会培养专业人才。

/iknow-pic.cdn.bcebos/5bafa40f4bfbfbed2f7f617d75f0f736afc31f89"target="_blank"title=""class="ikqb_img_alink">/iknow-pic.cdn.bcebos/5bafa40f4bfbfbed2f7f617d75f0f736afc31f89?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_600%2Ch_800%2Climit_1%2Fquality%2Cq_85%2Fformat%2Cf_auto"esrc="s://iknow-pic.cdn.bcebos/5bafa40f4bfbfbed2f7f617d75f0f736afc31f89"/>

第二名、巴黎综合理工学院

巴黎综合理工学院在2016-2017年QS世界大学排名中位列并列第53

位，也是巴黎高科技工程师学校集团的创立成员之一，巴黎高科集团由法国11

所最具盛名的工程研究生学院和巴黎高等商学院联合组成的高校联盟，除了巴黎综合理工学院之外，其他成员分别有巴黎高科农业学院、国立路桥学校、国立高等先进技术学校、巴黎市工业物理化学学校、国立经济管理和统计学校、高等光学学校和巴黎高等商学院。

巴黎高科集团的大学都是专注于理工科和商科的。巴黎综合理工学院坐落在巴黎市中心30公里意外的地方，为在其就读的4,600名学生提供了120公顷的绿地可以享受。

巴黎综合理工学院是法国最顶尖的工程师学院，也是法国精英教育的典范，学校在法国高等教育界享有很高的威望，入学门槛也非常高。

/iknow-pic.cdn.bcebos/a08b87d6277f9e2faf3d4a0a1230e924b899f3ac"target="_blank"title=""class="ikqb_img_alink">/iknow-pic.cdn.bcebos/a08b87d6277f9e2faf3d4a0a1230e924b899f3ac?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_600%2Ch_800%2Climit_1%2Fquality%2Cq_85%2Fformat%2Cf_auto"esrc="s://iknow-pic.cdn.bcebos/a08b87d6277f9e2faf3d4a0a1230e924b899f3ac"/>

第三名、巴黎第六大学(也叫皮埃尔和玛丽居里大学)

巴黎第六大学在2016-2017年QS世界大学排名中位列并列第141位。巴黎第六大学成立于11

年，当时巴黎大学的前身被拆分成几个单独的机构，巴黎第六大学现在已经成为法国最大的科学和医学集合体。巴黎第六大学有大约34,000名学生，其中

20%的学生为国际留学生。

巴黎第六大学是法国唯一一所只有理工学科的公立大学，在许多领域都处于顶尖水平，在各种世界大学排名中都被评为法国第一和世界顶尖的大学。

/iknow-pic.cdn.bcebos/5bafa40f4bfbfbed2fa9617d75f0f736afc31f3b"target="_blank"title=""class="ikqb_img_alink">/iknow-pic.cdn.bcebos/5bafa40f4bfbfbed2fa9617d75f0f736afc31f3b?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_600%2Ch_800%2Climit_1%2Fquality%2Cq_85%2Fformat%2Cf_auto"esrc="s://iknow-pic.cdn.bcebos/5bafa40f4bfbfbed2fa9617d75f0f736afc31f3b"/>

第四名、法国巴黎中央理工-高等电力学院

法国高等电力学校在2016-2017年QS世界大学排名中位列并列第164位，在2015

年由巴黎中央理工学院和法国高等电力学校的工程研究生院合并成立，现在已经是法国在信息与能源领域最著名的高等专业工程师学院。法国高等电力学校也是巴黎萨克雷大学的创始成员之一，这是法国研究密集型大学的协会。

巴黎

-萨克雷合并了2所大学、11所大学校与7个研究所，2所大学是巴黎第十一大学、凡尔赛大学。11

所大学校分别是巴黎中央理工大学、法国高等农艺科学学院、巴黎卡尚高等师范学院、巴黎中央理工-

高等电力学院、巴黎高等商学院、巴黎高等理工学院、法国高等科技学院、国立高等经济与统计学院、国立高等电信工程师学院和光学研究所。

7

个研究所分别是国立中央科学研究所、原子能研究所、高等研究所、国立农业研究所、国立计算机与自动化研究所、国立航空研究办公室和国立健康与药物研究所。

/iknow-pic.cdn.bcebos/77c6a7efce1b9d16e21fcd63fedeb48f8d5464d3"target="_blank"title=""class="ikqb_img_alink">/iknow-pic.cdn.bcebos/77c6a7efce1b9d16e21fcd63fedeb48f8d5464d3?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_600%2Ch_800%2Climit_1%2Fquality%2Cq_85%2Fformat%2Cf_auto"esrc="s://iknow-pic.cdn.bcebos/77c6a7efce1b9d16e21fcd63fedeb48f8d5464d3"/>

第五名、里昂高等师范学院

里昂高等师范学院与去年的排名相比，在2016-2017年QS世界大学排名中上升了11位，在今年位列并列第177位。里昂高等师范学院是法国精英教育体系的另一个代表，这是一所精英的公立大学，培养人文和科学方面的研究人员和教师。

里昂高等师范学院不仅仅是法国一流的精英院校，在国际上也享有很高的声誉，学校既传承了一个多世纪以来的优良传统，又在教育教学及科研理念上不断创新进取。

前十大学后五名：

第六名、格勒诺布尔大学(格勒诺布尔-阿尔卑斯大学)

第七名、巴黎政治学院(巴黎政治大学)

第八名、巴黎第四大学

第九名、巴黎第一大学

第十名、巴黎第十一大学

英超各支球队的英文简写都是什么？

英超由20支球队组成，各球队英文缩写如下：

1、曼城 MCI

全称Manchester City F.C.，绰号“”，位于英国的曼彻斯特，前身为成立于1880年的“圣马可堂”，1887年改名为阿德维克，1894年更为现名。

2、曼联 MUN

全称Manchester United Football Club，位于英国英格兰西北区曼彻斯特郡曼彻斯特市，其前身“牛顿·希斯”于1878年由兰开夏郡和约克郡铁路公司的工人在牛顿希斯工地上成立。1902年球队改组并改名曼联。

3、桑德兰 SUN

英语：Sunderland Association Football Club，于1879年成立，主场位于英格兰东北部桑德兰市威尔河（River Wear）畔新建的光明球场。

4、纽卡斯尔 NEW

英语：Newcastle United F.C.，成立于1881年，主场位于泰恩河畔纽卡斯尔（Newcastle upon Tyne）的圣詹姆斯公园球场。

5、切尔西 CHE

英语：Chelsea Football Club，绰号蓝军。俱乐部成立于1905年3月14日，主场位于伦敦哈默史密斯·富勒姆区邻近泰晤士河的斯坦福桥球场。

6、莱斯特城 LEI

Leicester City Football Club，前身莱斯特福斯由维杰斯顿学校的一群旧生团体于1884年创立，1890年加入英格兰足球协会。1919年一战结束后球队更为现名。

7、热刺 TOT

Tottenham Hotspur Football Club，。成立于1882年，主场位于伦敦北部托特纳姆的白鹿巷球场。

8、阿森纳 ARS

Arsenal Football Club，成立于1886年，是英格兰顶级联赛英格兰二十个足球俱乐部球队之一，俱乐部基地位于伦敦荷洛。

9、水晶宫 CRY

Crystal Palace F.C.，成立於1905年，在2005-06赛季庆祝成立百年纪念。主场为塞尔赫斯特公园球场。

10、伯恩利 BUR

Burnley Football Club，成立于1882年，是英格兰足球联赛创始成员，主场为特夫摩尔球场（Turf Moor）。

11、西汉姆联 WHU

West Ham United Football Club，英格兰球队之一，位于外伦敦东部纽汉区，成立于1895年，球队主场是厄普顿公园球场。

12、西布朗 WBA

West Bromwich Albion Football Club，于1878年创立，是足球联盟创始成员。主场为山楂球场。2016年8月，中国商人赖国传全资收购西布朗。

13、南安普顿 SOU

Southampton Football Club，原名圣玛丽，绰号“圣徒”，成立于1885年11月，主场球场小谷球场，使用超过100年后在2001年搬迁到圣玛丽球场。

14、女王公园巡游者 QPR

Queens Park Rangers Football Club，简称QPR或Rangers，成立于1882年，主场为洛夫图斯路球场（Loftus Road），队服为蓝白横向条纹衫。

15、斯托克城 STO

Stoke City F.C.，成立于1863年，1925年前名为斯托克足球俱乐部，主场为不列颠尼亚球场。

16、胡尔城 HUL

Hull City?Association Football Club，成立于1904年。主场为金士顿通讯运动场。由于穿着黄黑直间球衣，故被称为“老虎 ”。

17、埃弗顿 EVE

Everton F.C.，于1878年成立，俱乐部历史悠久，比同市宿敌利物浦成立早了14年。

18、利物浦 LIV

Liverpool Football Club，球队位于英格兰西北默西赛德郡港口城市利物浦，于1892年成立，是英格兰足球的球队之一。

19、阿斯顿维拉 AVI

Aston Villa Football Club，于1874年创立，是1888年甲组联赛（英格兰第一个足球联赛）及1992年英格兰足球首届赛事球队，其主场位于伯明翰市的维拉公园球场。

20、斯旺西 SWA

Swansea City AFC，是位于威尔士斯旺西的职业足球俱乐部，2010/11获得英格兰足球冠军联赛第三名，附加赛后战胜雷丁后升级到英格兰足球比赛。

这该怎么做？高数求解

大家都知道，AI (神经网络) 连加减法这样的简单算术都做不好：

可现在，AI已经懂得微积分，把魔爪伸向你最爱的高数了。 它不光会求不定积分：

还能解常微分方程：

一阶二阶都可以。

这是Facebook发表的新模型，1秒给出的答案，超越了Mathematica和Matlab这两只付费数学软件30秒的成绩。 团队说，这是Seq2Seq和Transformer搭配食用的结果。 用自然语言处理 (NLP) 的方法来理解数学，果然行得通。 这项成果，已经在推特上获得了1700赞。许多小伙伴表示惊奇，比如： “感谢你们！在我原本的想象中，这完全是不可能的！”

而且，据说算法很快就要开源了：

到时候让付费软件怎么办？

巨大数据集的生成姿势要训练模型做微积分题目，最重要的前提就是要有大大大的数据集。 这里有，积分数据集和常微分方程数据集的制造方法：函数，和它的积分首先，就是要做出“一个函数&它的微分”这样的数据对。团队用了三种方法： 第一种是正向生成 (Fwd) ，指生成随机函数 (最多n个运算符) ，再用现成的工具求积分。把工具求不出的函数扔掉。 第二种是反向生成 (Bwd) ，指生成随机函数，再对函数求导。填补了第一种方法收集不到的一些函数，因为就算工具求不出积分，也一定可以求导。 第三种是用了分部积分的反向生成 (Ibp) 。前面的反向生成有个问题，就是不太可能覆盖到f(x)=x3sin(x)的积分： F(x)=-x3cos(x)+3x2sin(x)+6xcos(x)-6sin(x) 因为这个函数太长了，随机生成很难做到。 另外，反向生成的产物，大多会是函数的积分比函数要短，正向生成则相反。 为了解决这个问题，团队用了分部积分：生成两个随机函数F和G，分别算出导数f和g。 如果fG已经出现在前两种方法得到的训练集里，它的积分就是已知，可以用来求出Fg： ∫Fg=FG-∫fG 反过来也可以，如果Fg已经在训练集里，就用它的积分求出fG。 每求出一个新函数的积分，就把它加入训练集。 如果fG和Fg都不在训练集里，就重新生成一对F和G。 如此一来，不借助外部的积分工具，也能轻松得到x10sin(x)这样的函数了。一阶常微分方程，和它的解从一个二元函数F(x,y)说起。 有个方程F(x,y)=c，可对y求解得到y=f(x,c)。就是说有一个二元函数f，对任意x和c都满足：

再对x求导，就得到一个微分方程：

fc表示从x到f(x,c)的映射，也就是这个微分方程的解。 这样，对于任何的常数c，fc都是一阶微分方程的解。 把fc替换回y，就有了整洁的微分方程：

这样一来，想做出“一阶常微分方程&解”的成对数据集，只要生成一个f(x,c)，对c有解的那种，再找出它满足的微分方程F就可以了，比如：

二阶常微分方程，和它的解二阶的原理，是从一阶那里扩展来的，只要把f(x,c)变成f(x,c1,c2) ，对c2有解。 微分方程F要满足：

把它对x求导，会得到：

fc1,c2表示，从x到f(x,c1,c2)的映射。 如果这个方程对c1有解，就可以推出另外一个三元函数G，它对任意x都满足：

再对x求导，就会得到：

最后，整理出清爽的微分方程：

它的解就是fc1,c2。 至于生成过程，举个例子：

现在，求积分和求解微分方程两个训练集都有了。那么问题也来了，AI要怎么理解这些复杂的式子，然后学会求解方法呢？

将数学视作自然语言积分方程和微分方程，都可以视作将一个表达式转换为另一个表达式，研究人员认为，这是机器翻译的一个特殊实例，可以用NLP的方法来解决。 第一步，是将数学表达式以树的形式表示。 运算符和函数为内部节点，数字、常数和变量等为叶子节点。 比如 3x^2 + cos(2x) - 1 就可以表示为：

再举一个复杂一点的例子，这样一个偏微分表达式：

用树的形式表示，就是：

用树的形式，就能消除运算顺序的歧义，照顾优先级和关联性，并且省去了括号。在没有空格、标点符号、多余的括号这样的无意义符号的情况下，不同的表达式会生成不同的树。表达式和树之间是一一对应的。 第二步，引入seq2seq模型。 seq2seq模型具有两种重要特性： 输入和输出序列都可以具有任意长度，并且长度可以不同。 输入序列和输出序列中的字词不需要一一对应。 因此，seq2seq模型非常适合求解微积分的问题。 使用seq2seq模型生成树，首先，要将树映射到序列。 使用前缀表示法，将每个父节点写在其子节点之前，从左至右列出。 比如 2 + 3 * (5 + 2)，表示为树是：

表示为序列就是 [+ 2 * 3 + 5 2]。 树和前缀序列之间也是一一映射的。 第三步，生成随机表达式。 要创建训练数据，就需要生成随机数学表达式。前文已经介绍了数据集的生成策略，这里着重讲一下生成随机表达式的算法。 使用n个内部节点对表达式进行统一样并非易事。比如递归这样的方法，就会倾向于生成深树而非宽树，偏左树而非偏右树，实际上是无法以相同的概率生成不同种类的树的。 所以，以随机二叉树为例，具体的方法是：从一个空的根节点开始，在每一步中确定下一个内部节点在空节点中的位置。重复进行直到所有内部节点都被分配为止。

不过，在通常情况下，数学表达式树不一定是二叉树，内部节点可能只有1个子节点。如此，就要考虑根节点和下一内部节点参数数量的二维概率分布，记作 L(e,n)。

接下来，就是对随机树进行样，从可能的运算符和整数、变量、常量列表中随机选择内部节点及叶子节点来对树进行“装饰”。 最后，计算表达式的数量。 经由前面的步骤，可以看出，表达式实际上是由一组有限的变量、常量、整数和一系列运算符组成的。 于是，问题可以概括成： 最多包含n个内部节点的树 一组p1个一元运算符（如cos，sin，exp，log） 一组p2个二进制运算符（如+，-，×，pow） 一组L个叶子值，其中包含变量（如x，y，z），常量（如e，π），整数（如 {-10，…，10}） 如果p1 = 0，则表达式用二叉树表示。 这样，具有n个内部节点的二叉树恰好具有n + 1个叶子节点。每个节点和叶子可以分别取p1和L个不同的值。 具有n个二进制运算符的表达式数量就可以表示为：

如果p1 > 0，表达式数量则为：

可以观察到，叶子节点和二元运算符的数量会明显影响问题空间的大小。

△不同数目运算符和叶子节点的表达式数量

胜过商业软件实验中，研究人员训练seq2seq模型预测给定问题的解决方案。用的模型，是8个注意力头（attention head），6层，512维的Transformer模型。 研究人员在一个拥有5000个方程的数据集中，对模型求解微积分方程的准确率进行了评估。 结果表明，对于微分方程，波束搜索解码能大大提高模型的准确率。

而与最先进的商业科学计算软件相比，新模型不仅更快，准确率也更高。

在包含500个方程的测试集上，商业软件中表现最好的是Mathematica。 比如，在一阶微分方程中，与使用贪婪搜索解码算法（集束大小为1）的新模型相比，Mathematica不落下风，但新方法通常1秒以内就能解完方程，Mathematica的解题时间要长的多（限制时间30s，若超过30s则视作没有得到解）。

而当新方法进行大小为50的波束搜索时，模型准确率就从81.2%提升到了%，远胜于Mathematica（77.2%） 并且，在某一些Mathematica和Matlab无力解决的问题上，新模型都给出了有效解。

△商业科学计算软件没有找到解的方程

邀请AI参加IMO这个会解微积分的AI一登场，就吸引了众多网友的目光，引发热烈讨论。网友们纷纷称赞：鹅妹子嘤。 有网友这样说道： 这篇论文超级有趣的地方在于，它有可能解决复杂度比积分要高得高得高得多的问题。

还有网友认为，这项研究太酷了，该模型能够归纳和整合一些sympy无法实现的功能。

不过，也有网友认为，在与Mathematica的对比上，研究人员的实验设定显得不够严谨。 默认设置下，Mathematica是在复数域中进行计算的，这会增加其操作的难度。但作者把包含复数系数的表达式视作“无效”。所以他们在使用Mathematica的时候将设置调整为实数域了？

我很好奇Mathematica是否可以解决该系统无法解决的问题。 30s的限制时间对于计算机代数系统有点武断了。

但总之，面对越来越机智的AI，已经有人发起了挑战赛，邀请AI挑战IMO金牌。

Facebook AI研究院出品 这篇论文有两位共同一作。 Guillaume Lample，来自法国布雷斯特，是Facebook AI研究院、皮埃尔和玛丽·居里大学在读博士。他曾于巴黎综合理工学院和CMU分别获得数学与计算机科学和人工智能硕士学位。 2014年进入Facebook实习。 Franois Charton，Facebook AI研究院的客座企业家（Visiting entrepreneur），主要研究方向是数学和因果关系。

传送门s://arxiv.org/abs/1912.01412 s://news.ycombinator/item?id=21084748

————

编辑 ∑Gemini

来源：新浪科技