AxiomMath/IMO2026 — GitHub trending stats & insights | Trendshift

Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

Terms and conditions
Privacy policy

More

Pricing
Advertise
onedump
gosnakego
Contact us

Social

X (Twitter)
GitHub

What they build speaks louder than words

© 2026 Trendshift, created by Julian Li with ❤️

Signal Advertise

Signal Advertise

Discover trends that matter

Daily Weekly Monthly Yearly

Live mentions Topics

Repositories Developers

AxiomMath/IMO2026 — GitHub trending stats & insights | Trendshift

Featured

AxiomMath/IMO2026

Lean

77

9

4 contributors

MIT License

Social mentions

Recent discussions about this repository across the web

The International Math Olympiad (IMO) 2026, the hardest math contest for high schoolers, just ended. I ran Fable (high), Sol (xhigh), K3 (max) and Axiom against it and all got a perfect score of…

@deedydas · x.com

So...tl;dr: GPT 5.6 Sol effectively one shotted all 6 IMO problems this year. Fable 5, comparatively struggled, but was able to solve them all with right harness. Now, this may not be surprising or…

@TarikMoon · x.com

Repository activities

repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues

Featured

A lightweight, software cache cleanup tool for Windows & Linux

The fastest performing AI Control Plane · 100% Rust · Every provider & capability

open-source connector gateway for AI agents

150K+ monthly visitors

Want to advertise your product to high-intent tech audiences at a simple, flat rate?

Advertise on Trendshift