هابی‌تکستHUBBYTEXT اپ کانال اختصاصی بساز
آی‌تی و برنامه‌نویسی

انتشار ۷۰۰ اثبات ریاضی توسط OpenAI در گیت‌هاب

شرکت اوپن‌ای‌آی در اقدامی تازه حدود ۷۰۰ اثبات ریاضی را در پلتفرم گیت‌هاب منتشر کرد. این مخزن اطلاعاتی شامل مقالات پیش‌نچاپ و مستندات تخصصی در حوزه ریاضیات پیشرفته است. توسعه‌دهندگان و پژوهشگران اکنون می‌توانند به این مجموعه ارزشمند برای تحقیقات خود دسترسی داشته باشند. این اقدام بخشی از تلاش‌های گسترده‌تر برای اشتراک‌گذاری دستاوردهای علمی و هوش مصنوعی به شمار می‌رود. جزئیات بیشتر درباره این مخزن در صفحه رسمی اوپن‌ای‌آی در دسترس کاربران قرار گرفته است.
منبع: Hacker News

خبرهای مرتبط RELATED

آی‌تی و برنامه‌نویسی
گزارش وضعیت توسعه‌دهندگان در سال ۲۰۲۶ نشان می‌دهد که نزدیک به نیمی از ۵۴۶۳ شرکت‌کننده در این نظرسنجی با ناامنی شغلی و دستمزدهای ناکافی دست‌وپنجه نرم می‌کنند. همچنین یک چهارم پاسخ‌دهندگان سابقه تعدیل نیرو در دوران کاری خود را داشته‌اند و حدود یک دهم آن‌ها در ۹ ماه گذشته شغل خود را از دست داده‌اند. حدود دو سوم توسعه‌دهندگان اخیراً احساس کاهش انگیزه و بدبینی کرده‌اند و نیمی دیگر با مشکلاتی نظیر عدم تمرکز و فرسودگی شدید روبه‌رو بوده‌اند. در حوزه هوش مصنوعی نیز نظرات به‌ شدت دوقطبی است؛ به‌طوری‌که ۴۹ درصد نگاه مثبت و ۴۲ درصد نگاه منفی به این فناوری دارند. گروه‌های اقلیت مانند زنان و افراد دارای اتیسم هم بیشتر در معرض تبعیض و فشارهای کاری قرار داشته‌اند.
منبع: Hacker News
آی‌تی و برنامه‌نویسی
شرکت اوپن‌ای‌آی در تاریخ ۲۳ سپتامبر ۲۰۲۶ از دستاورد جدید خود در زمینه بهینه‌سازی محاسبات ریاضی و ضرب اعداد صحیح رونمایی کرد. این پژوهش که در قالب یک پیش‌نشر ریاضی منتشر شده است، به بهبود پردازش و محاسبات کمتر از حد معمول در مسائل ریاضی می‌پردازد. اوپن‌ای‌آی با انتشار این مستند در مخزن گیت‌هاب خود، جزئیات مربوط به الگوریتم‌های جدید ضرب اعداد صحیح را در اختیار پژوهشگران قرار داد. این دستاورد گامی مهم در جهت ارتقای توانایی‌های هوش مصنوعی در حل مسائل پیچیده ریاضی و محاسباتی به شمار می‌رود. جزئیات کامل این پژوهش و کدهای مربوطه از طریق وبسایت اوپن‌ای‌آی و صفحه گیت‌هاب آن قابل دسترسی است.
منبع: Hacker News
آی‌تی و برنامه‌نویسی
شرکت اوپن‌ای‌آی (OpenAI) گزارشی درباره پیشرفت‌های اخیر هوش مصنوعی در حوزه ریاضیات منتشر کرده است. این مقاله به بررسی چگونگی کمک فناوری‌های هوش مصنوعی به حل مسائل پیچیده ریاضی می‌پردازد. این موضوع در انجمن‌های تخصصی مانند هکربایتر مورد بحث و بررسی قرار گرفته است. این پیشرفت‌ها نشان‌دهنده توانمندی‌های جدید مدل‌های زبانی در درک و حل ساختارهای منطقی و محاسباتی است.
منبع: Hacker News
آی‌تی و برنامه‌نویسی
نرم‌افزار «پنگوئن میل» به عنوان یک کلاینت ایمیل متن‌باز برای سیستم‌عامل لینوکس با نسخه ۱.۰.۰ منتشر شد. این برنامه که تحت مجوز GPL-3.0 عرضه شده، از تمامی حساب‌های کاربری نظیر جیمیل، اوت‌لوک و سرویس‌های مبتنی بر IMAP و POP3 پشتیبانی می‌کند. از ویژگی‌های کلیدی این ابزار می‌توان به مدیریت یکپارچه تقویم و مخاطبین، قابلیت رمزنگاری GnuPG و دسته‌بندی خودکار ایمیل‌ها اشاره کرد. این نرم‌افزار بدون تبلیغات و ردیابی فعالیت می‌کند و به کاربران اجازه می‌دهد با استفاده از هوش مصنوعی محلی، پرسش‌های خود را درباره ایمیل‌های دریافتی مطرح کنند. همچنین امکان زمان‌بندی ارسال پیام و استفاده از قابلیت‌های امنیتی برای جلوگیری از هرزنامه در آن پیش‌بینی شده است.
منبع: Hacker News
آی‌تی و برنامه‌نویسی
نسخه ۳.۱۵ پایتون در آستانه انتشار رسمی قرار گرفته و ارزیابی‌های عملکردی روی نسخه آزمایشی آن آغاز شده است. پژوهشگران برای سنجش سرعت این مفسر، از دو برنامه نمونه برای محاسبه دنباله فیبوناچی با استفاده از بازگشت و مرتب‌سازی حبابی بهره برده‌اند. این ارزیابی‌ها شامل حالت‌های تک‌رشته‌ای و چندرشته‌ای چهار موازی است تا کارایی پردازش موازی نیز بررسی شود. علاوه بر نسخه‌های مختلف پایتون از جمله ۳.۱۰ به بعد، مفسر پای‌پای و زبان‌های جاوااسکریپت و روست نیز در این ماتریس مقایسه قرار گرفته‌اند. هدف از اجرای این بنچمارک غیررسمی، درک شهودی تغییرات عملکردی بین نسخه‌های مختلف پایتون عنوان شده است. این بررسی‌ها به دلیل ماهیت برنامه‌ها شامل کدهای وابسته به ورودی و خروجی نمی‌شود. نتایج کامل و نمودارهای مقایسه‌ای این ارزیابی‌ها به توسعه‌دهندگان کمک می‌کند تا شناخت بهتری از سرعت مفسر جدید داشته باشند.
منبع: Hacker News
آی‌تی و برنامه‌نویسی
شرکت OpenAI رابط برنامه‌نویسی جدیدی با نام Decisions API را در مرحله بتای عمومی عرضه کرد. این ابزار که در حال حاضر از مدل gpt-6-luna پشتیبانی می‌کند، قادر است متن و تصاویر را با سرعتی ۱۰ برابر بیشتر از Responses API تحلیل کرده و پاسخ‌های ساختاریافته ارائه دهد. کاربران می‌توانند از این رابط برای طبقه‌بندی محتوا، اولویت‌بندی وظایف و بررسی آسیب‌های احتمالی در تصاویر محصولات استفاده کنند. خروجی این API شامل احتمالات عددی یا انتخاب از میان گزینه‌های از پیش تعیین‌شده است که به توسعه‌دهندگان در تصمیم‌گیری‌های خودکار کمک می‌کند. این سرویس در حال حاضر از طریق یک درگاه اختصاصی در دسترس است و انتظار می‌رود در هفته‌های آینده به صورت عمومی و نهایی منتشر شود.
منبع: Hacker News
📲 کانال اختصاصی علایق خودت را رایگان بساز