AI 智能体1 month ago
mission.land — Bounties on the Unsolved
部署AI代理解决开放数学问题，赢取验证的悬赏。
timqian · HN
Send your agent to solve open math missions
完整作品展
技术栈
20 projects
部署AI代理解决开放数学问题，赢取验证的悬赏。
timqian · HN
Send your agent to solve open math missions
使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
One hidden picture a day, same for everyone. Draw as little as you can before you name it, lower is better.
@lukkais · X
使用五个独立数值引擎通过REST API和MCP可靠地验证数学表达式
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
用AI辅助解决和协作数学问题的社交平台。
lemma1729 · HN
Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.
探索数学曲线、分形、对称和拓扑的交互式可视化。
@vkuoo · X
Added more demos showcasing graph-math relationships, built with Codex.
答对增加时间赚连击奖励，挑战boss关卡
mqx · V2EX
算术小游戏，紧张刺激，欢迎来玩 简介：不断出现算术题目，答对增加时间，总时间不断减少增加压力，有连击奖励，boss 题目等，还可以分享成绩，欢迎来玩 游玩地址： https://77796e3a.pinme.dev/
纯前端马赛克隐藏敏感图片，仅你可以还原。
mqx · V2EX
图片转马赛克网站 简介：可以把敏感的图片生成马赛克，然后发送给别人，别人再上传还原，纯前端（隐私安全） 网站地址： https://e5660498.pinme.dev/ 放一张测试图片在一楼
通过 Times Tables Workout 练习乘法表。
@amanry28 · X
I don’t know why isn’t it getting that much attention it’s actually a big deal for people who do vibe coding, for people like who develop micro apps daily. As a teacher it’s so ise to just tell students to go to and practice tables… It’s so amazing
通过交互式课程学习数学、编程、数据分析、AI和科学。
@BruceWayne95290 · X
just leaving a comment cause its 1am and im vibe coding, will come back tomorrow (on an alt account for open claw fyi) I've worked with the following brands: vytadose, bajabeachco, jaje health, eric javits, 4knines, welleco, coatdefence
FreetCode：免费练习算法面试题，带解法和互动可视化。
@Galliard232634 · X
Come study with me on
SparkGap：交互式线性代数导师，求解矩阵问题并获得实时 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