korrents

Our readingWhat is a korrent?

AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths.

Drawn from what Hillel Wayne said

Subjectformal proof
What this subject means

formal proof Machine-checked mathematics: proof assistants such as Lean, and what changes when correctness is certified rather than refereed.

What Hillel Wayne actually said

  1. Hillel Wayne Writer and consultant on formal methods
    I think it is making it more popular. I don't know if it'll make it go mainstream, but it's definitely making it a lot more popular. It's bringing it from maybe like 0.1% to 0.3% which is huge.

    Where this was said

    Watch from 1:10:32 plays here

    ↗Formal methods with Hillel Wayneyoutube.com

    29 Jul 2026 · video · 1h 24m · spoken · machine transcript

    All 24 korrents from this recordingthis one is 20th

Added to korrents 7 Sept 2026 · How quotes work · Something wrong? Tell us

Do you hold this korrent?Do you also believe this?

I hold this too

Related korrents

Shared subject first, then similar wording. They may agree or disagree.

See this claim on the map