6 Most Prevalent Themes
| # | Theme | Supporting Quotations |
|---|---|---|
| 1 | Disbelief at the Counterexample | “But 1 != ‑1 and –3/2 != 3/2 . So it’s not its own inverse. Is the conjecture that it is its own inverse or that it has an inverse?” — loubbrad |
| 2 | Verification is Easy, Finding Is Hard | “As written, this is an explicit counterexample to the Jacobian conjecture. I checked it using exact symbolic algebra.” — wenc |
| 3 | LLMs Are Still Seen as “Stochastic Parrots” | “I hold my stance that LLMs are stochastic parrots… Making the parrots ever more complex and training … stochastic autocomplete gets you places.” — tptacek |
| 4 | Credit, Plagiarism & Marketing Concerns | “If you believe B is more likely, why would you then believe a proof in the form of a chat log, when said chat log could itself have been fabricated by Anthropic more easily than solving the math problem?” — fn‑mote |
| 5 | Ethical/Impact Implications | “If you believe B is more likely, why would you then believe a proof in the form of a chat log…” — pfdietz (paraphrased as discussion of future “conjecture‑farming” and job security) |
| 6 | Technical Details of the Construction | “The verification also requires computing the Jacobian. An undergraduate‑level exercise, but harder than verifying p(pt₁) = p(pt₂).” — cwillu |
All quotations are reproduced verbatim (double‑quoted) and attributed to the appropriate Hacker News user. HTML entities have been corrected for markdown output.