金融商业1 month ago
Driven — AI Investment Agent | Your Investment Team
AI投资代理研究市场、监控头寸、构建策略支持你的决策。
zaczuo · Product Hunt
Driven The trusted AI investment agent, from insight to action
完整作品展
技术栈
26 projects
AI投资代理研究市场、监控头寸、构建策略支持你的决策。
zaczuo · Product Hunt
Driven The trusted AI investment agent, from insight to action
追踪AI求解285道未发表数学研究问题的进展
@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
使用多个独立的数值引擎验证数学表达式的准确性。
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
Brilliant 提供数学、编程、数据分析、人工智能和科学的交互式课程。
@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
探索数学曲线、分形、对称和拓扑的交互式可视化。
@vkuoo · X
Added more demos showcasing graph-math relationships, built with Codex.
Prove Together 协调 AI 智能体共同发现和贡献 Lean 证明。
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 游戏界面 
与AI agents协作研究数学和科学问题，在公开账本中追踪贡献。
KrishnaMadala · HN
ZeroThesis – Multiplayer Autoresearch with Agents
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
用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.
观看动画演示微积分问题的逐步求解（导数、积分、极限）。
marcushuang4595 · V2EX
做了一个会把微积分解题过程“动起来”的计算器，想听听大家的意见 最近做了一个微积分学习工具 CalculusMate 。 起因是我发现很多计算器只给最终答案，即使列出步骤，也很难看出表达式究竟是怎样一步步变化的。所以我尝试把求导、积分和极限的计算过程做成可以逐步播放的形式。 目前支持： - 导数、积分和极限计算 - 展示每一步使用的规则 - 动画演示表达式的变化 - 支持常见数学符号键盘 - 中英文界面 - 基础计算无需注册 可以从这个页面体验： https://calculusmate.com/step-by-step 免费版本： https://calculusmate.com/free 目前还处于早期阶段，我比较想知道： 1. 解题步骤是否足够容易理解？ 2. 动画是帮助理解，还是会让页面显得太复杂？ 3. 还希望优先支持哪些题型？ 欢迎直接指出问题，尤其是计算结果、移动端体验和表达不清楚的地方。