Skip to content

搞英语 → 看世界

翻译英文优质信息和名人推特

Menu
  • 首页
  • 独立博客
  • 专业媒体
  • 名人推特
  • 邮件列表
  • 关于本站
  • Product Hunt
  • Visual Capitalist
  • Elon Musk
Menu

在新的数学证明中,人工智能取胜

Posted on 2022-03-08
老式的电子游戏风格插图,里面装满了盒子。大多数盒子是空的,但有些盒子里面有数字 1。

Samuel Velasco/广达杂志

去年 3 月,爱荷华州立大学的数学家Leslie Hogben和Carolyn Reinhart收到了一个受欢迎的惊喜。特拉维夫大学的博士后研究员亚当·瓦格纳(Adam Wagner)通过电子邮件告诉他们,他已经回答了他们上周发表的一个问题——尽管不是通过任何通常的数学或蛮力计算技术。相反,他使用了游戏机。

“我很高兴能回答这个问题。我很高兴 Adam 用 AI 做到了这一点,”Hogben 说。

霍格本和莱因哈特的问题是瓦格纳使用人工智能解决的四个问题之一。虽然 AI 之前对数学做出了贡献,但 Wagner 对它的使用是非传统的:他将寻找 Hogben 和 Reinhart 问题的解决方案变成了一种竞赛,使用了其他研究人员在国际象棋等流行策略游戏中取得了巨大成功的方法。

“我刚刚看到了所有这些关于 DeepMind 等公司的文章,这些公司创建了这些程序,可以在真正超人的水平下玩国际象棋、围棋和 Atari 游戏,”瓦格纳说。 “我想,如果你能以某种方式使用这些自学习算法,这些强化学习算法,并找到一种在数学中使用它们的方法,那该多好?”

Matrix-4.svg

Brualdi 和 Cao 的问题涉及一组特定的 0-1 矩阵,他们称之为 312 模式避免,参考 3 x 3,“312 矩阵”,它表示混合三维向量的条目,因此(a ,b,c) 变为 (c,a,b)。 0-1 矩阵是 312 模式,如果无法删除它的某些行和列并最终得到 312 矩阵,则可以避免这种情况。

更具体地说,Brualdi 和 Cao 的问题是关于矩阵的一个属性,称为“永久”,这是一个通过复杂公式获得的数字,该公式涉及所有矩阵条目的相加和相乘。他们想知道哪些 312 模式避免矩阵具有最大的永久物以及该永久物可能有多大,从而对任何大小的方阵进行猜测。

为了回答他们的问题,瓦格纳为他的模型设计了一个游戏:猜一个 0-1 矩阵。逐个条目,它选择0或1。永久物越大,模型的分数越高,因未避开312矩阵而被扣分。一旦矩阵为 4 x 4 或更大,该模型就会发现击败 Brualdi 和 Cao 猜测的示例。

这项新工作是一个令人兴奋的概念证明,尽管到目前为止它对数学的实际贡献并不大。

“[模型解决的问题]都不是超级重要的猜想,”瓦格纳说。

在许多对数学研究很重要的方面,计算机仍然无法与人脑的能力相匹敌。在试图反驳新论文的一个猜想时,瓦格纳的模型碰壁了。它的计算能力太少,无法自行找到反例。尽管如此,它还是产生了一系列猜测,使瓦格纳自己很容易找到一个。

“只要看看它构造的最好的东西,如果你把它带到任何数学家那里,它不一定是一个图论者,你应该尝试什么是完全显而易见的,”瓦格纳说。

即使对于 Brualdi 和 Cao 的示例,一旦矩阵变得太大,模型也需要一点帮助。

在数学家将他们的领域让给机器之前,如果有的话,还需要很长时间。与此同时,那些想要利用人工智能的人需要睁大眼睛寻找将其纳入研究的机会。威廉姆森说,这就是其他新技术(如电力)最终揭示其潜力的方式,他认为人工智能没有理由与众不同。

“我们没有发现问题,然后说,’我们必须用电来解决这个问题。’我们更多地说,‘我们能做些什么简单的小事?’”

来源: https://www.quantamagazine.org/in-new-math-proofs-artificial-intelligence-plays-to-win-20220307/

发表回复 取消回复

要发表评论,您必须先登录。

