Totally agree
Prediction: we’ll see loads of conjectures and theorems proven and disproven by LLMs over the next 6 months and it will make basically zero difference to the world, and won’t even contribute meaningfully to advancing mathematics.
Wenhu Chen
@WenhuChen
Meta MSL. I led PoT, MMMU, MMLU-Pro, ClawBench, MAmmoTH, General-Reasoner, VL-Rethinker, VLM2Vec. I contributed to Gemini-2.5 and Muse Spark series.
