Un autre problème mathématique frontalier résolu par... ?
Ce marché répondra à « Oui » si Epoch AI marque au moins un problème FrontierMath : Problèmes ouverts supplémentaire comme « Résolu », ou déclare officiellement qu'un tel problème a été résolu, entre la création du marché et la date spécifiée à 23 h 59 HE. Sinon, ce marché se résoudra au « non ».
Tous les problèmes qu’Epoch AI a déjà classés comme résolus avant l’émission sur le marché ne pourront pas être résolus. Seuls les problèmes nouvellement classés par Epoch AI comme résolus après l'émission sur le marché peuvent être admissibles. Si Epoch AI ajoute de nouveaux problèmes à FrontierMath : problèmes ouverts après la création du marché, ces problèmes seront pris en compte pour résolution.
Ce marché sera résolu uniquement sur la base de la classification d’Epoch AI ou de la détermination officielle selon laquelle un problème admissible a été résolu, quel que soit le degré d’implication de l’intelligence artificielle. Une soumission acceptée par un vérificateur, une solution publiée publiquement, un résultat partiel ou une réclamation d'un tiers ne seront pas admissibles en soi à moins qu'Epoch AI ne reconnaisse le problème comme résolu.
La principale source de résolution sera les informations officielles d’Epoch AI, notamment https://epoch.ai/frontiermath/open-problems.
«Un autre problème mathématique frontalier résolu par... ?» est un marché prédictif sur Melbo. Le prix d’une part reflète la probabilité du résultat : sur le résultat exact, chaque part est réglée à $1, sur l’autre à $0.