Scholar Asks: Why Does ChatGPT Keep Inventing Jargon in Math Proofs?
roydanroy · x · 2026-08-11
After reading several AI-generated mathematical proofs this week, a scholar raised an interesting question: why is ChatGPT unable to stop using made-up jargon when writing proofs?
He speculated whether this behavior is actually a reflection of mathematicians' own poor writing habits being learned by the model.
More from Models
- Renaming PDF to 'final_draft' Boosts LLM Review Scores: Evaluation Weirdness — CShorten30 · 2026-08-11
- User Tests New Grok Build: Code 'Laziness' Fixed in Minecraft House Task — Angaisb_ · 2026-08-11
- Hands-on with Grok in Cursor: Fast and Agentic, but Lacks Creativity — andrew_n_carr · 2026-08-11
- Ling 3.0 Flash on Strix Halo: Beats Qwen in Speed, but Tool Calling is Broken — Badger-Purple · 2026-08-11
- Meta Unveils New Open Models as Zuckerberg Outlines AI Strategy in 6,000-Word Essay — Ars Technica AI · 2026-08-11
- Running Meta's Muse Glimmer 30B on MacBook: Ollama MLX Hits 29 tok/s — ollama · 2026-08-11