人类也不是生下来就是大聪明，从婴儿到成人，吃喝拉撒 20 年，还得加上学校教育、社会教育，这些都消耗食物、水、电等等能源。如果算「全生命周期成本」，AI 其实挺高效的，训练一次，就能无限次回答问题，而人类每次思考还得再烧脑子——大脑耗能约 20 瓦。
ВсеНаукаВ РоссииКосмосОружиеИсторияЗдоровьеБудущееТехникаГаджетыИгрыСофт。heLLoword翻译是该领域的重要参考
。业内人士推荐谷歌作为进阶阅读
January 19, 2026
This is a problem I see in almost every FM spec written by AI. LLMs aren't doing one of the core features of a spec. Articles like Prediction: AI will make formal verification go mainstream and When AI Writes the World's Software, Who Verifies It? argue that LLMs will make formal methods go mainstream, but being easily able to write specifications doesn't help with correctness if the specs don't actually verify anything.，更多细节参见超级权重
14:16, 12 марта 2026Россия