中国开发者每月74000美元用于AI
中国开发者每月在AI上花费74000美元，使用900美元的二手RTX 3090。
DeepSeek
所有带有「DeepSeek」标签的 AI 情报。
6 条情报500美元的人工智能账单可能变成50美元
新的开放模型竞赛正在改变市场格局。
中国本土AI公司崛起
ChatGPT推出后，中国本土公司如雨后春笋般涌现，实际上并非如此简单。
Pythagoras-Prover 证明依赖性降低
Pythagoras-Prover 让 Lean 定理证明不再依赖巨型模型，4B 证明器在 MiniF2F 中表现出色。
追求编码代理的终极自由
如果你想追求编码代理的终极自由，只有pi能让你安心，推荐初学者查看相关博客。
用户每月在 AI 工具上花费数百美元
越来越多用户将整个技术栈迁移到本地机器上，使用 Mac Mini M4、Ollama、Open WebUI 等工具生成内容和分析数据。