"Conjecture Hunters team on AMD Developer Hackathon: ACT II Hackathon"

Team Idea

Motor evolutivo con Gemma en MI300X que ataca 20+ conjeturas matemáticas en paralelo, buscando refutar contraejemplos verificables.

Team Members

Unknown Hacker

ofidenciotirado58946

Submission

Conjecture Hunters

Gemma (on AMD MI300X) proposes graphs; an exact Rust evaluator certifies them. This AlphaEvolve-style engine refuted and improved the open 2018 Jia-Song conjecture with an un-gameable integer certificate, and runs a 20-conjecture parallel swarm.