标签: arena

对比三个小龙虾

前言 之前装了三个龙虾,经过一段时间的实际体验,心得记录如下文。 任务 这次任务是:定时执行系统更新。为方便测试本次任务,…

AI 大乱斗之法律与正义

提问 问了 AI 一个难题: 在阿加莎·克里斯蒂的《帷幕》(Curtain: Poirot’s Last Case)中,大侦探赫尔克里·波洛故意并预谋杀害…

AI 大乱斗之解数学题

最新刚刚发布的DeepSeek Prover V2号称“擅长数学推理与自动证明模型,专注于形式化数学和定理自动证明”,今天就来比一比数学。 …