generalnews.media
importance 3/5

OpenAI's Navier-Stokes proof effort hit by math-to-code translation error

OpenAI's work toward a Navier-Stokes result involved converting mathematical reasoning into computer code, but that translation introduced mistakes, New Scientist reports. The flaw casts doubt on whether the output amounts to a valid proof of the fluid-dynamics conjecture, one of the Clay Mathematics Institute's Millennium Prize problems. It underscores how AI-assisted verification can fail when formal math is rendered into code.

Science Technology

Sources (2)

science

Related stories

Exclusive

Cloudflare reports multiple active incidents

Cloudflare is experiencing multiple active incidents, according to a Hacker News post. Cloudflare is a major internet infrastructure provider, so disruptions can affect many websites and online services. The scope and impact of the incidents were not specified.

Exclusive

Intel stock slump deepens as $3.5T chip selloff spreads

Intel shares fell further as a broad semiconductor selloff spread across the chip sector, erasing about $3.5 trillion in market value. The rout signals growing investor concern about the industry’s outlook and could weigh on technology markets more widely.

Exclusive

China to let clinical medicine PhD students graduate without a thesis

China is changing its doctoral training rules so that PhD students in clinical medicine can earn their degrees without writing a traditional research thesis, according to Nature. The shift, with more degree programmes expected to follow, reflects a move to separate clinical training from research training and could reshape how China educates doctors and clinician-scientists. It matters because China trains a large share of the world's medical researchers, and any change to degree requirements can affect research output and the skills of future physicians.

Exclusive

Anthropic warns it is near recursive self-improving AI capability

Anthropic warned that it is very close to recursive self-improvement (RSI), the ability of AI systems to build and improve themselves. This matters because RSI could sharply accelerate AI capabilities and risks, increasing urgency for safety and oversight.

Exclusive

BYD outsold entire US EV market last month with over 300,000 vehicles

BYD sold more electric vehicles in a single month than the entire US market sold in the quarter, surpassing 300,000 units. The milestone highlights China's growing dominance in EV production and price competition. It matters because it signals mounting pressure on US and global automakers as BYD expands.

← Back to home