محققان با معرفی فریمورک «CausalForge» قدم بزرگی در خودکارسازی تحقیقات نظری برداشتهاند. این ایجنت هوشمند که بر پایه کتابخانه ریاضی Lean ساخته شده، برخلاف مدلهای قبلی، خروجیهای خود را با اثباتهای دقیق منطقی و بازرسی انسانی ترکیب میکند تا خطاهای رایج مدلهای زبانی (LLM) در تولید محتوای علمی جعلی یا غیردقیق را به حداقل برساند.
این ابزار نه تنها موضوعات تحقیق را انتخاب میکند، بلکه اثباتهای پیچیده ارائه کرده و آنها را با ادعاهای علمی تطبیق میدهد. گامی بزرگ به سوی «دانشمندِ هوش مصنوعی» که میتواند فرآیند کشفهای علمی را متحول کند! 🧠🔬
منبع کد و مستندات این پروژه برای علاقهمندان در گیتهاب در دسترس است.
منبع: arXiv AI