Two independent papers prove 1986 conjecture, both cite extensive ChatGPT use
tak3sh8 · x · 2026-08-18
Two independent papers posted on the same day proved a conjecture from 1986. Both papers acknowledged extensive use of ChatGPT in their process. Interestingly, both teams noted that their work was completed independently of another proof posted just the Friday prior.
More from AGI Musings
- Mathematician Leaves Academia for AI Verification; 246 Theorem Formalized — 新智元 · 2026-08-18
- Karen Hao: AI job cuts stem from cost tradeoffs and management excuses, not just capability — r0ck3t23 · 2026-08-18
- Call to action: test ambitious AI medical plans against reality ASAP — iskander · 2026-08-18
- Opinion: Humanized Agent Names are a Category Error — curious_vii · 2026-08-18
- Opinion: Second-tier AI labs may become the dumbest business, banned from frontier models — tszzl · 2026-08-18
- Shanghai AI Lab Paper: Agentic AI Poses Escalating Risks to Human Agency on Three Cognitive Levels — Shanghai-AI-Laboratory · 2026-08-18