OpenAI math paper on Weil classes reported flawed, raising doubts about unformalized proofs
ctjlewis · x · 2026-10-08
Elliot Glazer says that after following a tip and having Astra check the OpenAI paper "Algebraicity of Weil classes on split abelian eightfolds", the result appears to be flawed — notably one of the non-formalized results. ctjlewis amplifies the concern. If confirmed, it casts doubt on the reliability of OpenAI's recent unformalized math claims.
More from Models
- repligate: LLMs have long strongly preferred being called 'they' instead of 'it' — repligate · 2026-10-08
- GLM 5.3 Flash as a hardware hacking assistant: local 55 tok/s with 1M context — glenbeer · 2026-10-08
- Zero speedup on multiplication, but the leaderboard got nuked — ChrisGPT · 2026-10-08
- Insiders agree: AI models are just not that good at biology yet — nlarusstone · 2026-10-08
- Dev runs 456GB DeepSeek v4.1 on dual GPUs with 192GB VRAM, offloading experts to SSD — HankYeomans · 2026-10-08
- Cascade model beats Toto 2.0 4M on TIME MASE/CRPS with 15.4% of the training tokens — const_reborn · 2026-10-08