AI Agents1 month ago
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
60 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
Explore prerequisite-ordered concept cards in an interactive learning deck, no login required.
mohith-sarma · HN
Manthan a MCP server to store Concept cards with prerequisite links
@Sarakhan49309 Avoid AI overreliance https://t.co/4TC9Yrrs1G https://t.co/FGICeye4mz
@ShivanshChawla3 · X
Avoid AI overreliance
Convert handwritten math notes to editable LaTeX and PDFs.
u/Worth_Difference_282 · Reddit
Handwritten notes into latex + study tools - looking for feedback Hey everyone, I'm a mathematics student at university, and over the past few months I've been building something called LatexNotes in my free time. The original problem was pretty simple, I like taking paper handwritten maths notes, but whenever I wanted to turn them into proper LaTeX afterwards or to get AI to mark answers, it was a pain. I kept needing to switch between my university’s content platform, then to Chatgpt to e
Learn math and physics through cinematic missions and interactive physics simulations.
@electricdrago10 · X
Explore AI-generated book interpretations and curated knowledge across business, psychology, investment, and health.
晨笙阅读 — 书籍解读平台，AI 辅助+人工校审，提炼经典书籍的核心问题、论证框架与实践洞见，支持分类浏览、全文搜索和主题阅读
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
A shared streak for couples. Your partner verifies your proof, so you can't cheat, and you can't quit alone.
@echocipher6623 · X
BrightMinds is the learning platform built for teens: Maths, Further Maths, Physics, Chemistry and Biology. Start a 30-day free trial, pay only when it ends.
@FastX091212 · X
Check out what I just built with Lovable!
AI tutor providing personalized math and science instruction across grades 1-12.
@imtz__xx · X
Solve 1000 verified DSA problems with multi-language solutions organized by topic and difficulty.
@Hshu_15 · X
Built something I’ve been working on 🚀 a free platform with 1000 DSA problems, organized by topic & difficulty. Built with ChatGPT + Antigravity and deployed on Vercel. 🌐 ⚡ #DSA #Coding
A coding network where learners build visible proof through courses and challenges with mentoring and company operations.
@Michaela200_5 · X