communicating results clearly is just as important for specialists/experts. A reaction by many mathematicians to the OpenAI dump (and many LLM breakthroughs) is simultaneously
1. if this is true, it is interesting, and
2. the exposition of this is a huge pile of slop.
This requires mathematicians to have to clean up the slop for it to be useful. It has happened for most LLM-generated proofs in the last few months. Anthropic explicitly payed two top complexity theorists to do it for the 3SUM and APSP breakthrough.
They didn't do this because those complexity theorists are advocating for a tyranny of the illiterate lmao
1. if this is true, it is interesting, and
2. the exposition of this is a huge pile of slop.
This requires mathematicians to have to clean up the slop for it to be useful. It has happened for most LLM-generated proofs in the last few months. Anthropic explicitly payed two top complexity theorists to do it for the 3SUM and APSP breakthrough.
They didn't do this because those complexity theorists are advocating for a tyranny of the illiterate lmao