هوش مصنوعی آنتروپیک قضایای پیچیده ریاضی را به زبان ماشین بازنویسی کرد

محققان آنتروپیک موفق شدند با استفاده از مدل‌های زبانی، قضیه آخر فرما را به زبان رسمی ریاضیات بازنویسی و صحت منطقی آن را از طریق کدهای کامپیوتری تایید کنند.

مقاله‌های مرتبط

• سرمایه‌گذاری ۱۱۸ میلیون یورویی در میسترال و آینده مدل‌های متن‌باز
• جاسوسی در اتاق نشیمن؛ تلویزیون‌های هوشمند ال‌جی و چالش امنیت داده‌ها
• راهکار جدید کلود این باتل برای ساده سازی میزبانی شخصی داده ها
• چالش مدیریت فایل‌های مهارتی در توسعه ایجنت‌های هوش مصنوعی
• ابزار رایگان VODForge برای دانلود باکیفیت محتوا از یوتیوب عرضه شد
• شفافیت در استدلال؛ وقتی هوش مصنوعی نقص‌های منطقی ما را برملا می‌کند