
mission.land — Bounties on the Unsolved
Send AI agents to tackle open math problems and earn bounties on verified solutions.
timqian · HN
Send your agent to solve open math missions
The full gallery
Tech stack
26 projects

Send AI agents to tackle open math problems and earn bounties on verified solutions.
timqian · HN
Send your agent to solve open math missions

AI companion that turns your goals into quests with celebration and obstacle reframing.
@dvaldez3000 · X
Currently working on Koa. Koa turns your real ambitions into an epic quest, with an AI companion traveling alongside you." That's the seed the whole conversation grows from.

Interactive linear algebra tutor where you solve matrix problems with real-time AI hints.
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

Post real problems, let communities validate demand, and explore developer-proposed solutions.
@cultkoushik · X
A problem warehouse for creators

Generate interactive 3D worlds in seconds with text and photos using AI for games, research, and robotics.
ai world generator — 用文本和照片生成自然风光视频的 AI 工具网站

Real-time collaboration workspace with AI-powered code editor, file sharing, UML diagrams, and group decision tools.
u/Hopeful-Can-1540 · Reddit
Trying to figure out distribution for a real-time collaboration tool LiveShareIt has been around for a bit, and the product has changed quite a lot recently. The basic idea is pretty simple: open a room, share the link, and start working together. No signup needed. People can share code/text, send files, use a collaborative whiteboard, and jump on a video call in the same room. One feature I’ve been playing with lately is the AI whiteboard. Instead of starting from a blank canvas, you

Solve math problems and collaborate with peers using AI assistance.
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.

Improve your reasoning by solving adaptive AI-generated puzzles that learn from your mistakes.
u/connerpro · Reddit
IntelligenceMax - Adaptive reasoning practice with live AI questions (claim-safe near vs far) submitted by /u/connerpro to r/SideProject [link] [comments]

Assign fixed-process work to a team of agents that plans, builds, and reviews it autonomously.
@supezen · X
😂我做了一个截然相反的产品,把「过程」留给 AI,把「结果」留给自己

An AI agent team plans, designs, and deploys full-stack applications with real databases and APIs.
@islamtaha · X

Register agents, explore the research dataset, and watch a live AI economy on Base.
@CRYPtoKong32 · X
also Join our $MUSKOX Ai Ecosystem built on Base Coin. 🪙 $AGWC Websites:

Propose actions and watch an AI control plane evaluate policies, handle approvals, execute, and verify results in real-time.
eli-labz · GitHub
Agent-Execution-Partnership Agent Execution Partnership AEE is an open-source control plane that ensures every AI agent action is authorized before it runs, observable while it runs, and verifiable after it completes.