۶۳ مطلب
به گفته OpenAI، مدل Astra اثباتهای خود را با هزینه محاسباتی تقریبی دو هزار دلار، بر اساس نرخ Sol API، تولید کرده و برای تمامی نتایج، گواهیهای Lean ارائه داده است؛ گواهیهایی که امکان تأیید مستقل اثباتها را از طریق کامپایلر Lean، بدون نیاز به اعتماد به مدل یا توسعهدهندگان آن، فراهم میکنند.
به نظر چت جیپیتی یک مسئله ریاضی بیش از ۶۰ سال را حل کرده است که برای مدتها نابغههای حوزه ریاضیات نیز از حل کردن آن باز مانده بودند.
مطالعهای جدید نشان میدهد که برخی کودکان در ریاضی تنها مشکل محاسبه ندارند؛ مغز آنها پس از هر اشتباه، راهکار خود را بهروزرسانی نمیکند و در چرخه تکرار خطاها باقی میماند. این یافته، نگاه والدین و معلمان به یادگیری ریاضی را تغییر میدهد.
در روزگاری که سیاست آمریکا زیر سیل تصمیمها و جنجالها دفن شده، یک ریاضیدان با نگاه آماری، آنچه را «نامرئی» مانده، قابل دیدن کرده است؛ زنی که حالا با دادهها به جنگ آشفتگی سیاسی رفته است.
نتایج آزمون PISA 2022 نشان میدهد شرق آسیا با اختلاف، معیار جهانی مهارت ریاضی است؛ جایی که سنگاپور صدرنشین است و ایالات متحده در میان ۳۵ کشور، به رتبه نگرانکننده ۳۳ سقوط کرده است.
ورود او به دانشگاه در سال ۲۰۲۱ با هدف فهم بهتر محاسبات و اصولی صورت گرفت که قبلا در کار روزمرهاش با آنها درگیر بود؛ از جمله نسبت مصالح، اندازهگیری فضاها و هندسهی سازهها. او میخواست تجربهی عملی چند دهه فعالیت در ساختوساز را به دانش علمی تبدیل کند.
آنتونیو فرانسیسکو دا سیلوا پس از چهار سال تلاش همزمان در کارگاههای ساختمانی و کلاسهای شبانه، مدرک کارشناسی ریاضی گرفت و تجربیات عملی خود را به پژوهشی علمی و کاربردی تبدیل کرد.
نتایج به دست آمده از آزمونهای بینالمللی نشان میدهند که وضعیت دانشآموزان ایرانی در حوزه ریاضی همچنان نگرانکننده است.
۳۰ سال پیش مریم میرزاخانی در المپیاد جهانی ریاضی مدال طلای رشته هندسه را دریافت کرد.
