Antithesis, a software testing company, says its automated system can now find a winning path in NetHack on nearly 80% of ...