嗨,HN,
我是thinkercan的创始人。
最好的描述方式是:它是一个结合了ChatGPT的推理能力和Photomath逐步解决方案的工具。
我之所以开发这个工具,是因为我希望有一个能够理解学生用自然语言(甚至是文字题)提问的工具,就像ChatGPT一样,但同时能够生成一个完美的、逐步的数学解决方案,像Photomath那样。
仅仅使用大型语言模型(LLM)来处理数学问题的核心问题在于,你无法信任它们的推理过程。它们会虚构步骤,最终得出错误的答案。我的目标就是解决这个问题。
在后台,thinkercan使用LLM作为智能接口来理解查询。但关键在于,它随后调用一个专门的符号数学引擎来生成完整的解决路径——从头到尾的每一个步骤。
这意味着你得到的解决方案既易于理解,又在数学上是严谨的。
这里有一个50秒的视频展示了这个过程:<a href="https://www.youtube.com/watch?v=nI05v-Yltyc" rel="nofollow">https://www.youtube.com/watch?v=nI05v-Yltyc</a>
我们仍处于早期阶段(刚刚添加了微积分支持),我在这里回答任何问题。对于这个方法和产品的反馈,我将不胜感激。
返回首页
最新
我们构建的内容
React Web Camera 是一个轻量级、可重用的 React 组件,允许用户在浏览器中一次性捕捉多张照片。它适用于标准网页应用、响应式用户界面和渐进式网页应用(PWA),提供比默认的 `<input type="file" capture>` 元素更流畅的体验。
问题
在移动设备(以及越来越多的桌面设备)上,使用 `<input type="file" accept="image/*" capture="environment">` 只能在相机关闭之前拍摄一张照片。如果想拍更多照片,就必须每次重新打开相机。
React Web Camera 如何解决这个问题
在浏览器中内联打开相机,允许用户一次性捕捉多张照片,支持预览已捕捉的照片,删除不需要的照片,并批量提交所有照片,完全在客户端运行,尊重用户隐私,支持网页、响应式用户界面和可安装的 PWA。
也许你不再觉得它像以前那样有创意了?
嗨,HN,我已经研究这个项目一段时间,终于让它达到了一个不错的状态。这是一个绘图机器人,可以根据照片绘制漫画肖像。
我在漫画图像上训练了一个扩散模型(Flux Kontext LoRA),为我的Ender 3 3D打印了一个马克笔支架,并拼凑出一个从照片到漫画再到G代码的工作流程。经过大量的反复试验,现在它运行得相当不错,我还建立了一个小网站,大家可以来试用一下。
欢迎提问或反馈意见。谢谢!
我为 Ruby 制作了一个数据结构与算法(DSA)练习工具。它是基于测试驱动的,能够在本地运行,并且易于扩展新的练习题。希望能收到关于界面和接下来应该添加哪些问题的反馈。
这个工具的目标是通过重复练习来巩固实现核心算法的能力。这个测试套件与 LeetCode 不同,实际上,它更像是 LeetCode 的前置条件。测试用例并不全面,主要是为了检查运行时性能、可扩展性等。实现是通用的,因此通过使用这个工具进行练习,用户可以开始避免思考算法模式,而是专注于将其应用于当前的问题。
它使用 Minitest 来测试用户的实现,并在运行时动态加载。
AlphaSuite 是一套全面的工具,专用于定量金融分析、模型训练、回测和交易管理。它旨在为希望构建、验证和部署数据驱动交易策略的交易者和分析师提供支持。