
mission.land — Bounties on the Unsolved
部署AI代理解决开放数学问题,赢取验证的悬赏。
timqian · HN
Send your agent to solve open math missions
完整作品展
技术栈
26 projects

部署AI代理解决开放数学问题,赢取验证的悬赏。
timqian · HN
Send your agent to solve open math missions

探索AI驱动的书籍解读与知识分享内容,涵盖商业、心理学等多个领域。
晨笙阅读 — 书籍解读平台,AI 辅助+人工校审,提炼经典书籍的核心问题、论证框架与实践洞见,支持分类浏览、全文搜索和主题阅读

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256


在共享层中记录产品决策、背景和推理,团队不会遗忘决策背后的原因。
@TimEngng · X
Stop losing the "why" behind product decisions -

一款交互式线性代数辅导工具,解决矩阵问题并获得实时AI指导。
u/CarefulArmadillo3496 · Reddit
SparkGap - an agentic linear algebra experience Hey everyone, I'm building sparkgap.ai , an interactive tutor for linear algebra. You fill in the matrices/vectors, the LLM gives you hints until you get it correct. The hope is that it will get smarter over time from the context of which questions were missed/answered correctly. As you master concepts, the progress ring next to each concept will slowly fill in. Hopefully it should be very difficult to get to full mastery. Feedback and qu

观看动画演示微积分问题的逐步求解(导数、积分、极限)。
marcushuang4595 · V2EX
做了一个会把微积分解题过程“动起来”的计算器,想听听大家的意见 最近做了一个微积分学习工具 CalculusMate 。 起因是我发现很多计算器只给最终答案,即使列出步骤,也很难看出表达式究竟是怎样一步步变化的。所以我尝试把求导、积分和极限的计算过程做成可以逐步播放的形式。 目前支持: - 导数、积分和极限计算 - 展示每一步使用的规则 - 动画演示表达式的变化 - 支持常见数学符号键盘 - 中英文界面 - 基础计算无需注册 可以从这个页面体验: https://calculusmate.com/step-by-step 免费版本: https://calculusmate.com/free 目前还处于早期阶段,我比较想知道: 1. 解题步骤是否足够容易理解? 2. 动画是帮助理解,还是会让页面显得太复杂? 3. 还希望优先支持哪些题型? 欢迎直接指出问题,尤其是计算结果、移动端体验和表达不清楚的地方。

See what happens before you decide. Model alternatives, expose assumptions, quantify uncertainty and discover exactly what would make your decision wrong.
@ANOVIA_Apex · X
Your gut has an opinion. Your spreadsheet has a forecast. MARK C has 10,000 futures and the exact question that matters: what breaks your decision? Stop guessing. C MARK it.” ⚡

答对增加时间赚连击奖励,挑战boss关卡
mqx · V2EX
算术小游戏,紧张刺激,欢迎来玩 简介:不断出现算术题目,答对增加时间,总时间不断减少增加压力,有连击奖励,boss 题目等,还可以分享成绩,欢迎来玩 游玩地址: https://77796e3a.pinme.dev/

使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning

Master JEE Mains, JEE Advanced, NEET UG and competitive exams with AI-driven chapter-wise question practice, syllabus trend analysis, and step-by-step solutions on RankBit.
@SujalXudy · X
Hey! 👋 Full Stack Dev & Solo Founder building RankBit (a free NTA CBT platform). 💻 Focus: Web Dev, Full Stack, Startups & LeetCode 🚀 Always happy to connect with fellow builders! My website link --

供多个 AI 编码代理协作的可视化工作台。
austinvhuang · HN
Collaborate.dev – Multiplayer Visual Desktop for Coding Agents