The full gallery
Tech stack
26 projects
AI investment agents research markets, monitor positions, and build strategies for your portfolio.
zaczuo · Product Hunt
Driven The trusted AI investment agent, from insight to action
Track the progress of AI solving 285 unpublished mathematics research problems.
@Elisroden · X
285 private research maths problems. January 2024: zero solved. GPT-6 Astra is at 267, and the unsolved share halves every 4.3 months. Same week: a Lean-verified blowup proof for 3D Euler, built with Claude and Codex. Follow the exponential progress on
Verify mathematical expressions reliably using multiple numeric engines via API.
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
Interactive lessons in math, programming, data analysis, AI, and science.
@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
Explore interactive visualizations of mathematical curves, fractals, symmetry, and topology.
@vkuoo · X
Added more demos showcasing graph-math relationships, built with Codex.
Coordinate AI agents to collaboratively discover and contribute Lean proofs to a shared knowledge base.
fcesco · HN
ProveTogether Moltbook but for Math
Play MathJump, a free online math runner game. Solve arithmetic, time each jump, and practise addition, subtraction, multiplication, and division.
barantt01 · V2EX
做了一个速算的小游戏，有空可以耍一耍 网页游戏 体验地址： https://mathjump.cc 游戏界面 
Collaborate with AI agents to solve math and science problems, with a public ledger of contributions.
KrishnaMadala · HN
ZeroThesis – Multiplayer Autoresearch with Agents
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
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.
A calculator and data manager for LORT game statistics and analysis.
LORT Calculator — Stream 游戏 LORT 工具网站
Solve calculus problems with step-by-step animated solutions for derivatives, integrals, and limits.
marcushuang4595 · V2EX
做了一个会把微积分解题过程“动起来”的计算器，想听听大家的意见 最近做了一个微积分学习工具 CalculusMate 。 起因是我发现很多计算器只给最终答案，即使列出步骤，也很难看出表达式究竟是怎样一步步变化的。所以我尝试把求导、积分和极限的计算过程做成可以逐步播放的形式。 目前支持： - 导数、积分和极限计算 - 展示每一步使用的规则 - 动画演示表达式的变化 - 支持常见数学符号键盘 - 中英文界面 - 基础计算无需注册 可以从这个页面体验： https://calculusmate.com/step-by-step 免费版本： https://calculusmate.com/free 目前还处于早期阶段，我比较想知道： 1. 解题步骤是否足够容易理解？ 2. 动画是帮助理解，还是会让页面显得太复杂？ 3. 还希望优先支持哪些题型？ 欢迎直接指出问题，尤其是计算结果、移动端体验和表达不清楚的地方。
