拿 GPT-6 Astra 双实例互评做 Scholze 猜想数学测试

Przemek Chojecki | PC @prz_chojecki原推发布于 2026.09.26

在 X 上打开原推

Whenever I want to take a model for a real math test, I task it with defining shtukas over Spec(Z) and then trying to prove Scholze's Gestalten conjectures. What a calamitous slop emerges. 95 pages by GPT-6 Astra Pro x 2 instances talking / correcting each other. Finding counterexamples through meta-search is way easier than building up theory.