“拼经济”，是多地“新春第一会”的关键词。视觉中国/图
«Это действительно опасно»Социальные сети наводнили лайфхаки по уборке. Почему некоторые из них угрожают здоровью?3 июля 2022
，这一点在夫子中也有详细论述
更重要的是，本地音视频转录是有一个准确率上限的。而我们现在有了 LLM 的 API，完全可以借助更多的上下文信息，通过 LLM 低成本地提升转录准确率。对于本地音视频转录，我觉得就是有一个基础模型提供一个大差不差的结果，然后调用 AI 进行校对，这样可读性是非常高的。
Фото: Belkin Alexey / ТАСС
It needs the largest possible library of formalized knowledge to build on. Verifying software is mathematics: the same reasoning that proves a theorem in abstract algebra proves that a cryptographic library correctly implements its specification. A platform that serves mathematicians and engineers is not a compromise. It is the recognition that rigorous reasoning is one discipline, whether applied to prime numbers or protocol correctness.