Terence Tao says AI could trigger math's biggest crisis since Gödel

Technology · en

Terence Tao says AI could trigger math's biggest crisis since Gödel

The Decoder · Aug 20, 2026, 8:49 AM UTC

In a new essay, Terence Tao warns that AI could push mathematics into a crisis on par with the foundational upheaval around 1900. What's being tested this time isn't mathematical truth but the values of the field: what counts as a contribution, what gets rewarded, and who did the work.…

Read original report Visit The Decoder

Technology · Engadget

A robot could eventually conduct your blood draw at the doctor's office

The FDA has approved a first-of-its-kind automated blood draw device for outpatient settings.Read original ↗

Technology · BBC News

Monzo says issue with card payments and transfers now resolved

The digital bank said all of its services were now "back up and running"Read original ↗

Technology · TechCrunch

TikTok explores peer-to-peer payments via DMs, report says

If rolled out, the feature would use the social media service’s TikTok Pay offering, which is already available in Southeast Asia for TikTok Shop purchases.Read original ↗

Technology · The Decoder

Anthropic says any lab can now let a language model agent run the whole protein design stack

Anthropic had its Claude models design small proteins on their own that dock onto target structures in the body, a key step in early drug development.…Read original ↗

Technology · The Decoder

OpenAI says it's "pacing model development" as AI cybersecurity risks grow too dangerous

OpenAI is deliberately "pacing AI model development," partly because the upcoming "Astra" model may be close to gaining critical cyberattack capabilities.…Read original ↗

North Korea fires a suspected missile toward the sea, Japan says

The suspected launch on Thursday comes a day after North Korea shrugged off a U.S. decision to scale back military drills with South Korea in an apparent bid to resume diplomacy.Read original ↗