MolLean يُلزم نماذج LLM بالتحقق من الكيمياء: تفوق في 12 مهمة من أصل 12

غالبًا ما تبدو الاستدلالات الكيميائية لنماذج اللغة مقنعة، ومع ذلك تتضمن ادعاءات مختلقة: يصف النموذج بثقة بنية غير موجودة، أو ينسب إلى جزيء خصائص لا يمتلكها. يقترح مؤلفو MolLean التحقق من هذه الادعاءات برمجيًا. فقد أنشأوا لغة يمكن التحقق من عملية الاستدلال فيها، تُربط كل خطوة بحالة جزيئية صريحة وتمر عبر نواة مبنية على Lean. وعلى 8 800 مثال مزدوج من 12 مهمة مع نموذج Qwen3.6-27B، تفوّق نمط تنقيح المسار الكامل على chain-of-thought التقليدي في كل مهمة.

الجزيء كحالة لا يمكن إفسادها

في chain-of-thought التقليدي يكتب النموذج استدلاله نصًّا، ولا أحد يتحقق من مطابقته للجزيء الفعلي. أما في MolLean فيتحول الاستدلال إلى مسار قابل للتنفيذ. توجد حالة جزيئية راهنة، وتغيّرها كل خطوة وفق قواعد صارمة.

تتألف النواة من طبقات. في الأسفل توجد التعديلات الأولية على الرسم البياني الجزيئي، وفوقها تُبنى تحويلات مركّبة. وفوق ذلك تعمل ادعاءات تتعلق بالمؤشرات الجزيئية. وإذا زعم النموذج أن الجزيء اكتسب بعد التعديل مجموعة معينة أو تغيّر فيه مؤشر ما، فإن النواة تطابق هذا الزعم مع الحالة ولا تصدّقه بمجرد قوله.

تُعتمد قاعدة مهمة: الإجراء المرفوض يترك الحالة دون مساس. فالخطوة الخاطئة لا تلوّث بقية الاستدلال. يتلقى النموذج رفضًا ويجرّب خطوة أخرى من النقطة نفسها.

شهود للقياسات الخارجية

لا يمكن استنتاج كل شيء في الكيمياء من بنية الرسم البياني. فبعض الخصائص تأتي من حسابات أو قياسات خارجية. ولكي لا يختلط الموثوق بما يُؤخذ على سبيل التسليم، أدخل المؤلفون بروتوكول الشهود المنمّطة (typed witnesses). يفصل هذا البروتوكول بين الفحوص البنيوية الأصلية التي تجريها النواة بنفسها، والبيانات التي تأتي من الخارج.

نتيجة ذلك أن المسار يُظهر أي الادعاءات أُثبتت داخل النظام وأيها يستند إلى مصدر خارجي. وهذا فرق جوهري في التدقيق: يرى المراجع أو الكيميائي فورًا أين التحقق صارم وأين فُوّضت الثقة.

ثلاثة أنماط و8 800 مثال

يوفّر MolLean ثلاثة أنماط للعمل:

• تنفيذ المسار دفعة واحدة: يكتب النموذج الاستدلال كله وتشغّله النواة؛
• تنقيح المسار الكامل: بعد التحقق يتلقى النموذج النتيجة ويعيد كتابة الاستدلال بأكمله؛
• النمط التفاعلي عبر MolLean-MCP: يعمل النموذج خطوة بخطوة ويتلقى التغذية الراجعة أثناء التوليد نفسه.

يمثّل MolLean-MCP واجهة أدوات ذات حالة (stateful). فهي تعرض للنموذج الانتقالات بين الحالات ونتائج الفحوص والمؤشرات الجزيئية. وبناءً عليها يقرر النموذج ما سيكون الإجراء التالي.

أُجريت المقارنة مع chain-of-thought المباشر على 8 800 مثال مزدوج. تغطي هذه الأمثلة 12 مهمة: توليد الجزيئات وتعديلها وتحسينها والتفاعلات. والنموذج الأساسي هو Qwen3.6-27B.

أبرز النتائج:

• تنقيح المسار الكامل أفضل من chain-of-thought المباشر في المهام الـ12 كلها؛
• يكمّل MolLean-MCP هذا النمط بتغذية راجعة خطوة بخطوة؛
• في مهام التفاعلات يحقق النمط التفاعلي أفضل نتيجة.

والنقطة الأخيرة منطقية. فالتفاعل يتكون من سلسلة تحويلات، وأي خطأ مبكر فيها يُفسد كل ما بعده. والتحقق بعد كل خطوة يلتقط الخطأ فورًا، لا في المراجعة النهائية للمسار كله.

أين يفيد هذا عمليًا

يبدو نموذج بـ27 مليار معامل هنا أقرب إلى عرض توضيحي: فطبقة التحقق لا تعتمد على حجم النموذج، ويمكنها مرافقة نماذج LLM أخرى. وبالنسبة إلى الفرق التي تبني مساعدين للكيمياء الطبية أو لتخطيط التخليق، يقترح هذا النهج بنية محددة. فالنموذج ينبغي ألا يكتفي بإنتاج نص، بل أن يستدعي أدوات تحفظ الحالة وترفض الخطوات غير المقبولة.

أما بالنسبة إلى مطوري الوكلاء، فالنمط نفسه مفيد. فالحالة المعاملاتية مع التراجع عن الإجراءات المرفوضة، ونواة التحقق الصورية، والفصل بين الفحوص الذاتية والبيانات الخارجية، كلها يمكن نقلها إلى مجالات أخرى يكون للاستدلال فيها معنى صوري. ومن هذه المجالات علم المواد والأحياء وتصميم الدارات.

والقيود واضحة أيضًا. فقد قيس المكسب على نموذج واحد وعلى مجموعة محددة من 12 مهمة. ولا يزال التحقق من القياسات الخارجية يعتمد على جودة تلك القياسات نفسها. لكن التحول في النهج لافت: فالادعاءات الكيميائية للنموذج تتحول من نص حرّ إلى التزامات يمكن التحقق منها ومراجعتها.