colion

每天写点儿什么，每天改点儿什么

[colion @CCbbwlove_]

我现在推行精液保留理论。
精液保留理论，是目前最牛逼的理论。没有之一。

[colion @CCbbwlove_]

最近流行起了大水大睡理论。
​这个理论我已经实践很久了。
​我喝了一年的娃哈哈大水，而且每天都是睡饱了再起。

[colion @CCbbwlove_]

@OnchainMonkk 我是真人。我也在戒色。来吧。

[colion @CCbbwlove_]

@100_btc_holder 新的一天。一起交个朋友吧～

[colion @CCbbwlove_]

我自己就是用的这种号。我的是一个月7美金。

[colion @CCbbwlove_]

有一种网络电话卡，可以收，只要付费，那个卡就一直是你的。你可以让 gpt 帮你搜索一下。是可以绑定 gpt 的。

[麦麦提 @shengtang135754]

这咋整啊？退出了一下codex再来登陆就要验证手机号了，以前从来不要
我没有手机号
有啥好办法🤣在线等

[colion @CCbbwlove_]

今天唯一一个目标：用满20亿token.

[colion @CCbbwlove_]

项目已经大到只能通过提交 pr 来进行优化了。不敢随便动。

[colion @CCbbwlove_]

如果你取消订阅，那不要和我说话。

[colion @CCbbwlove_]

@0xjackkk 浇个朋友吧。

[colion @CCbbwlove_]

@leo202699 谢谢。

[colion @CCbbwlove_]

@100_btc_holder 浇个朋友。

[colion @CCbbwlove_]

@Zerycii 来，浇个朋友。维持互关3个月。三个月后看内容。

[colion @CCbbwlove_]

性价比很高。

[小古不古JIMU @hggvd393107]

不懂就问:

现在真的还有人会用deepseek吗？
😂

[colion @CCbbwlove_]

最近流行起了大水大睡理论。
​这个理论我已经实践很久了。
​我喝了一年的娃哈哈大水，而且每天都是睡饱了再起。

[colion @CCbbwlove_]

可以蹭一蹭您的 ai 账户吗。🌚

[布丁 @lengs4189]

话说，我目前持有的 AI 订阅就这些，基本都是半价左右薅来的。

除了 Pro 200，其他从中秋到现在基本没用过……

账号又舍不得卖，放着又浪费，至少 Pro 200 到期前估计都不会用了。

有什么办法能把这些订阅利用最大化？

[colion @CCbbwlove_]

真正的现实影响是研究本身
平均每个结果大约相当于内部模型三小时 ChatGPT Pro 思考，一次扔出几百个结论。瓶颈从“想出证明”变成“人能不能读完、形式化、引用、判断有没有新思想”。Imperial 的 Kevin Buzzard 看过其中和他领域相关的 30 篇，认为只有 7 篇像样、1 篇有 Lean。所以短期更可能出现的是：预印本洪水、审稿排队、错误声称被当成既定事实传开。
这些不会让你的手机更快，也不会让银行系统今晚改算法。若 Unique Games 和面积律最终被核完，影响的是未来几年算法理论该往哪投，以及量子模拟该不该信任某类近似。其余大多是纯数学账本上的条目。

[lifcc @mylifcc]

怪不得OpenAI削减额度，原来是拿去做数学题证明能力了。。。。

全球最重要的 500 个开放数学问题，OAI大概解决了90个，几乎达到1/5

#2 Riemann Hypothesis —— 部分进展
#4 Hodge Conjecture —— 部分进展
#5 Birch–Swinnerton-Dyer —— 部分进展
#22 Hilbert 第十问题 over Q —— 声称完整解决
#29 Unique Games Conjecture —— 声称完整解决
#48 Landau–Siegel zeros —— 声称完整解决
#77 Chowla Conjecture —— 部分进展
#80 Hadwiger Conjecture —— 声称完整解决
#92 2D quantum area law —— 声称完整解决
#424 Catalan 常数无理性 —— 声称完整解决
#450 Deligne–Drinfeld —— 声称完整解决
#461 Kaplansky Direct Finiteness —— 声称完整解决

这些结果大部分来自同一个尚未公开的 OpenAI 内部模型。

平均每项研究成果，仅仅消耗了相当于 3 个小时的 ChatGPT Pro 思考时间（Thinking Compute）。

人类顶尖博士生可能要耗费数月甚至一整年摸索的路径，模型用 3 个小时的 Test-Time Compute 推进到了成稿阶段。

AI for Math正在从解题时代进入批量研究时代。

[colion @CCbbwlove_]

琢磨琢磨

[colion @CCbbwlove_]

不如 go 会员高其实。

[索螺丝 @fiapp_pro]

OpenAI 把做题蛆打爆了已经，老中上衡水寒窗苦读二十年一身病，到头来智商、能力不如 200 块的 GPT 大会员高，

喜欢应试教育吗，洋人来给你治治

[colion @CCbbwlove_]

chat 额度的 pro 做 pr 独一无二

[张皓晨 @qbi_ro]

@Vincent_AINotes 不知道code用户为什么支持无限量chat，除了吞你的算力送chat用户没有任何作用，真有人拿chat额度写自己的代码吗？不是给自己找事吗。