math autoresearch does appear to be of its own special kind. still requiring “research taste” (the forecasting of profitable areas of proof space exploration) without “experiments” beyond actual proof construction and lean formalization. AI experiment design needs to be much more sophisticated to extract actual knowledge. makes one sympathetic to the world model advocates.
So you are moved up a level of abstraction. How much time does that give you? :(((
math autoresearch does appear to be of its own special kind. still requiring “research taste” (the forecasting of profitable areas of proof space exploration) without “experiments” beyond actual proof construction and lean formalization. AI experiment design needs to be much more sophisticated to extract actual knowledge. makes one sympathetic to the world model advocates.