We build AI agents and the software around them, and we publish research you can check. El Paso, Texas
The puzzle. Sixteen people are split into teams of five. How few teams do you need so that every group of three people shares at least one team?
The best answer anyone has found uses 65 teams (Rade Belić, 1997). Simple counting shows you need at least 61. The true number is unknown.
What we found. We proved that 61 teams cannot work, which raises the known minimum to 62. The proof is computer-assisted, and its proof files pass an independent checker.
→ covering64 has every search, proof certificate and checker, so anyone can verify the work.
- AI agents for real work. Assistants that connect to phones, files, industrial equipment and business software.
- Teaching. The Zero to Agent course at the El Paso Innovation Hub, where beginners build working AI projects in five sessions.
- Open research. Math and AI experiments, published with the evidence.
| Project | What it is |
|---|---|
| covering64 | Computer-assisted research on an open covering-design problem. |
| Zero to Agent: Course Material | Lessons and starter projects for the Zero to Agent course. |
| Course Edition apps | Open-source apps packaged for students: Invidious · Open Property · Personal Training · Listing Studio · Kanban · OpenWork · PDF Inspector |
| Android Claude Code | Run Claude Code on an Android phone, no root needed. |
| Alignment Experiment | Recreating a published AI-safety test. |
| El Paso data center policy | Draft policy work on data centers in El Paso. |
- Show the evidence. Results ship with the checks that back them up.
- Local-first. Data stays on your hardware unless you choose otherwise.
- Small, working steps. Something that runs beats something that's only designed.