at the moment, at doesn’t do even that. mathematicians are still the meaning makers with respect to mathematics. the LLM can craft a path from A to B, but cannot say “this is not babble. this is meaningful, both now, and in the future of this language game we call mathematics which has such mysterious use in describing the world in which we live.”
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.
at the moment, at doesn’t do even that. mathematicians are still the meaning makers with respect to mathematics. the LLM can craft a path from A to B, but cannot say “this is not babble. this is meaningful, both now, and in the future of this language game we call mathematics which has such mysterious use in describing the world in which we live.”
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.