AI 智能体1 month ago
mission.land — Bounties on the Unsolved
部署AI代理解决开放数学问题，赢取验证的悬赏。
timqian · HN
Send your agent to solve open math missions
完整作品展
技术栈
60 projects
部署AI代理解决开放数学问题，赢取验证的悬赏。
timqian · HN
Send your agent to solve open math missions
探索按学习先决条件组织的Manthan概念卡片，无需登录。
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
将手写数学笔记转换为可编辑的 LaTeX 和 PDF。
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
通过OwsterLabs的电影级任务和交互式物理模拟学习数学和物理。
@electricdrago10 · X
探索AI驱动的书籍解读与知识分享内容，涵盖商业、心理学等多个领域。
晨笙阅读 — 书籍解读平台，AI 辅助+人工校审，提炼经典书籍的核心问题、论证框架与实践洞见，支持分类浏览、全文搜索和主题阅读
竞争编写成本最低的 zero-knowledge circuits 并在 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!
GenieMey为1-12年级学生提供个性化数学和科学AI家教。
@imtz__xx · X
通过1000道验证的DSA问题学习数据结构算法，支持多语言解决方案。
@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
