HeadlinesBriefing HeadlinesBriefing.com

Penmentor:手写作业的AI数学导师

Hacker News •
×

Penmentor是一位随时待命的数学导师,就在你的笔尖。当你在xournal++中手写解题时,只需按下一个键,就能将页面发送给Claude、Gemini或GPT,它会像老师用彩笔批改一样,直接在屏幕上标注你的作业。它不会直接给出答案,而是提供提示,并可以以3Blue1Brown风格的动画展示背后的原理。

该项目由一位厌倦了将作业截图发给Claude、再阅读冗长回复的微积分学生开发。他们想要的是一位在身边指导的老师:圈出错误、勾选正确的步骤,并引导你走向下一步。Penmentor只需一个按键即可实现这一点,并使用用户自己的Claude订阅。

该学习设计以提示而非答案为核心。提示阶梯由浅入深:从温和的提醒,到点明所用的解题技巧,再到下一步的淡色提示,让学生自己完成思考。反馈针对第一个真正的错误,对承袭该错误的后续步骤加下划线,并且标记会保留在页面上,直到按下Esc才清除。练习模式包括回忆题、找错题训练,以及“哪种技巧适用?”的提问。用户还可以框选任意表达式,生成可交互的manim动画,拖动边界或重新输入数值,观察黎曼和如何收敛。

Penmentor运行于现有的AI命令行代理之上,包括Claude Code、Codex和Antigravity,模型可在设置中选择。目前它支持运行X11的Linux系统,安装需要rofi、slop、xdotool和PyQt6。该项目以MIT许可证发布。

来源: Hacker News · 由HeadlinesBriefing整理摘要