Looks like this repository is mostly concerned with standardizing the API to make it easier for others to build agents. It did come with code for an example agent, not sure how advanced that one is.

The attached example_run.gif ended with "Agent76001 killed by a gnome lord, 2019".

doesn't seem so [1]

   I think the maximum score we've sene so far is maybe something like 4,000 or 5,000. They descend down to dungeon level on average five or six

   sometimes luckily, going down even dungeon level 15

[1]: https://www.youtube.com/watch?v=oYSNXTkeCtw

In defense of the AI, that's about as good as the average player (and the average players is pretty skilled).

Level 8 is about where sokoban starts? That's what nearly any beginner could do after a few days (or even hours) of playing.

I’ve been playing for maybe 100 hours over the course of a decade, and have reached level 8 maybe once or twice. I just keep getting killed by some stupid ant or wolf or whatnot.

I've been playing on and off for 3 decades. Finally started winning when I used the iPhone and Android versions. Something about the UIs makes me better than that PC interface.

iNetHack2?

On iPhone, yes.