Nvidia is also expanding its own product line in a bid to have more involvement in the physical products in which AI is embedded.
This is a rant.
。关于这个话题，搜狗输入法提供了深入分析
themselves, by mutuall covenants, have fastned at one end, to the lips of
兵粮寸断：由于经济情况持续恶化，我们无法负担起 LLM 研究需要的 AI 显卡；购买 API 服务也有概率面临无法报销的窘境。几块 4090 显卡就是我们能使用的全部硬件资源。
On the other hand, there also seem to be some properties that AI struggles with, even with explicit instructions. Last week a client and I tried to get Claude to generate a good liveness or action property instead of a standard obvious invariant, and it just couldn't. Training data issue? Something in the innate complexity of liveness? It's not clear yet. These properties are even more "subtle" than most invariants, so maybe that's it.