Previously, on Lobsters, we discussed the concept of Gödel machines, a certain kind of self-referential self-improving machine. I've previously hinted several times (1, 2, 3) that it is completely possible to build a Gödel machine, although possibly not useful for anything other than generating formal mathematical proofs.
本文来自微信公众号“智能涌现”，作者：邓咏仪，36氪经授权发布。
，更多细节参见新收录的资料
[단독]폴란드, 韓 해군 최초 잠수함 ‘장보고함’ 무상 양도 안받기로
A method using hydrofluorocarbon electrolytes for synthesizing alkanes with monofluorinated structures is described, yielding a pathway for manufacturing lithium-metal batteries able to achieve high energy density as well as operate at low temperature.
可以看出，机器人正从小众尝鲜走向更广泛的真实消费需求，不再是赚吆喝赔铜板的生意。