详细内容或原文请订阅后点击阅览
AI实现银色标准解决国际数学奥林匹克问题
突破性模型字母和字母度计2求解数学中的高级推理问题
来源:DeepMind - 新闻与博客致谢
我们感谢国际数学奥林匹克组织的支持。
字母的开发由托马斯·休伯特（Thomas Hubert），里希·梅塔（Rishi Mehta）和劳伦特·萨特兰（Laurent Sartran）领导； thang luong领导了载语2和自然语言推理工作。
AlphaProof was developed with key contributions from Hussain Masoom, Aja Huang, Miklós Z. Horváth, Tom Zahavy, Vivek Veeriah, Eric Wieser, Jessica Yung, Lei Yu, Yannick Schroecker, Julian Schrittwieser, Ottavia Bertolli, Borja Ibarz, Edward Lockhart, Edward Hughes, Mark罗兰（Rowland），格蕾丝·玛格（Grace Margand）。亚历克斯·戴维斯（Alex Davies）和丹尼尔·郑（Daniel Zheng）领导了非正式系统（例如最终答案确定）的发展，并提供了Iuliya Beloshapka，Ingrid von Glehn，Yin Li，Yin Li，Fabian Pedregosa，Ameya Velingker和Goranžužić的重要贡献。 Oliver Nash，Bhavik Mehta，Paul Lezeau，Salvatore Mercuri，Lawrence Wu，Calle Soenne，Thomas Murrills，Luigi Massacci和Andrew Yang和Andrew Yang建议并为精益专家做出了贡献。过去的贡献者包括Amol Mandhane，Tom Eccles，EserAygün，Zhitao Gong，Richard Evans，SoňaMokrá，Amin Barekatain，Wendy Shang Shang，Hannah Openshaw，Felix Gimeno。 David Silver和Pushmeet Kohli建议了这项工作。
电位2的发展由Trieu Trinh和Yuri Chervonyi领导，MirekOlšák，Xiaomeng Yang，Hoang Nguyen，Junehyuk Jung，Dawsen Hwang和Marcelo Menegali的重要贡献。自然语言推理系统的发展由Golnaz Ghiasi，Garrett Bingham，Yaguang Li领导，由Swaroop Mishra，Nigamaa Nayakanti，Sidharth Mudgal，Sidharth Mudgal，Qijun Tan，June Hyhyuk Jung，Hoang Nguyen，Alex Zhai，Dawsen hangan hangangangane huang dengyrane huyrod huyan huang deng nuy huny huyan huyan huyan huang deng nuyrod， Kahn，Maciej Kula，Cosmo du。 QuoC LE建议使用字母度计和自然语言推理系统。
David Silver，Quoc LE，Demis Hassabis和Pushmeet Kohli协调并管理了整个项目。