Mathematician questions public release of Z-Diophantine-in-Q result: "$2k would have verified it"
IgorCarron · x · 2026-11-07
Elliot Glazer expressed incredulity at the public release of a result on whether Z is Diophantine in Q, arguing there's little value in publishing since any curious academic would simply have spent $2k on a verification project to check the claim themselves.
Igor Carron reposted with "And they fall...", implying related claims have collapsed. The exchange ties into the recent wave of AI/formal-verification-assisted mathematical results and the debate over how such results should be released and verified.
Related event: Mathematician's AI-Assisted Diophantine Proof Sparks Debate(2 posts)→
More from Research
- SAIGE-QTL, a mixed-model tool for single-cell eQTL mapping, published in Nature Genetics — anshulkundaje · 2026-11-08
- Fleuret and giffmana debate numerical blow-up risks in an activation-norm formula — giffmana · 2026-11-08
- MaxxBench: models clustered at 74% on DeepSWE spread 23 points when tasks change slightly — dyn___ · 2026-11-08
- Two ~500B MoE Post-Training Designs Compared: Separate RL Runs vs Joint RL — himanshustwts · 2026-11-08
- Stories about a generic AI beat self-referential stories, challenging the Persona Selection Model — repligate · 2026-11-08
- Reviewer refuses to read 70-page appendices: answer key questions in the main paper — CharlotteHase · 2026-11-07