Yes
the analysis from the AI was amazing
phkahler on Hacker News
Zero failures with the fix; 576 failing configurations without it.
In the thread “Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample”, replying to this comment
Helped: AI wrote a Python script to generate test cases for validation.
… We recently had some bugs fixed in the geometry kernel of solvespace. Not much conversation, but the analysis from the AI was amazing: https://github.com/solvespace/solvespace/pull/1729 …