Skip to main content

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

4 months 3 weeks 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

4 months 3 weeks 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

Texas Sued Over Its Lab-Grown Meat Ban

4 months 3 weeks ago
An anonymous reader shares a report: Two cultivated meat companies have filed a lawsuit against officials in Texas over the law that bans the sales of lab-grown meat in the state for two years. California-based companies UPSIDE Foods, which makes cultivated chicken, and Wildtype, which makes cultivated salmon are suing Attorney General Ken Paxton, Texas Department of State Health Services, Texas Health and Human Services, and Travis County, accusing them of government overreach. "This law has nothing to do with protecting public health and safety and everything to do with protecting conventional agriculture from innovative out-of-state competition," said Paul Sherman, a senior attorney at the Institute for Justice, a nonprofit law firm that is representing UPSIDE Foods and Wildtype. "That is not a legitimate use of government power." In June, lawmakers passed Senate Bill 261, which bans the sale of lab-grown meat in Texas for two years. Lab-grown meat, also known as cell cultivated meat or cultured meat, is made from taking animal cells and growing them in an incubator or bioreactor until they form an edible product.

Read more of this story at Slashdot.

msmash