实测称大模型依赖类型设计能力薄弱

开发者 hargup13 的实测显示，当前大模型编写具体代码尚可，但在函数式编程和证明辅助所需的依赖类型设计中，难以完成类型级设计与抽象。该结果表明其在这类高阶抽象任务上的表现明显不足。

AI 根据报道生成 · 59 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。