Proving that two funcs are equivalent is undecidable in general. Still, this SO answer describes some amazing tools! https://stackoverflow.com/a/17046172/509706
Related Posts
Is there a programming equivalent of the strawberry problem, i.e. a specific coding task that LLMs are consistently bad at?
Co-Authored-By: An old Stack Overflow answer, blindly accepting the compiler's suggestions, and a linter.
Whilst LLMs don't always give an accurate answer, the UI is really compelling. I keep finding users whose favourite way of doing research is an LLM.