Its really great that Eigen is gamifying frontier software research. We are in an era where LLMs let everyone try and solve problems without needing to understand the tooling just the problem itself.
Being able to iterate and apply theory without worrying so much about the medium can empower every curious mind.