Skip to main content

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

2 months ago
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.

msmash

Perplexity wants to get discounted AI products into the US government too

2 months ago
$0.25-per-agency deal not finalized, and no FedRAMP approval either - so don’t get excited

Perplexity has entered the race to inject AI into the federal government with a new public sector version of its AI search engine, another AI discount, and a pledge to start enforcing new security measures for government-related use, which weren't applied by default until now. …

Brandon Vigliarolo