当云端API成本飙升，本地运行开源模型完成编程任务或将成主流趋势。
There's extreme price escalation on part of Anthropic, with token spend now approaching levels that have made many-an-enterprise scratch their heads. …
AI音乐创作新突破，Stability AI开源模型可生成6分钟完整歌曲，远超此前版本。
Stability Audio 3.0 small model can run on-device and generate two-minute long tracks.
美团开源LongCat-Flash-Prover，AI数学定理证明新SOTA，MiniF2F通过率97.1%
在常规的数学解题中，模型只需要“答对最终数值”即可，但数学定理证明不同，它要求极度严苛的逻辑链条，任何一句自然语言的模棱两可，都可能导致整个证明的崩塌。那么，如何让 AI 从“猜答案”走向“严谨证明”，成为复杂推理具有挑战的课题。为了解答这个问题，我们开源了专门用于数学形式化与定理证明的模型 —— …
用两台DGX Sparks搭建家庭实验室，就能运行开源AI模型，性能仅落后前沿商业模型半年，GPQA Diamond得分88.6%！
Article URL: https://blog.jonathanpage.com/ Comments URL: https://news.ycombinator.com/item?id=48184809 Points: 2 # Comments: 0
揭秘开源LLM激活动态范围新发现，挑战旧有量化认知，影响推理效率优化。
arXiv:2605.15572v1 Announce Type: new Abstract: The dynamic range of activations is a first-order constraint for low-bit quantization, activation scal…
LLM免费时代会终结吗？行业内外对推理成本难题的担忧与思考
Say they(OpenAi Etc)don’t find a way to reduce the cost of running these LLMs. Will we shift towards slower/worse LLMs running locally? Or maybe enter…