Feed: Slashdot
Feed Link: https://slashdot.org/
---

Title: Mathematicians Find GPT-5 Makes Critical Errors in Original Proof
Generation

Link: https://science.slashdot.org/story/25/09/08/1...

University of Luxembourg mathematicians tested whether GPT-5 could extend a
qualitative fourth-moment theorem to include explicit convergence rates, a
previously unaddressed problem in the Malliavin-Stein framework. The
September 2025 experiment, prompted by claims GPT-5 solved a convex
optimization problem, revealed the AI made critical errors requiring constant
human correction. GPT-5 overlooked an essential covariance property easily
deducible from provided documents. The researchers compared the experience to
working with a junior assistant needing careful verification. They warned AI
reliance during doctoral training risks students losing opportunities to
develop fundamental mathematical skills through mistakes and exploration.

Read more of this story at Slashdot.

---
VRSS v2.1.180528