Boolean satisfiability (SAT)

Latest news

1. 27 Oct
   OpenAI asked external experts to review AI-generated proofs and translated them into Lean

   OpenAI recruited outside experts, including a Nobel laureate, to act as "shepherds" checking mathematical, computer science, and physics proofs its AI produced. The company also translated the math and computer science proofs into the Lean proof assistant, while noting Lean only verifies a proof of the statement as written in Lean and experts must judge whether that statement matches the intended claim.

   Research · 1 source

   

Articles

No articles about Boolean satisfiability (SAT) yet.