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

The New York Times·2h ago

AI models have produced proofs challenging major theories in maths, computing, physics: OpenAI

OpenAI has claimed its AI models have disproved the Exponential Time Hypothesis, which impacts computer science research. The findings include proofs related to harmonic analysis and quantum field ...

The Economic Times·2d ago

Labor market impacts of AI A new measure and early evidence

Anthropic·Mar 5

OpenAI claims AI model solves major math, computer science and physics problems

Internal AI proofs on harmonic analysis, ETH and quantum field theory enter expert review less than a month after 700 math papers release ...

Donga Science·1d ago

AI Came for Math. Now It’s Chasing the Rest of Science

AI may soon be the default way to solve theoretical problems in economics, high-energy physics, and other fields, MIT researchers tell WIRED.

Wired·Oct 14

Gemini-backed Paper Assistant Tool provides automated feedback for theoretical computer scientists at STOC 2026

Google Research·Dec 15

Shocking Breakthrough in Computer Field: Two Tech Giants Jointly Announce Falsification of Century-Old ETH Conjecture on the Same Day

eu.36kr.com·1d ago

What AI gets wrong and what failure teaches us

Jennifer Neville did not want to go into computer science—but that’s exactly where she landed. Neville discusses the starts and stops that led to her professional sweet spot and her work identifying...

Microsoft Research·Oct 6

Neural algorithmic reasoning

In this article, we will talk about classical computation: the kind of computation typically found in an undergraduate Computer Science course on Algorithms and Data Structures [1]. Think shortest...

The Gradient·Oct 14