Cover Image
QR Code

AI grabs silver medal at human maths competition.

An artificial intelligence (AI) developed by Google DeepMind has achieved a silver medal score at the International Mathematical Olympiad (IMO), marking the first time an AI has reached the podium. The IMO is a prestigious competition for young mathematicians, and answering its test questions requir...

Full description

Published in:New Scientist Vol. 263; no. 3502; p. 11
Main Author: Wilkins, Alex
Format: Journal Article
Published: New Scientist Ltd. 8/3/2024
Online Access:View this record in EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=ccm&AN=178722307&site=ehost-live
header:
  @attributes:
    shortDbName: ccm
    uiTerm: 178722307
    longDbName: CINAHL Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    dissinfo:
    jinfo:
      jid:
        02624079
        NSI
      jtl: New Scientist
      issn: 02624079
      maglogo: N
    pubinfo:
      dt: 8/3/2024
      vid: 263
      iid: 3502
      pid: 39714
      pub: New Scientist Ltd.
    artinfo:
      ui:
        178722307
        178722307
      ppf: 11
      ppct: 0
      formats:
      tig:
        atl: AI grabs silver medal at human maths competition.
      aug:
        au: Wilkins, Alex
      sug:
      ab: An artificial intelligence (AI) developed by Google DeepMind has achieved a silver medal score at the International Mathematical Olympiad (IMO), marking the first time an AI has reached the podium. The IMO is a prestigious competition for young mathematicians, and answering its test questions requires mathematical ability that AI systems typically lack. Google DeepMind has released a new AI called AlphaProof, which can solve a wider range of problems, and a new version of AlphaGeometry. The AI's performance was surprising and it appeared to find "magic keys" to answer problems in a similar way to humans. However, the AI's method of reinforcement learning requires a large set of problems written in a language it can understand and verify, which is a challenge for most IMO-like problems written in English. The AI's solutions were translated into a programming language called Lean using Google's Gemini AI, and it took up to three days to find some solutions. The hope is that AlphaProof will help improve the accuracy of Google's large language models.
      pubtype: Periodical
      doctype: Journal Article
      ougenre: Article
    language: English
    refInfo:
    holdings:
      @attributes:
        islocal: N