Live Roundups Editor's Desk Insights Executive Ops Weather About 🔍
Home › Technology › After Reinventing Mathematics, Can A.I. Eradicate Computer Bugs?
Technology

After Reinventing Mathematics, Can A.I. Eradicate Computer Bugs?

After Reinventing Mathematics, Can A.I. Eradicate Computer Bugs?
NYT Science Thursday 29 October 2026, 13:00 UTC By Cade Metz 1 min read
Key Points

An in-progress “software verification” of a large codebase, demonstrated at the headquarters of the start-up &Truth in Palo Alto, Calif.

An in-progress “software verification” of a large codebase, demonstrated at the headquarters of the start-up &Truth in Palo Alto, Calif.
Reinventing Mathematics (ORG) &Truth (ORG) Palo Alto (LOCATION) Calif. (LOCATION)
Originally published by NYT Science Read original →

Related Stories

'The internet's a less whimsical place' - YouTuber Jacksepticeye branches out

He got famous playing video games but now you're more likely to see Seán McLoughlin in one.

BBC News 10m ago

AI chipmaker Iluvatar CoreX says new GPU matches Nvidia’s H200 as home-grown push accelerates

Chinese artificial intelligence chipmaker Iluvatar CoreX claims that its new Tiangai 300 graphics processing unit (GPU) can match and even surpass Nvidia’s H200 in real-world AI workloads, highlighting efforts by domestic players to close the technology gap with the US chip giant. In a live demonstration for mainland Chinese media outlets on Wednesday, the Shanghai-based firm showed the Tiangai 300 outperforming the H200 in complex multimodal tasks, including text-to-image and text-to-video...

South China Morning Post 17m ago

Citi Wealth's Moore Still Bullish on Tech, Despite Alphabet's Miss

Oct 29th, 2026 Citi Wealth's Moore Still Bullish on Tech, Despite Alphabet's Miss Kate Moore, Citi Wealth chief investment officer, says she's still bullish on tech and the US economy despite Alphabet reporting disappointing results for search and advertising sales. Moore also reacts to the Fed leaving rates unchanged and the importance of spending on cyber security.

Bloomberg Technology 18m ago

Why Caterpillar Shares Are Plunging

Oct 29th, 2026 Why Caterpillar Shares Are Plunging Caterpillar shares plunged after the company posted earnings that only modestly beat expectations, adding to investor jitters about mounting challenges to the AI infrastructure boom. Matthew Griffin reports on "Bloomberg Open Interest."

Bloomberg Technology 23m ago