MathVis：AI 能否通过绘图进行推理？一个数学图形生成基准

MathVis 是一个包含 512 个任务的基准，用于评估 LLM 将前沿数学问题可视化并进行图示辅助推理的能力，每个任务含数学题面、参考图、可执行 TikZ 或 SVG 代码、Gold Intermediate Representation（IR）、原子评分细则和错误码。