پژوهش
Anthropic ادعای ابطال فرضیه زمان نمایی را با اثباتی منتشر کرد که Claude یافته و در Lean بررسی شده است
Anthropic مقاله‌ای همراه با صورت‌بندی Lean 4 منتشر کرده که می‌گوید یک مدل داخلی Claude الگوریتمی قطعی و زیرنمایی برای 3-SAT پیدا کرده است؛ یافته‌ای که در صورت درستی، فرضیه زمان نمایی را باطل می‌کند. این نتیجه هنوز داوری …