Technology term
Proof Assistant
Software, such as Lean, that helps people write mathematical statements in a formal language and mechanically checks the validity of each inference.
English
Proof Assistant
Arabic
مساعد البراهين
First appeared in
10,000 AI Agents Wrote a Proof for a Millennium Problem
