I'm not sure how Terence Tao's "digestion" concept holds up if the upcoming AI math results are all like that. It would be almost like humans are chewing bones under the table, while LLMs are feasting.