“It will be the first hackathon ever devoted to research level mathematics.”
100 teams, 40 hours, open conjectures, and $2 million in prizes paid in AI credits. Not money. Credits. The mathematicians do the work, the results get peer reviewed, and the sponsors get a weekend of proof that their models belong in research. If something real gets proved, the credits were the cheapest marketing anyone ever bought.