تا به امروز، بیشتر تلاشها در زمینه «اتوفورمالیزاسیون» (تبدیل زبان طبیعی به کدهای رسمی و قابل تایید توسط ماشین) روی جملات تکعبارتی متمرکز بود. اما محققان در یک مقاله جدید، رویکرد جسورانهای را پیشنهاد دادهاند: اتوفورمالیزاسیون در سطح تئوری! 📝
این ایده به دنبال این است که به جای جملات پراکنده، کلِ یک ساختار دانش (شامل تعاریف، اصول موضوعه و لمها) را به صورت یک کتابخانه یکپارچه و ماشینی درآورد. این تغییر دیدگاه میتواند مسیر را برای تایید اثباتهای ریاضی پیچیده توسط هوش مصنوعی هموارتر کند. اگر به دنیای ریاضیات و علوم کامپیوتر علاقهمندید، بررسی این چشمانداز جدید بسیار جذاب خواهد بود. 🧐✨
منبع: arXiv AI