معادلات رياضية تصف سلوك الموائع، استُخدمت مصدراً لمسألة تناولها أحد حلول OpenAI.
أطلقت OpenAI مئات البراهين الرياضية، لكن مراجعة مبادئ مجموعة AGMAI ودراسة من باحثين في كامبريدج وكينغز كوليدج كشفتا قصوراً في التوثيق والفهم البشري والتطابق بين الشروح النصية وشيفرة Lean.