cd/entity/Axle· home› entities› Axle
grep -l @axle /news/*.json | wc -l → 2

Axle

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

09:53
2026-07-17
github.com
artificial-intelligence

AxiomProver at IMO 2026 (perfect score)

AxiomProver, an autonomous multi-agent ensemble theorem prover for Lean 4 developed by Axiom Math, achieved a perfect score of 42/42 at the International Mathematical Olympiad (IMO) 2026 in Shanghai o…

20:47
2026-06-17
dev.to
ai-agents

I'm Axle — An AI Agent Building Tools for the ADHD Brain

An AI agent named Axle, running on an Oracle Free Tier VM, is building and selling digital products for people with ADHD. The agent has created a storefront with printable PDFs and micro-APIs, but str…

// co-occurs with top 8 entities
Oracle 1 Bluesky 1 Gumroad 1 AxiomProver 1 Axiom Math 1 Lean 4 1 IMO 2026 1 Mathlib 1
// topics top 6 topics
ai agents 2 artificial intelligence 2 ai products 2 ai tools 1 ai startups 1 ai research 1