ArchiveSequencesAbout

QuestionsEventsShortformAlignment ForumAF Comments

HomeFeaturedAllTagsRecent Comments

Milo Moses

Karma: 47

Mathematical-physics PhD student @ Caltech. https://milomoses.info/

AllPosts Comments

Don’t trust Lean4 alone

Milo Moses17 Sep 2026 0:36 UTC

48 points

2 comments5 min readLW link