AI editing a math paper spots a counterexample to a proposition the author planned to cite
jessi_cata · x · 2026-09-06
The author asked the AI assistant Astra to help edit her math paper draft, and it found a counterexample to a proposition in the existing literature — one she was planning to cite. She has now emailed the original author. "A sign of the times," she notes: AI is already catching potential errors in real mathematical research workflows.
More from Models
- Insider teases that next week's demos will far outshine OpenAI's official blog and trailer — ChrisGPT · 2026-09-06
- GPT-6 Astra system card: first OpenAI model to hit Critical cybersecurity threshold — RyanGreenblatt · 2026-09-06
- ChatGPT usage-reset cards only extend the date, users find late use a bad deal — dotey · 2026-09-06
- GPT-6 Astra builds browser games with three.js, even modeling cars in Blender — gaganghotra_ · 2026-09-06
- Dev feed consensus: GPT Astra clearly outperforming Fable 5.1 — gaganghotra_ · 2026-09-06
- OpenAI insider: 'Astra genuinely shocked me' and 'ARR doesn't matter anymore' — Yuchenj_UW · 2026-09-06