←arXiv
← All topics

arXiv

English text is being prepared.

Public reading groups
2
Last 30 days
2
Directory status
Legacy topic

LatestFour Gemini agents autonomously complete Minecraft, defeating the Ender Dragon in 27 hours

Latest reading groups

Duplicate reports of the same fact are grouped

  1. The PaperResearch
    AI score80

    Four Gemini agents autonomously complete Minecraft, defeating the Ender Dragon in 27 hours

    Four autonomous agents running Gemini 4 Argon took 27 hours and 14 minutes to defeat the Ender Dragon in Minecraft survival mode, with no human intervention throughout and without receiving game-specific training; the DeepMind research team disclosed this experiment in an arXiv paper. During the process, the agents wrote and ran 2,783 programs, exchanged 229 chat messages, died 605 times, processed about 1.35 billion input tokens, and cost about $520 at discounted prices. The paper states this is the first end-to-end autonomous completion using only the standard Mineflayer library, without pre-exploring seeds or human-written game-specific tools.

    Why read thisThe paper discloses that four general-purpose agents autonomously completed the game without game-specific training, comparable to the specialized training approaches of AlphaGo and AlphaStar.

  1. 36Kr · AIResearch
    AI score76

    DeepMind AlphaProof Nexus appears in《Science》: autonomously solves 9 Erdős problems

    Google DeepMind's automated mathematical proof system AlphaProof Nexus appeared in the October 8 issue of《Science》, autonomously solving 9 of 353 open Erdős problems, two of which had remained open since 1970. The system uses Gemini 3.1 Pro to draft proofs in Lean, with a compiler verifying line by line and feeding back iterations; the reasoning cost per problem is several hundred dollars. The paper's ablation results show that a simplified system that removes complex structures such as the sub-agent tournament and retains only the large model plus Lean feedback can also solve these 9 problems, though the hardest few are more expensive.

    Why read thisThe paper discloses the solve rate, cost, and ablation results on 353 Erdős problems, allowing readers to judge the true capability boundary of the formal proof system.