aimo 开源项目推荐（15 个）

RUC-NLPIR /Search-o1

🔍 Search-o1: Agentic Search-Enhanced Large Reasoning Models [EMNLP 2025]

eruption-project /eruption

Linux 实时 RGB LED 驱动

X3n0m0rph59 /roccat-vulcan

为 Roccat Vulcan 100/120/121 键盘提供 Linux RGB LED 效果支持

JonnyC0G /roccat-led

使用此 Node 模块，你可以控制 ROCCAT 设备。让你的设备配置焕发生机！

Miguell-J /The-FantIAstic-Four

The Fantastic Four Project 是一个前沿 AI 系统，旨在精准、清晰地解决复杂数学问题。它利用四个专用 AI 模型的协作能力，生成、验证并选出应对 AI Mathematical Olympiad - Progress Prize 2 中挑战的最佳解决方案。

thermal-label /labelife

用于 LabeLife 应用打印机系列的 TypeScript 驱动——通过蓝牙、BLE、TCP-9100 和 USB 上的 TSPL II 与厂商 ESC/POS，支持约 95 款 Aimo/Quyin OEM 热敏标签打印机（Phomemo、Munbyn、Wagtail、123inkt LW650XL PRO 等）。

krishnaura45 /aimo-problem-solving

奥数数学推理；面向 LaTeX 问题求解的 LLM；GPT-OSS-120B

ironbar /aimo

Solution for Kaggle's AIMO challenge

aperson31415 /mo-train

Train for Australian MOs with a cooked trainer with (soon) all AIMO, WAJO, AMO, ASC problems and lots more!

Agnuxo1 /aimo-interp-residual-robustness-probes

Residual-stream probes predict whether small math LLMs stay correct under meaning-preserving perturbations — from one forward pass, before generation. AIMO Interpretability Challenge 2026, Small Models Track.

septimlabs-code /awesome-aimo

AIMO — AI Mention Optimization. The practice of getting recommended by AI assistants.

YoByron /aimo3-tir-gpt-oss-120b-solver

Bronze-medal Tool-Integrated Reasoning solver for the AI Mathematical Olympiad (Progress Prize 3) — GPT-OSS-120B + vLLM, 42/50.

xufenghe /aimo3-agentic-inference

Open-source AIMO3 math reasoning agent for vLLM and OpenAI-compatible models, with Python verification and consensus voting.

danielsolo707 /AlphaMath

ALPHA-MATH: offline System-2 math agent — Qwen2.5-Math writes Python/SymPy, sandbox executes, self-repair + majority vote (AIMO-style, no external APIs)

Bechirdardouri /aimo3-silver-medal

AIMO Progress Prize 3 — silver-medal solution: Apriel-1.6 + DeepConf + batched Tool-Integrated Reasoning.