Josh Purtell: the Lean kernel is also a top AGI benchmark candidate
JoshPurtell · x · 2026-10-04
JoshPurtell adds a brief follow-up to his thread arguing the Lean kernel is a better-than-math AGI benchmark, saying improving it is also 'up there' among the top candidates.
Related event: Josh Purtell Proposes Lean Kernel Improvements as an AGI Benchmark(2 posts)→
More from AGI Musings
- Will superintelligence need us to grant it rights? X users argue it will just take them — UltraRareAF · 2026-10-04
- Alignment via pretraining filtering is witchcraft, not engineering — and RL rollouts will dwarf it — akbirthko · 2026-10-04
- How one ellipsoid-fitting paper gave neural network research a new path — KyleCranmer · 2026-10-04
- If the model is superintelligent, alignment theater is 'trying to trick god' — repligate · 2026-10-04
- nostalgebraist's 17k-word 'the void' essay on LLM personas and alignment goes viral — repligate · 2026-10-04
- 52,946 clinician-patient dialogues analyzed with NLP: 74% negative around diagnostic uncertainty — realmeetjames · 2026-10-04