Comment by mehdi1964

1 month ago

If AI can rewrite and formalize proofs this way, do we risk losing the human intuition behind the arguments? Or is it just a tool to explore math faster?

0 comments