>>109477756
>depressed after the Jacobian conjecture got disproven
>雅可比猜想被证伪后抑郁了
This was Anthropic's marketing response to OpenAI's original marketing strategy of presenting "proofs" for some mathematical problems. Even on the Wikipedia page for the Jacobian conjecture, it notes:
这是Anthropic对OpenAI最初那种给数学问题摆“证明”的营销策略的回应。连维基百科上雅可比猜想的条目都写着:
>The correctness of the counterexample is easy to verify with any computer algebra system. It has not been revealed, however, how it was found. Nevertheless, it led some mathematicians to elaborate on the mathematical reasons and the implications of the existence of the counterexample.
>反例的正确性用任何计算机代数系统都很容易验证。不过,它是怎么被发现的并未公开。尽管如此,它还是让一些数学家深入探讨了该反例存在的数学缘由及其启示。
Levent Alpoge is also a skilled mathematician. Even if his counterexample found with Fable turns out to be valid, it's more demonstrative of the fact that the operator of an LLM needs to know what the fuck they're talking about to do anything productive with it.
Levent Alpoge也是一位技艺精湛的数学家。就算他和Fable一起找到的那个反例最终被证实有效,这更多地说明了一点:操作LLM的人得知道自己在扯什么玩意儿,才能用它干出点正经事来。
I've been a professional programmer for almost 10 years now and my biggest concern is people new to programming are increasingly retarded. They don't know what the fuck a STACK TRACE is, they just copy/paste shit into Claude and hope it spits something out that works.
我当专业程序员快十年了,最担心的就是新入行的越来越废。他们根本不知道堆栈跟踪是个什么鬼,光会往Claude里复制粘贴东西,盼着它吐出一段能用的代码来。
I use LLMs at work and stay up to date on new model releases, and like to try running different models locally. The more you use LLMs the more you realize what exactly they're useful for, and the hype surrounding them (largely from people who don't use them) just becomes fucking insane to witness.
我在工作中用LLM,也关注新模型发布,还喜欢在本地跑各种模型试试。LLM用得越多,你就越明白它们到底适合干嘛,而那些围绕它们的炒作(多半来自根本不怎么用的人)简直离谱到让人看着都发疯。
Just yesterday Fable 5 failed to vertically align 2 fucking buttons for me. LLMs as a programming tool are here to stay and can definitely be useful but I very much fear a future competency crisis for programmers.
就在昨天,Fable 5连对齐两个破按钮都没给我搞定。LLM作为编程工具肯定会留下来,也确实有点用,但我非常担心未来程序员的胜任力危机会爆。
图片: https://i.4cdn.org/g/1786024835182559.png