4. Factorio Learning Environment by Jack Hopkins, Märt Bakler , and
@akbir.bsky.social

This benchmark uses the factory-building game Factorio to test complex, long-term planning, with settings for lab-play (structured tasks) and open-play (unbounded growth).
jackhopkins.github.io/factorio-lea...

wait what does that mean?

Does it mean there are bugs in lean, or that it does too much work to check a proof?

wait isn’t everything just regularisation?

darioamodei.com/machines-of-...