linux.do
20.9K subscribers
109K photos
195 videos
110 files
238K links
linux.do最新话题和热议话题
Download Telegram
做了一个量化交易的基础设施,欢迎star

做了一个专门用来处理金融相关事件的rag highkay/stupidsimplerag: 简单,低开销,适合金融事件和信息的rag,不是那种大而全的产品,在资源有限的情况(比如一个nas)下追求最高的产出,适合做一些AI+量化的事情,欢迎star。

1 post - 1 participant

Read full topic

via LINUX DO - 最新话题 (author: 黄师傅)
一元应用有没有搞头

一元应用能否在以下场景下获得应用

国内应用付费意愿普遍不强,帮助培养付费意愿(比起破解,掏一块钱可能成本更低)
应用容忍度更高,MVP 应用的验证,最小,功能单一,但可用。
获取应用成本减少

6 posts - 6 participants

Read full topic

via LINUX DO - 最新话题 (author: Fall)
27号的Cursor Ultra 告一段落了,彦祖们,有什么新的工具推荐吗。

有一说一,为什么每个号都是192的账单啊

5 posts - 3 participants

Read full topic

via LINUX DO - 最新话题 (author: ______西班木有蛀牙)

Invalid media: image
深度学习的学习过程是怎样的

深度学习应该从哪学起,听说研究生只要懂得应用就行了,不需要了解内部原理是吗

3 posts - 3 participants

Read full topic

via LINUX DO - 最新话题 (author: user1312)
小小的脑子超载了……

:distorted_face:
坏了
3 posts - 3 participants

Read full topic

via LINUX DO - 最新话题 (author: stevessr)

Invalid media: image
DeepSeek Update

更新了一个数学模型

**DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

DeepSeekMath-V2:迈向可自我验证的数学推理 基于3.2Exp-base
**
大型语言模型在数学推理方面取得了显著进展,这不仅是人工智能的重要试验台,如果能进一步发展,还可能对科学研究产生影响。通过利用强化学习(以正确最终答案为奖励)来扩展推理能力,大型语言模型在一年内从表现不佳提升到在 AIME 和 HMMT 等定量推理竞赛中达到饱和水平。然而,这种方法面临着根本性的局限性。追求更高的最终答案准确性并未解决一个关键问题:正确的答案并不能保证正确的推理过程。此外,许多数学任务,如定理证明,需要严谨的逐步推导而非数值答案,这使得最终答案奖励不再适用。为了突破深度推理的极限,我们认为有必要验证数学推理的全面性和严谨性。自我验证对于扩展测试时计算尤为重要,特别是对于没有已知解决方案的开放性问题。为了实现自我验证的数学推理,我们研究了如何训练一个准确且忠实的基于大型语言模型的定理证明验证器。然后,我们使用该验证器作为奖励模型来训练一个证明生成器,并激励生成器在最终确定证明之前,尽可能多地识别并解决自身证明中的问题。为了在生成器变得更强大时保持生成与验证之间的差距,我们提出扩展验证计算,以自动标记新的难以验证的证明,从而创建训练数据以进一步改进验证器。我们最终的模型 DeepSeekMath-V2 展示了强大的定理证明能力,在 IMO 2025 和 CMO 2024 中取得了金牌水平的成绩,并在 Putnam 2024 中以扩展的测试时计算获得了接近满分 120 分中的 118 分。尽管仍有许多工作要做,但这些结果表明,自我验证的数学推理是一个可行的研究方向,可能有助于开发出更强大的数学人工智能系统。

4 posts - 3 participants

Read full topic

via LINUX DO - 最新话题 (author: bige0123)

Invalid media:
image
image
NewAPI怎么接入Claude code中转商进行API形式的请求

试过在请求头上加参数

但是会报API KEY配置错误,已经检查过API KEY是没有问题的

求大佬解惑应该怎么才能进行API请求

2 posts - 2 participants

Read full topic

via LINUX DO - 最新话题 (author: 新风)

Invalid media:
image
image
image
🎉Gemini Business 2API已经支持多模态了!

10 posts - 10 participants

Read full topic

via LINUX DO - 最新话题 (author: F-Droid)

Invalid media:
image
image
image
image
image
反内卷,某部委发文严防人形机器人扎堆上市

意思利好其他形态??? 😅

1 post - 1 participant

Read full topic

via LINUX DO - 最新话题 (author: LeoF1)
很多人缺乏契约精神

