GoogleのGemini、OpenAI、XAIのAPIを使用して国際数学オリンピック(IMO)の問題を解決するためのAIエージェントシステム。
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。