研究笔记

博客

关于构建AIEN V2的零星记录:已实现的功能、证据所表明的内容,以及仍待解决的问题。

2026年9月27日

后大语言模型时代之论

数据中心正使电网、水资源和社区不堪重负,而数十亿设备却处于闲置状态,两位该领域的奠基人表示,下一个词预测从来就不是通往真正智能的道路。支持一种不同的学习机器:合成策略模型,它提出程序,验证决定结果,知识以可检查的程序形式保存,而非不透明的权重。

阅读该主张

2026年9月27日

AIEN V3研究计划

AIEN研究计划V3版(基底版)已获批准。该版本增加了整体盒式连续性假说以及六个可证伪的假设(H5-H10):共享的CPU/GPU对象池、跨引擎对象ABI、驻留协作协议、纪元检查点屏障、以移动优先的合成成本,以及首个完全闭环的提出/证明/实现/执行/测量循环。

阅读文章