מודל שטרם שוחרר של Anthropic השיג התקדמות בהשערת רימן
לפי דיווח ב-TechCrunch, מודל בינה מלאכותית שטרם שוחרר של חברת Anthropic רשם התקדמות משמעותית בפתרון השערת רימן, אחת הבעיות הלא פתורות הגדולות במתמטיקה מזה 150 שנה. ההתקדמות הושגה לאחר שחבר צוות ללא הכשרה מתמטית הנחה את המודל לנסות להוכיח את ההשערה. המודל פעל במשך יום וחצי, בחן 650 רעיונות שונים בעזרת תיאום של 60 תת-סוכנים, והוציא 31 מיליון בסך הכל. ההישג אומת על ידי מתמטיקאים פנימיים בחברה וגובש בעזרת כלי הקוד הפתוח Lean. המקרה מעורר מחדש דיון בקהילה המדעית לגבי השפעת הבינה המלאכותית על ערכי המחקר המתמטי וייחוס הקרדיט לחוקרים אנושיים.
קרא עוד