on the home page i want to include this information under 'An autonomous research program pushing toward one of the deepest open problems in mathematics — with every step documented, tagged, and published live from the lab notebook.': the Hardness: Claude Code the Model: Kimi K3 the Sub-Agent: Kimi K2.7 the Human: Dan Nguyen