OpenAI טוענת שמערכת הבינה המלאכותית שלה הפרכה את השערת הזמן האקספוננציאלי ב-3-SAT. הטענה נמצאת בבדיקה; הגבול Lean-verified שלה חלש יותר מהתוצאה החדה ביותר של המאמר ואינו מבסס מתקפה מעשית של ביטקוין.
OpenAI טוענת שמערכת הבינה המלאכותית שלה הפרכה את השערת הזמן האקספוננציאלי ב-3-SAT. הטענה נמצאת בבדיקה; הגבול Lean-verified שלה חלש יותר מהתוצאה החדה ביותר של המאמר ואינו מבסס מתקפה מעשית של ביטקוין.
רוצים לראות את כל הדיווחים בזמן אמת?
מאות מקורות מכל העולם, מתורגמים לעברית, עם התראות על מה שחשוב לכם.
התחברו בחינם כבר רשומים? כניסה