本站文章系自动翻译,站长会周期检查,如果有不当内容,请点此留言,非常感谢。
  • Bob Nystrom (1)
  • Dan Wang (1)
  • Joel on Software (1)
  • John Resig (1)
  • Laurence Gellert's Blog (1)
  • Matt Might's blog (3)
  • News Letter (191)
  • Philip Walton (1)
  • Pivotal (1)
  • Sam Julien (1)
  • Scott Hanselman's Blog (2)
  • Tom's blog (1)
  • Wait But Why (1)
  • 英文媒体 (36,629)
    • Ars Technica (2,472)
    • Daily Infographic (285)
    • Engadget (5,715)
    • Enonomist (77)
    • FlowingData (254)
    • Hacker News (773)
    • Hacker News Daily (314)
    • Hacker Noon (125)
    • Harvard Health (150)
    • KK – Cool Tools (213)
    • KK – Recomendo (263)
    • Make Use Of (158)
    • NASA Astronomy Picture (268)
    • Product Hunt (7,505)
    • Psyche (220)
    • Quanta Magazine (187)
    • Science current issue (536)
    • Sidebar (1,033)
    • Singularity HUB (278)
    • TechCrunch (9,045)
    • The Practical Developer (99)
    • The Verge (6,278)
    • Visual Capitalist (381)
  • 英文推特 (17,682)
    • Bill Gates (342)
    • Brett Winton (1,333)
    • Cathie Wood (303)
    • Durov's Channel (25)
    • Elon Musk (5,422)
    • GeekWire (2,868)
    • Hunter Walk (55)
    • Mark Gurman (1,061)
    • Naval (699)
    • Parag Agrawal (52)
    • Ray Dalio (1,045)
    • Riccardo Mori (16)
    • Steph Smith (2,269)
    • Tim Cook (169)
    • Vitalik Buterin (2,023)
  • 英文独立博客 (3,801)
    • A learning a day (327)
    • A Smart Bear (2)
    • AddyOsmani.com (10)
    • Adwyat Krishna (29)
    • Ahmad Shadeed (2)
    • Alex Turek (3)
    • All Poetry (1)
    • All That is Solid (49)
    • André Staltz (2)
    • arxivblog (37)
    • Astral Codex Ten (15)
    • Atoms vs Bits (26)
    • AVC (40)
    • Basic Apple Guy (41)
    • Ben Thompson (13)
    • Benedict Evans (8)
    • Blog – storytelling with data (43)
    • Built For Mars (11)
    • Caleb Porzio (1)
    • Cameron Sun (2)
    • Christian Heilmann (39)
    • Christopher C (3)
    • Chun Tian (binghe) (1)
    • Codrops (16)
    • Cold Takes (16)
    • Dan Luu (1)
    • Daniel Lemire's blog (51)
    • David Amos (23)
    • David Perell (6)
    • David Walsh Blog (36)
    • Derek Sivers (28)
    • Desvl (14)
    • Devon's Site (5)
    • Digital Inspiration (26)
    • DKB Blog (4)
    • Douglas Vaghetti (12)
    • dropsafe (56)
    • DSHR (37)
    • Dunk (5)
    • DYNOMIGHT (38)
    • eagereyes (7)
    • Endless Metrics (135)
    • Entitled Opinions (8)
    • Exception Not Found (6)
    • Experimental History (21)
    • Farnam Street (6)
    • Fed Guy (10)
    • Felix Krause (3)
    • Florent Crivello (2)
    • Free Mind (7)
    • Full Stack Economics (40)
    • Funny JS (3)
    • Future A16Z (47)
    • Glassnode Insights (55)
    • Human Who Codes (4)
    • Infographics – Cool Infographics (10)
    • Information is Beautiful (11)
    • Irrational Exuberance (40)
    • Jacob Kaplan-Moss (13)
    • Jakob Greenfeld (44)
    • James Sinclair (3)
    • Jason Fried (17)
    • Jeff Kaufman (178)
    • John's internet house (31)
    • Johnny Rodgers (4)
    • Julia Evans (25)
    • Julian.com (2)
    • Kalzumeus (1)
    • Kevin Cox (10)
    • Kevin Norman (3)
    • KK – The Technium (50)
    • Krishna (7)
    • Lee Robinson (5)
    • Lines and Colors (51)
    • Lyn Alden – Investment Strategy (3)
    • Martin Fowler (28)
    • More To That (13)
    • Morgan Housel (76)
    • My Super Secret Diary (30)
    • Naval Blog (3)
    • Neckar's New Money (76)
    • Nick Whitaker (4)
    • Nicky's New Shtuff (1)
    • nutcroft (10)
    • Paul Graham (2)
    • Paul Graham: Essays (2)
    • Penguin Random House (66)
    • Phoenix's island (1)
    • Prof Galloway (35)
    • Python Weekly (30)
    • Rachel (33)
    • Real Life (34)
    • Sasha (63)
    • Science & technology (122)
    • Sébastien Dubois (6)
    • Secretum Secretorum (13)
    • Seth's Blog (147)
    • Shu Ding (3)
    • SignalFire (9)
    • Simon Willison's Weblog (167)
    • Simons Foundation (85)
    • SLIME MOLD TIME MOLD (23)
    • Slyar Home (8)
    • Spencer Greenberg (10)
    • Stay SaaSy (11)
    • Stephen Malina (4)
    • Stephen Wolfram Writings (2)
    • Strange Loop Canon (23)
    • Stratechery (10)
    • Tech Notes (11)
    • The Commonplace (29)
    • The Generalist (2)
    • The Intrinsic Perspective (30)
    • The Latest in Hearing Health | HeardThat (8)
    • The Mad Ned Memo (2)
    • The Rabbit Hole (37)
    • TLDR Newsletter (81)
    • Tomasz Tunguz (91)
    • Tony Kulesa (2)
    • Troy Hunt (58)
    • Tychlog (1)
    • Uncharted Territories (57)
    • Visualising Data (9)
    • Weichen Liu (20)
    • What's New (55)
    • Works in Progress (1)
    • Workspaces (32)
    • Writing (8)
    • Xe's Blog (35)
    • xkcd.com (117)
    • Yihui Xie (13)
    • Zoran Jambor (11)
©2023 搞英语 → 看世界 | Design: Newspaperly WordPress Theme