@tao@mathstodon.xyz if the recent example is typical, for an LLM to “solve” a math problem it needs to be trained on drafts of an incomplete proof by human mathematicians that turns out to be on the right track, used by a team of about 10 times as many people as wrote those drafts, and spend about a decades worth of funding for related math problems on generating attempted proofs. (See https://neuromatch.social/@jonny/117237800074111038) The trivial solution is to tax the rich and fund mathematicians.