Ramana Kumar

mentions 3 type Person feed RSS

// recent coverage 3 mentions

17:21

2026-09-11

businessinsider.com

ai-safety

A former Google DeepMind safety researcher explains the frightening difference between AI and other threats like nuclear war and asteroids

Former Google DeepMind AGI safety researcher Ramana Kumar said superintelligent AI differs from threats like climate change, nuclear war, and asteroids because it could anticipate human actions and ac…

20:10

2026-08-01

sourcefeed.dev

ai-research

The Collatz 'Disproof' That Beat Two Proof Checkers

On July 25, Ramana Kumar published a repository containing an AI-assisted 'disproof' of the Collatz conjecture that compiled in Lean 4 and was accepted by the independent checker nanoda, but on July 2…

00:00

2026-08-01

leodemoura.github.io

ai-safety

Postmortem for Kernel Soundness Bug #14576

Lean's kernel had a soundness bug that allowed a proof of False, exploited by an AI-assisted disproof of the Collatz conjecture; the bug was fixed within an hour of the report. The Lean development te…

// co-occurs with top 8 entities

Kiran Gopinathan 2 Joachim Breitner 2 nanoda 2 Chris Bailey 2 Lean 1 Jeremy Chen 1 Mario Carneiro 1 Leonardo de Moura 1

// topics top 3 topics

ai safety 3 ai research 2 artificial intelligence 1