Feed aggregator
Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation
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.
How Simplify in the Google app makes complex text easier to understandHow Simplify in the Google app makes complex text easier to understandKeyword Contributor
Learn how Google Research developed Simplify in the Google app for iOS to help you understand complex information more easily.Learn how Google Research developed Simplify in the Google app for iOS to help you understand complex information more easily.
Categories: Technology
How Gemini for Education accelerates learning for over 10 million college studentsHow Gemini for Education accelerates learning for over 10 million college studentsSenior Director
See how top higher education institutions are using Google AI tools and training to transform education.See how top higher education institutions are using Google AI tools and training to transform education.
Categories: Technology
AI Mode is now available in five new languages around the world.AI Mode is now available in five new languages around the world.Vice President, Product Management
Starting today, we’re bringing AI Mode, our most powerful AI search experience, to five new languages for users around the globe: Hindi, Indonesian, Japanese, Korean, an…
Categories: Technology
Linux 6.18 Sets XFS Online Scrub as Default for Downtime-Free Repairs - WebProNews
Categories: Linux
Linux Kernel 6.18: AMD Optimizations, Graphics Boost, and Security Enhancements - WebProNews
Categories: Linux
Texas Sued Over Its Lab-Grown Meat Ban
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.
OpenAI Says Its Business Will Burn $115 Billion Through 2029
An anonymous reader shares a report: OpenAI recently had both good news and bad news for shareholders. Revenue growth from ChatGPT is accelerating at a more rapid rate than the company projected half a year ago. The bad news? The computing costs to develop artificial intelligence that powers the chatbot, and other data center-related expenses, will rise even faster.
As a result, OpenAI projected its cash burn this year through 2029 will rise even higher than previously thought, to a total of $115 billion. That's about $80 billion higher than the company previously expected. The unprecedented projected cash burn, which would add to the roughly $2 billion it burned in the past two years, helps explain why the company is raising more capital than any private company in history.
Read more of this story at Slashdot.
European kids, parents, and teachers are using YouTube for education.European kids, parents, and teachers are using YouTube for education.Director and Head of YouTube Health
Today, we’re sharing new research data that reveals how young people, their teachers, and parents use YouTube for education, community and creativity.Independent youth c…
Categories: Technology
I Briefly Tried KDE's Very Own Linux Distro - It's FOSS News
I Briefly Tried KDE's Very Own Linux Distro It's FOSS News
Categories: Linux
The New American Hustle: Dividends Over Day Jobs
Young Americans are abandoning traditional retirement planning for dividend-focused ETFs that promise immediate income and freedom from traditional employment. Income-generating ETFs captured one in six dollars flowing into equity ETFs in 2025, pushing the sector to $750 billion -- with the most aggressive funds offering yields above 8% quadrupling to $160 billion over three years.
The r/dividends subreddit has grown tenfold to 780,000 members over five years, while YouTube channels and Discord servers dedicated to dividend investing proliferate. YieldMax's MSTY fund, offering a 90% distribution rate through complex derivatives, has underperformed MicroStrategy stock by 120 percentage points since February 2024 when dividends are reinvested -- nearly 200 points when payouts are withdrawn. Speaking to Bloomberg, finance professor Samuel Hartzmark identified this as the "free dividends fallacy," where investors fail to recognize that dividends reduce share prices rather than creating additional wealth.
Read more of this story at Slashdot.
First Benchmarks Of Windows 11 25H2 vs. Ubuntu 25.10 On AMD Ryzen 9 9950X - Phoronix
Categories: Linux
Windows-like Kamuriki Linux 4.00 now available - Notebookcheck
Windows-like Kamuriki Linux 4.00 now available Notebookcheck
Categories: Linux
How to Install Fedora Linux: A Step-by-Step Beginner’s Guide for 2025 - Geeky Gadgets
Categories: Linux
