Mathematician's take on AI proofs: mathematical reality is surprisingly porous
MoonL88537 · x · 2026-10-23
A mathematician shares two takeaways from reading AI-generated proofs: most remain unenlightening compared to good human proofs, with the system violently going for the throat; but the real update is how porous mathematical reality is — problems he thought required radical new techniques fell to AI hacking through cracks in the field. A replier likens it to coral: mathematical reality is the skeleton, understanding the reef's colors, and everyone fears a bleaching event.
Related event: OpenAI's Claimed Navier-Stokes Proof Sparks Debate Among Mathematicians(3 posts)→
More from Models
- SuperGrok in Cursor: user burns through weekly quota, 3-day wait for reset — mhdfaran · 2026-10-23
- AI uncovers PHP2Shell flaw threatening the tech behind 70% of all websites — AIFlow_ML · 2026-10-23
- OpenAI support wrongly cancels his workspace, wiping a 48-month promo worth ~$1,100 — Tile124 · 2026-10-23
- SemiAnalysis: Anthropic A/B testing ~20% lower usage limits on some accounts — imjustnewatai · 2026-10-23
- Swift-1.5-Qwen3.8-27B ported to hipfire MQ4: 2.2x faster end-to-end than GGUF on a 7900 XT — Queasy_Asparagus69 · 2026-10-23
- Boundless offers abliterated DeepSeek V4.1 Flash for defensive security testing — MoonL88537 · 2026-10-23