前几天找了个affman 买pikpak说给我返50 今天买了之后说只给45 我买之前也没说今天给45 买了后告诉我走咸鱼 还只给45 我不想地域歧视(就是你们想的那个省份)我懒得和这种人废话 少五块就少五块吧 没精力折腾。 (闲鱼上有55收的 我还没想要多赚5块钱 我专门走的他的aff 因为我认为前几天说好了的 就不能变 我遵守了我的诺言 而对方没有 太伤心了)

1 post - 1 participant

Read full topic

via LINUX DO - 最新话题 (author: androido)
Z-image-turbo初体验

复杂提示词不如大香蕉,甚至可以说差得远,中文也比大香蕉差。好处是可以spoiler
spoiler
1 post - 1 participant

Read full topic

via LINUX DO - 最新话题 (author: 甜菜)
TG必备的搜索引擎,极搜帮你精准找到,想要的群组、频道、音乐 、视频

👇👇👇点击下方按钮,进行搜索
但凡周四,任何二维码都不能相信

就算迪丽热巴想我扫她微信加好友认识我都不行
:distorted_face:

7 posts - 5 participants

Read full topic

via LINUX DO - 最新话题 (author: twlsoft)
Billionaires in 2025 be like

1 post - 1 participant

Read full topic

via LINUX DO - 最新话题 (author: debug)

Invalid media: image
有没有办法直充Claude API

自从野卡被封了,好久没有用Claude官方的API了,公司需要因此不要第三方中转的API。想知道有什么充值办法,感谢各位佬

4 posts - 3 participants

Read full topic

via LINUX DO - 最新话题 (author: 小白开发)
有没有懂保险合同纠纷的律师佬友,评估一下这个事情

有朋友(简称A)2019年入职某公司,公司在五险一金外,额外购买了某保险公司商业重疾等保险。

2021年的时候,A患重疾,治疗后,社保报销一部分。申请保险公司的理赔,A当时对这方面不太懂。全程按照保险员理赔,结果只理赔了社保报销后的金额部分,只理赔了几千元。

如此到如今,A的同事也患重疾,治疗后,打算申请重疾理赔,遂问A要当时理赔保险员的微信,好对接。A这个时候才知道,除了正常的额外报销,重疾保险是有得了重疾的固定理赔金额的(也就是几十万那种)。保险员当时并未告知她可以理赔重疾,她也不知道,就这么没理赔。

现在就很冤,她现在想官司,各种搜索,了解到如下信息:

1. 人寿险,理赔时长5年,非人寿2年,重疾险属于健康险貌似,容易被保险公司以超时拒赔。
2. 4年了,不知道能否再次理赔
3. 我帮她在支付宝付费咨询那种律师,那些律师说什么民事纠纷诉讼时效3年,过了3年,就会被超过诉讼时效退回,如果抗辩直接输,打不赢。

想问下,现在还能以:保险公司过失,理赔时已触发理赔条件,却未告知义务的形式打官司吗?

有没有这方面的律师佬友给给建议的

1 post - 1 participant

Read full topic

via LINUX DO - 最新话题 (author: 告诉沈默,我想吃鱼了)
Codex似乎不擅长画Mermaid流程图?佬友们有什么技巧吗?

环境:中转站 gpt-5.1-codex model_reasoning_effort = “high”

让模型画Mermaid直接报错,把错误信息给模型之后生成的流程图代码还是报错,改为让它生成PlantUML代码倒是一遍过了,但是找了个在线站渲染又要等5,6秒才出图,感觉不太方便

1 post - 1 participant

Read full topic

via LINUX DO - 最新话题 (author: Bob)
水浒武松的冷知识

武松虽然不是什么读书人,但是他说的每句话都出自四大名著

倒拔垂杨柳的不是林黛玉,而是一个和尚

黑旋风李逵其实不能飞

5 posts - 2 participants

Read full topic

via LINUX DO - 最新话题 (author: wm(猫猫头大帅哥的饲主))
没薅到全家的羊毛

今天全家感恩节活动有200-100的券,一下班立马去了公司旁边的全家,结果货架都被搬空了

然后坐地铁回家,到家旁边的全家逛了下,惊喜发现竟然还有好多零食,挑了慢慢一篮子,但是等到结账的时候店员说结账系统崩了,没法结账 😭

我翻小红书还看到有早上七八点就去全家扫货的,真是太会过日子了

1 post - 1 participant

Read full topic

via LINUX DO - 最新话题 (author: OutOfMemory)

Invalid media: image
原来B站视频进度时间展示那里可以编辑,单击一下然后编辑可以定位

不会就我不知道吧

1 post - 1 participant

Read full topic

via LINUX DO - 最新话题 (author: baiding)

Invalid media:
image
image
image