sol medium can't believe its own input and output tokens either despite computing everything itself; this is what it gave me:

> Taken literally, these two facts would make this map a counterexample to the complex Jacobian conjecture in dimension 3: scaling one output coordinate would normalize the determinant to 1 without restoring injectivity. Since the complex Jacobian conjecture is still treated as an open problem, this strongly indicates that the displayed formula has been mistranscribed or contains a subtle typographical error.

quite interesting indeed!

▲

inigyou a day ago | parent [-]

Just take it as more confirmation that LLMs are unintelligent pattern-matchers.

▲

losvedir 20 hours ago | parent | next [-]

You must never have faced a situation where you can't believe your eyes. It takes a certain level of - dare I say it - intelligence and maturity to consider that it's more likely you've made a mistake than that you've made a huge breakthrough.

In HN terms - it's never the compiler. Yes, very occasionally it might be the compiler, but you're better off assuming it's a bug in your code.

	▲	astrange 10 hours ago \| parent [-]
		> In HN terms - it's never the compiler. Yes, very occasionally it might be the compiler, but you're better off assuming it's a bug in your code. Conversely: - if your company has an internal compiler team then it's likely the compiler because they broke it. - if it's not the compiler, you're not pushing it hard enough.

▲

ashdksnndck 7 hours ago | parent | prev | next [-]

Hmm, which of these is simple pattern matching?

1) refuting the Jacobian conjecture

2) keep repeating the same disproven statement, because your priors can’t be affected by new evidence

▲

baq a day ago | parent | prev [-]

statistical parrot indeed, just like the one which built the counterexample. maybe.

	▲	lostmsu a day ago \| parent [-]
		Or they just have more scepticism than some of present public.