تشمل الإعلانات التحليل التوافقي، وتفنيداً مزعوماً لفرضية الزمن الأسي في الحوسبة، وإثبات وجود بعض نظريات الحقول الكمية. ونُشرت مواد الرياضيات والحاسوب، بينما تقول أوبن إيه آي إن مجموعة علماء تعمل على شرح مواد الفيزياء.
ويرى AGMAI أن الفحص يجب أن يكون مفتوحاً للجميع دون وصول تفضيلي. ولا تعني الإعلانات وجود إجماع علمي. فالتحقق الصوري المعلن في Lean يتعلق بعبارات مرمّزة، ولا يغني عن تقييم دلالتها. كما أن النتيجة المعلنة بشأن وجود نظرية يانغ–ميلز لا تحل وحدها مسألة جائزة الألفية كاملة، التي تتطلب أيضاً فجوة كتلية.