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.
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.