Hacker News new | ask | show | jobs
by mehdi1964 154 days 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?