Comment by thesmtsolver2

6 hours ago

Funny you say that while OpenAI and rest of the world rely on Lean and other formal systems to power through (or sometime brute force) math problems.

0 comments