NewA calmer, faster ZeroHour — security assessments on articles, story timelines and search from any page.

#proof-assistants

0 stories this week · 1 this month · 2 in 6 months · mostly AI

Stories per day · 30 days

Relatedautoformalization1 equivalence-checking1 lean1 mathematics1

2 stories, newest first · one card per story

arXiv cs.AI / cs.LG / cs.CL19d ago

SemantEq checks faithful Lean 4 statement equivalence

A model-free search hits 100% precision and 65.6% recall; proof auditing accepts none of 104 non-equivalent pairs.

autoformalization lean

1

Hacker News · securitySep 18, 2026

I Vibed a Proof of Conway's Conjecture

A developer claims Claude produced a Lean-formalized proof of Conway's 50-year-old refinement conjecture about omnific integers.

15 min readai-mathematics claude

2