AGI Hunt· geoffreyirving·· 3 小时前AI 评分36
不用 Python：纯 Lean 计算 Mandelbrot，Claude 用 Hershey 点阵字体画出图
不用 Python：纯 Lean 算 Mandelbrot，Claude 用点阵字体画出图
AI 导读
Geoffrey Irving 在纯 Lean 证明助手中计算 Mandelbrot 集，Claude 未用 Python，改用公有领域的 Hershey 点阵描线字体渲染文字。
来源：AGI Hunt · agihunt.info