Computer-assisted proof debate: author to release 100GB of independently checkable verifications
DimitrisPapail · x · 2026-09-15
Mathematician Dimitris Papail describes a largely computer-assisted proof whose reductions are presented as elementary proofs, with numerical premises stated as explicit finite inequalities that are independently checkable — to be offered in a large 100GB file. He concedes, however, that passing a verifier does not by itself establish the verifier is correct.
More from Research
- More on Jarvis Bench: VoiceArena Details Its Human-Voted Voice Agent Benchmark — rohanpaul_ai · 2026-09-15
- Jarvis Bench v0.5 Splits Voice Eval into Task Completion vs Naturalness via Blind Human Voting — rohanpaul_ai · 2026-09-15
- Pure-Rust visloc-rs adds visual-inertial SLAM, runs 3.46x faster than COLMAP on CPU — rsasaki0109 · 2026-09-15
- Physicist Sabine Hossenfelder on arXiv and AI papers: flag them, don't ban them — skdh · 2026-09-15
- Blender-reconstruction benchmark exposes video models' spatiotemporal blind spots — Yolo Y. Tang · 2026-09-15
- PhysBrain 1.5 unifies physical understanding, action, and prediction — DeepCybo · 2026-09-15