دلار آمریکا (بازار آزاد)۲۶۶٬۹۰۰تومان▲ +۰٫۷۵٪یورو (بازار آزاد)۳۰۰٬۰۶۰تومان▲ +۰٫۷٪درهم امارات۷۳٬۰۲۸تومان▲ +۰٫۶۸٪تتر۲۷۱٬۰۲۴تومان▲ +۰٫۶۱٪طلای ۱۸ عیار۲۶٬۱۶۶٬۵۰۰تومان/گرم▲ +۰٫۴٪سکه امامی۲۶۶٬۱۹۰٬۰۰۰تومان▲ +۰٫۶٪مثقال طلا (آبشده)۱۱۳٬۳۴۵٬۰۰۰تومان/مثقال▲ +۰٫۴٪شاخص کل بورس تهران7,912,741.2▲ +۱٫۱۳٪نفت برنت$96.86▲ +۲٫۳۷٪نفت خام آمریکا$90.22▲ +۲٫۳۸٪سبد نفتی اوپک$96.87▲ +۱۶٫۵٪گاز طبیعی$2.966▲ +۰٫۲۴٪طلای جهانی$4,132.30▲ +۱٫۴۶٪نقره$52.81▲ +۱٪مس$6.305▼ ‎−۱٫۹۳٪شاخص دلار (DXY)101.5▼ ‎−۰٫۱۱٪یورو/دلار1.124▲ +۰٫۰۳٪شاخص اس‌اندپی ۵۰۰7,427.8▼ ‎−۳٫۳۹٪بیت‌کوین$75,917▼ ‎−۵٫۵۲٪اتریوم$2,251.39▼ ‎−۷٫۱۹٪سولانا$89.39▼ ‎−۶٫۶۳٪ریپل (XRP)$1.238▼ ‎−۵٫۶۶٪

دلار آمریکا (بازار آزاد)۲۶۶٬۹۰۰تومان▲ +۰٫۷۵٪یورو (بازار آزاد)۳۰۰٬۰۶۰تومان▲ +۰٫۷٪درهم امارات۷۳٬۰۲۸تومان▲ +۰٫۶۸٪تتر۲۷۱٬۰۲۴تومان▲ +۰٫۶۱٪طلای ۱۸ عیار۲۶٬۱۶۶٬۵۰۰تومان/گرم▲ +۰٫۴٪سکه امامی۲۶۶٬۱۹۰٬۰۰۰تومان▲ +۰٫۶٪مثقال طلا (آبشده)۱۱۳٬۳۴۵٬۰۰۰تومان/مثقال▲ +۰٫۴٪شاخص کل بورس تهران7,912,741.2▲ +۱٫۱۳٪نفت برنت$96.86▲ +۲٫۳۷٪نفت خام آمریکا$90.22▲ +۲٫۳۸٪سبد نفتی اوپک$96.87▲ +۱۶٫۵٪گاز طبیعی$2.966▲ +۰٫۲۴٪طلای جهانی$4,132.30▲ +۱٫۴۶٪نقره$52.81▲ +۱٪مس$6.305▼ ‎−۱٫۹۳٪شاخص دلار (DXY)101.5▼ ‎−۰٫۱۱٪یورو/دلار1.124▲ +۰٫۰۳٪شاخص اس‌اندپی ۵۰۰7,427.8▼ ‎−۳٫۳۹٪بیت‌کوین$75,917▼ ‎−۵٫۵۲٪اتریوم$2,251.39▼ ‎−۷٫۱۹٪سولانا$89.39▼ ‎−۶٫۶۳٪ریپل (XRP)$1.238▼ ‎−۵٫۶۶٪

همه‌ی اخبار

Axiom Math می‌خواهد AI بی‌کیفیت را از ریاضیات دور نگه دارد

TechCrunchترجمه‌ی ماشینی۱۴۰۵/۸/۱۴, ۱۹:۴۶

با اینکه AI ریاضیات را با اثبات‌های بی‌بررسی سیل می‌کند، Axiom Math روی تأیید تمرکز کرده. عامل‌های AI این استارتاپ اخیراً پروژه Stacks را که یکی از بزرگ‌ترین کتابخانه‌های این حوزه است، به صورت رسمی تأیید کرده‌اند.

منبع: TechCrunch — متن کامل در منبع