This is /g/ right now.
这就是现在的 /g/。
这就是现在的 /g/。
>>109797688
It'd be cool if it's solved, but as far as I understand the people that do understand it, it wouldn't change much.
能解决当然酷，但据我理解那些真懂的人的说法，它不会改变多少。
I guess it could prevent some catasthropic accidents?
我想它能防止某些灾难性事故？
>>109797688
I look like this and I say this.
我长这样，我说这话。
doesn't matter, i have 4-5 repos of math i don't understand the first thing about
无所谓，我有 4-5 个数学仓库，我对其一窍不通
>>109797688
Me on the left.
我是左边那位。
Personally I want P = NP, the reimann hypothesis, or the collatz conjecture to be solved, but those are probably a lot harder to solve.
我个人更希望 P=NP、黎曼猜想或 Collatz 猜想被解决，但那些大概难得多。
>>109797968
Natural disaster is part of natural selection. You’re inventing something satanic
自然灾害是自然选择的一部分。你在发明撒旦的东西
>>109797968
Proompter seems retarded.
Prompt 党看着挺弱智。
I may have not heard of it before but i can certainly take a guess by reading picture gpt posted and find its use cases
我可能之前没听说过它，但看一眼 GPT 发的图、查查它的用例，我肯定能猜个八九不离十
>>109797688
twitter screenshot threads should be a permaban.
Twitter 截图帖应该永封。
>>109798016
If you REALLY, unironically, think about it, then you'd realize that fighting natural selection is literally natural selection and that's the literal reason why evolution took place like that.
如果你真的、不开玩笑地想一想，就会意识到对抗自然选择本身就是自然选择，这正是进化以这种方式发生的原因。
That's the special part about evolution. Only god can judge if this is a good or bad direction. He will take adjustments if the direction was wrong
这就是进化的特殊之处。只有上帝能评判这是好是坏的方向。方向错了他会做出调整
Improve travelling salesman by 10% or something and that's impressive.
把旅行商问题改进 10% 之类，那才叫厉害。
Pure math problems with no use case don't interest me.
没有用例的纯数学问题引不起我兴趣。
>>109797968
Here, ill translate that AI "safety" gibberish for you:
来，我给你翻译翻译那些 AI「安全」呓语：
> it's an equation to kill people better through more accurate munitions and drones.
> 这是用更精准的弹药和无人机更好地杀人的方程。
>>109797968
What's funny is it's just cribbing pop sci and the introductions to papers to get motivations but those are all exaggerated by scientists.
好笑的是它就是抄流行科普和论文引言里的动机部分，而那些本来就是科学家自己夸大的。
>>109797968
OpenAI's counter proof required the scale to be less than a single molecule, and they had an entire team of mathematicians working to coerce the AI into making a proof, which they were only able to do by plagiarizing the work of two other mathematicians who happened to use ChatGPT in their process.
OpenAI 的反例证明要求尺度小于单个分子，还有一整队数学家哄着 AI 出证明，最后靠剽窃另外两位恰好用 ChatGPT 做研究的数学家才办成。
Of course, saying that ChatGPT HELPED a team of humans to make a purely theoretical counter example rather than claiming a shatbot did all the work in one prompt doesn't convince room temperature IQ individuals to buy stock at the eventual IPO.
当然，「ChatGPT 帮助人类团队得到纯理论反例」这种说法，可不如「一个屎机器人一条 prompt 全搞定」更能哄室温 IQ 的人在最终 IPO 时买股票。
>>109797968
So, really not that useful.
所以，真没那么有用。
>>109798562
Having a proof for that would be a really big thing tho. Not for you personally, but for weather prediction and all that jazz
不过真有证明会是大事件。不是对你个人，而是对气象预报那类东西
>>109797968
Are LLMs just for people to retarded to read wikipedia? The lack of depth in these responses is incredible to me
LLM 就是给弱智到读不动维基百科的人用的吗？这些回答的浅薄程度让我难以置信
>>109797688
DRUK
>>109798749
why would I care if it doesn't affect me personally then?
既然对我个人没影响，我为什么要 care？
>>109797723
Github repos? What are math repos?
GitHub 仓库？数学仓库是什么？
>>109797968
>I got a couple of sentences of very broad strokes of what it is
>我拿到了几句话的非常粗略的介绍
>Thst means I know what I'm talking about
>这意味着我懂我在说什么
aigger brains truly are inert
黑鬼脑子真是惰性的
>>109798749
How so? It's already being used. What are they gonna do, go
怎么说？它已经在被用了。他们还能怎样，说
>yup, continue using it
>好，继续用
>>109798016
True, if God didn't want all those people to die He wouldn't send earthquakes and typhoons
对，上帝要是不想死那些人，就不会派地震和台风了
>>109800633
github repos of clean formalized lean 4. i turn established theorems into translated compiling lean for ML and open source it. i also have 2 repos with research and discoveries, one or two being mathematically notable. look up palomar registry. you'll spot my upload spree in mid-late august.
GitHub 上是干净的 Lean 4 形式化仓库。我把已确立的定理转成可编译的 Lean 给机器学习用并开源。另外我有 2 个研究和发现的仓库，其中一两个在数学上有点分量。去查 Palomar registry（帕洛马登记库），你会在 8 月中下旬看到我的上传狂潮。
>>109800416
>reads wikipedia
>读维基百科
lol
>>109798155
Wrong
>>109800694
Didn't even know it was a thing.
压根不知道有这东西。
>>109797688
Me on the left
我是左边那位
>>109800416
>the least obvious psued
>最不显眼的伪学者
>>109801099
RIGHT 1
>>109798729
>counter proof
>反例证明
Counter example, they don't actually provide a proof
反例，他们其实没给出证明
>>109797688
>me on the left
>我是左边那位
>i know what navier stokes is
>我知道 Navier-Stokes 是什么
>math is death
>数学即死亡
The millenium problem is only interesting to incel mathematicians. Physicists don't care if it blows up, they already know that liquids consist of molecules so that the continuum model is unphysical.
千禧年问题只对毒腐数学家有趣。物理学家不在乎它炸不炸，他们早知道液体由分子构成，连续介质模型本来就不物理。
>>109797688
What happened to trust the experts? The experts said it's nonsense. Checkmate.
不是要相信专家吗？专家说这是胡扯。将军。
（如果你觉得这篇文章有启发，可以点击这里付费）
