← 返回新闻首页

After reinventing mathematics, can AI eradicate computer bugs?

Using the same techniques that allowed AI technologies to crack a million-dollar math problem, researchers are building new systems that aim to solve the world's cybersecurity crisis.

The Star MalaysiaCADE METZ2026-11-05 05:00查看原文 ↗

Just as an AI system can prove a math problem, it can prove that a software application is bug-free – at least in theory. — Image by upklyak on Magnific

In September, OpenAI announced that its new artificial intelligence (AI) technology needed less than a week to solve the Navier-Stokes problem, a mathematical puzzle that bedevilled the world’s smartest humans for decades. In the weeks that followed, the company released a deluge of additional findings that stunned leading mathematicians and raised new questions about the future of an academic field that has long been viewed as the pinnacle of human achievement.

But the implications of AI’s newfound mathematical skills extend well beyond academic research. Using similar techniques, Silicon Valley is now building AI systems that aim to eliminate the dangerous flaws, or “bugs,” in the world’s computer software. Just as an AI system can prove a math problem, it can prove that a software application is bug-free – at least in theory.

As AI solves maths puzzles faster than humans, mathematicians face uncertain future

Firm tied to some OpenAI, Anthropic AI hacks blames ‘error’

Google will cut off search access for students at US schools that reject AI

Thank you for your report!

M’sia acts on AI election threat

AI data-center stocks slide, renewables rally after Democratic US midterm sweep

AMD shares jump as AI-driven data-center strength fuels growth outlook

手机左右滑动，电脑按 ← → 键，也能切换新闻