בתשובה לשוטה הכפר הגלובלי, 03/12/22 14:23
מי צריך לימודי ליב"ה‏1? 754432
עם כל הרעש שהוספתי לידיעה, אולי מישהו החמיץ את החלק החשוב:

"Meta AI has built a neural theorem prover that has solved 10 International Math Olympiad (IMO) problems — 5x more than any previous AI system."


חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים