5 ms·

I suspect that the best progress will be made by a team that purely spends their time taking a list of open problems and promoting "solve <problem>", without ac

I suspect that the best progress will be made by a team that purely spends their time taking a list of open problems and promoting "solve <problem>", without actually trying to understand anything. Just keep as many problems in flight as you can across as many sessions as you can. You can probably ask the AI to come up with a list of problems itself, and rank them by the likelihood of progress.

youoy 9d ago
Then 20 years go by and you wake up one day with questions that you cannot get out of your mind: why did I start prompting the LLM for? Why did I need these random proofs for? What do i do with my repo with 2billion lines of Lean?