Goblin
News
AI news by
promptgoblins.ai
|
News
About
News
About
Filtered by:
Theorem Proving
Clear
Titles
Summaries
6
AI-Assisted Exploit Uncovers Critical Soundness Bug in Lean Theorem Prover Kernel, Patched in Under an Hour
Security
1
Aug 1
6
AI-Assisted Exploit Uncovers Critical Soundness Bug in Lean Theorem Prover Kernel, Patched in Under an Hour
Security
· 1 src · Aug 1
Discuss
Filters
Signal
Title
Category
Sources
Posted
Discuss
