Lean 4

האם ה-AI של OpenAI היא שפתרה אותה ראשונה? בעיית מנגנון הזרימה של נאבייה-סטוקס.

סערה מתמטית: האם סוכני OpenAI פתרו ראשונים בעיה סבוכה?

הקהילה המתמטית סוערת עקב טענות לאיומים, שימוש בקוד סודי מ-Codex ועוד - לאחר הכרזה דרמטית של החברה על פתרון אלגוריתמי לאחת מהבעיות המתמטיות המורכבות בהיסטוריה ● מאבק היוקרה בין ענקיות ה-AI נוסק

אירועים קרובים