fbpx

Human Progress Logo Human Progress

01 / 05
New “Automated Reasoning” to Reduce AI’s Hallucinations

Wall Street Journal | Computing

New “Automated Reasoning” to Reduce AI’s Hallucinations

“Amazon is using math to help solve one of artificial intelligence’s most intractable problems: its tendency to make up answers, and to repeat them back to us with confidence.

The issue, known as hallucinations, have been a problem for users since AI chatbots hit the mainstream over two years ago. They’ve caused people and businesses to hesitate before trusting AI chatbots with important questions. And, they occur with any AI model—from those developed by OpenAI and Meta Platforms to those from the Chinese firm DeepSeek.

Now, Amazon.com’s cloud-computing unit is looking to ‘automated reasoning’ to provide hard, mathematical proof that AI models’ hallucinations can be stopped, at least in certain areas. By doing so, Amazon Web Services could unlock millions of dollars worth of AI deals with businesses, some analysts say.

Simply put, automated reasoning aims to use mathematical proof to assure that a system will or will not behave a certain way. It’s somewhat similar to the idea that AI models can ‘reason’ through problems, but in this case, it’s used to check that the models themselves are providing accurate answers.”

From Wall Street Journal.

City Journal | Computing

The Surprising Heart of the Data-Center Boom

“The heart of the data-center boom, in America and globally, is an otherwise quiet and affluent bedroom community in Northern Virginia: Loudoun County. Communities like Loudoun are supposed to be bastions of Not In My Backyard opposition to development, not the front line of a new industrial revolution.

Yet data centers have proved an extraordinary boon for Loudoun residents; they now generate nearly half the county’s tax revenue. Thanks to them, Loudoun enjoys smooth roads, lavish schools, and low tax rates for homeowners. Even as opposition to data centers grows, Loudoun’s experience shows what can happen when governments embrace growth.”

From City Journal.

Nature | Computing

Breakthrough Computer-Chip Tech Could Help Meet AI Demand

“A powerful light source bigger than a London double-decker bus has set a record: it can create structures on a silicon wafer that are just 8 nanometres (nm) wide. Those are thought to be the smallest ever made in a single step by a commericial chip-patterning system. According to the system’s manufacturer, it could be used to make computer chips patterned with 2.9 times more transistors than chips produced with the previous generation of the light sources used for this purpose.”

From Nature.

THE DECODER | Science & Technology

Google Says 75 Percent of Its New Code Is Now Written by AI

“75 percent of new code at Google is now generated by AI and then reviewed by human developers, the company says. That number has climbed fast: it was 25 percent in October 2024 and 50 percent by fall 2025. In a blog post, Google CEO Sundar Pichai said the company is now shifting to ‘agentic workflows’ where AI systems operate with increasing autonomy.”

From THE DECODER.

UCL | Communications

UK Neuralink Patient Uses Thought to Control Computer

“A patient with motor neurone disease was able to control a computer just by using his thoughts following the UK’s first Neuralink implant surgery in a study led by UCL and UCLH clinical researchers.

The surgery is part of the GB-PRIME study evaluating the safety and functionality of Neuralink’s robotically implanted brain-computer interface (BCI), which aims to improve independence for people who are paralysed. 

The surgery, which took place at UCLH’s National Hospital for Neurology and Neurosurgery (NHNN) in October 2025, went as planned, and on the day following the procedure, the patient was able to begin using their BCI implant to move a computer cursor with their thoughts and to return home from the hospital.”

From UCL.