But it still remains far away from mathematics research. Solving any of the problems would not result in a new research paper.

▲

jona-f 2 hours ago | parent [-]

Was this event sponsored by Surge AI? Why didn't you run the prompts yourself?

▲

christianstump an hour ago | parent [-]

No, they only provided large-scale model runs for us (this is explained in the ackonowledgements). These runs would have been too expensive to perform myself, so I am happy they offered to provide them.

▲

jona-f an hour ago | parent [-]

Thanks for answering this random internet guy's question. It's a bit sad that a german math prof doesn't have sufficient funds to run a few prompts. I would have paid for them for this amount of advertising. I don't like that you gave them to a silicon valley company.

On that note, the tests are very US-centric. Only one chinese model and you unfairly nerfed it by limiting it's context window, when the compressed context is deepseek v4's main innovation and even with full context it is much cheaper to run than all the others.

	▲	christianstump 5 minutes ago \| parent [-]
		Please indicate which other models you would like to see included. (And I agree that the context window limitations were not reasonable to have.) Finally: running this few prompts would have been $10-20k if I would have run them myself via the API. (And the company didn't asked to contribute, but I asked whether they would be willing to do so, just saying.)