cd/entity/GMP· home› entities› GMP
grep -l @gmp /news/*.json | wc -l → 1

GMP

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

00:00
2026-08-24
leodemoura.github.io
ai-research

Postmortem for the Kernel Soundness Bug Hunt

Lean FRO released Lean v4.33.1 on August 21 with fixes for soundness bugs found during a kernel bug hunt using OpenAI internal models, including two runtime exploits that could prove False. The collab…

// co-occurs with top 7 entities
Lean FRO 1 OpenAI 1 Daniel Selsam 1 Lean v4.33.1 1 nanoda 1 ind-models 1 comparator 1
// topics top 2 topics
ai research 1 ai tools 1