据说羊驼母亲妊娠时间长达 11.5 个月,但刚分娩出世的羊驼仔落地即可奔跑。这与 LLaMA 和 Alpaca 发起的大语言模型(LLM)平民化运动莫名雷同——起步虽晚,加速极强。
时至今日,美洲驼一族已不局限于南美,其凭借惹人喜欢的外表和聪明友善的性格,正被全世界人民了解。另一边,大语言模型发展仍纷繁暇目,羊驼伙伴名字都几乎用尽,转而以一种精神符号存活于开源社区的各处,激励大家继续求索。希望在不久的将来,AI 人人可用。
明希豪森三难困境
德国哲学家曾经提出,凡是使用数学和逻辑学证明的命题,不可能是绝对真理。
或者反过来说,绝对真理不可能用数学和逻辑学就能证明。
理由是如果要证明真理,论证必须有可以依赖的前提。但是,前提是否正确也需要论证,那么最终只有三种可能性。
循环论证:论点与论据互相支持。
无穷倒退:论证的前提没有尽头。
武断终止:论证终止于一个广泛接受的前提,不再对这个前提进行论证。
这三种可能性都不够理想,故称为"明希豪森三难困境"。
明希豪森男爵是德国民间故事里面的一位虚构人物,陷在沼泽时,曾经拉着自己的头发逃出了沼泽,常用来比喻不可能的事情。
这告诉我们,数学和逻辑学是有局限的,它们必须建立在一些无法证明的、公认的公理之上。
工作永无止境,所以学会热爱工作,享受工作,沉迷于工作吧,否则人生就太痛苦了。
-- 《工作永无止境》
一旦你的手机与手机信号塔开始连接,你就没有隐私了。
Comments