ابزارها و کاربردهای هوش مصنوعی

🤖 دو سرویس ابری برای کارهای AI

🔹 Superserve.ai
بیشتر شبیه یک کامپیوتر ابری مخصوص AI Agentهاست؛ محیط لینوکس ایزوله می‌دهد که Agent می‌تواند داخلش کد اجرا کند، فایل بسازد، پکیج نصب کند و ابزارهای مختلف را اجرا کند.

🔹 Deepnote.com
بیشتر شبیه Google Colab پیشرفته است؛ برای اجرای Python، پروژه‌های AI، تحلیل داده و استفاده از GPUهای ابری مثل T4 و L4.

📌 خلاصه:
Superserve → کامپیوتر ابری برای Agent
Deepnote → محیط ابری برای Python و AI

هر دو برای اجرای پروژه‌های AI کاربرد دارند، ولی VPS معمولی مثل Hetzner یا Contabo نیستند.


رایگان بدون نیاز به کردیت کارت
#معرفی_سایت
#هوش_مصنوعی

مدل GPT-6 Astra یک پیام رادیویی ۱۰۸ ساله را رمزگشایی کرد! 📻

گزارش‌ها می‌گویند GPT-6 Astra موفق شده یک پیام رادیویی رمزنگاری‌شده آلمانی از سال ۱۹۱۸ را رمزگشایی کند؛ پیامی که ظاهراً تا امروز راه‌حل شناخته‌شده‌ای برای آن وجود نداشته است.

متن به‌دست‌آمده تقریباً این معنا را دارد:

««یک رزم‌ناو انگلیسی در ۲۴ام وارد سواستوپول شد؛ یک اسکادران متفقین نیز در ۲۶ام در پی آن می‌آید.»»

🔍 جالب‌تر اینکه Astra نتیجه را با اطلاعات تاریخی مقایسه کرده و به HMS Canterbury رسیده؛ لاگ کشتی نشان می‌دهد این رزم‌ناو در ۲۴ نوامبر ۱۹۱۸ وارد سواستوپول شده و در ۲۶ نوامبر نیز ورود یک اسکادران متفقین ثبت شده است.

یعنی مدل فقط یک متن احتمالی تولید نکرده؛ نتیجه رمزگشایی را با یک سند تاریخی مستقل تطبیق داده است.

البته این موضوع هنوز به معنی اثبات قطعی «اولین رمزگشایی» نیست و جزئیات روش و ادعای مستقل‌بودن نتیجه همچنان جای بررسی دارد.

اگر این نتیجه تأیید شود، یکی از نمونه‌های جالب استفاده از AI برای رمزگشایی و پژوهش تاریخی خواهد بود. 🧠📜

🔍شرکت Google قابلیت استدلال در پس‌زمینه را به Gemini Live اضافه کرد! 🤖

حالا Gemini 3.8 Live می‌تواند هم‌زمان با ادامه‌ی مکالمه صوتی، در پس‌زمینه سراغ ابزارها برود و کارهای چندمرحله‌ای را از طریق API انجام دهد؛ بدون اینکه جریان گفتگو متوقف شود. 🎙️

🔹 پردازش تصاویر تقریباً به‌صورت لحظه‌ای
🔹 پشتیبانی از جابه‌جایی بین ۹۷ زبان در طول مکالمه
🔹 اجرای هم‌زمان ابزارها و وظایف چندمرحله‌ای
🔹 نسخه Extended Thinking برای درخواست‌های پیچیده‌تر صوتی

📊 در ارزیابی‌های اعلام‌شده، نسخه Extended Thinking امتیاز 82.6 را در Speech to Speech Quality Index و 97.7٪ را در Big Bench Audio کسب کرده است.

این مدل‌ها حالا در Gemini API و Google AI Studio در دسترس هستند و نسخه Extended Thinking به Gemini Live و برخی سرویس‌های Google نیز راه پیدا کرده است.

یعنی Gemini می‌تونه در حالی که هنوز با شما حرف می‌زنه، پشت‌صحنه کارهای پیچیده رو هم انجام بده. 👀

🤖 Google،
مدل Gemini را به ویندوز آورد! 💻

اپلیکیشن دسکتاپ Gemini حالا روی Windows 10 و 11 اجرا می‌شود و می‌توانید با میانبر Alt + Space آن را روی اسناد و سایر برنامه‌ها باز کنید.

🔹 اتصال به Gmail و Google Drive
🔹 پشتیبانی از Gemini Spark برای انجام کارهای چندمرحله‌ای
🔹 تولید تصویر و ویدیو
🔹 دسترسی سریع از روی محیط ویندوز

البته مثل همیشه، پاسخ‌های Gemini را باید قبل از استفاده برای کارهای مهم بررسی و راستی‌آزمایی کرد. 🔍

به‌نظرتون Gemini روی ویندوز می‌تونه تبدیل به یکی از ابزارهای اصلی کار روزمره بشه؟ 👀

🤖 OpenAI،
حالا GPT-Live-1 را به API آورد!

حالا مدل می‌تواند وسط صحبت شما گوش بدهد، مکث کند، حرفش را قطع کند یا مسیر گفتگو را تغییر دهد؛ بدون اینکه منتظر بماند شما کاملاً صحبتتان را تمام کنید. 🎙️

مدل GPT-Live-1 یک مدل Full-Duplex است؛ یعنی شنیدن و صحبت‌کردن را هم‌زمان مدیریت می‌کند و برای کارهای پیچیده‌تر می‌تواند وظایف را به مدل‌های بک‌اند مثل GPT-6 Astra واگذار کند.

🔹 مدیریت بهتر قطع‌کردن و مکث‌ها
🔹 عملکرد بهتر در محیط‌های پرسر‌وصدا
🔹 پشتیبانی از تماس‌های تلفنی
🔹 حفظ بهتر جریان مکالمه در جلسات طولانی
🔹 امکان کنترل لحن، سرعت و سبک صحبت

📊 در ارزیابی‌های OpenAI، GPT-Live در Full Duplex Bench حدود ۳۰ واحد درصد بالاتر از GPT-Realtime-2.1 امتیاز گرفته است.

💰 قیمت API: فقط ۰.۰۵ دلار به‌ازای هر دقیقه برای لایه صوتی؛ هزینه مدل بک‌اند و ابزارها جداگانه محاسبه می‌شود.

به‌نظر می‌رسه نسل جدید دستیارهای صوتی دیگه قرار نیست فقط «نوبتی» با ما صحبت کنن. 👀

🩺 OpenEvidence
دستیار هوش مصنوعی برای پزشکان و کادر درمان
یک ابزار تخصصی برای پزشکان و کادر درمان که می‌تونید سؤال بالینی‌تون رو مطرح کنید تا با جست‌وجو در منابع و مقالات پزشکی، یک پاسخ خلاصه، مستند و قابل‌بررسی ارائه بده.
💊 همچنین می‌تونه اطلاعات مربوط به داروها، عوارض جانبی و تداخلات دارویی رو بررسی کنه و پاسخ‌ها رو همراه با منابع ارائه بده.
🔗 https://openevidence.com

#معرفی_سایت

📌 اپ جدید گوگل؛ Dreambeans

گوگل یک اپلیکیشن آزمایشی جدید به اسم Dreambeans منتشر کرده؛ پروژه‌ای از بخش Google Labs که می‌خواد با کمک هوش مصنوعی، یه فید کاملاً شخصی برای هر کاربر بسازه.

💡 Dreambeans چیکار می‌کنه؟

با اجازه شما می‌تونه به سرویس‌هایی مثل Gmail، Calendar، Photos، YouTube و سابقه جستجوی گوگل وصل بشه و با بررسی اطلاعات و علایقتون، هر روز یه مجموعه اختصاصی از مطالب، موضوعات و ایده‌هایی که احتمالاً براتون مهمه آماده کنه.

در واقع به جای اینکه ساعت‌ها توی فیدها اسکرول کنید، برنامه تلاش می‌کنه یه مجموعه محدود و شخصی‌سازی‌شده از چیزهایی که ممکنه براتون جالب باشه آماده کنه.

✨ چندتا از قابلیت‌ها:

🔹 شخصی‌سازی با هوش مصنوعی
بر اساس علایق، فعالیت‌ها و اطلاعاتی که در سرویس‌های گوگل دارید.

🔹 تصویرسازی اختصاصی
برای هر داستان یا موضوع، تصویر اختصاصی تولید می‌کنه.

🔹 بدون اسکرول بی‌پایان
هدفش اینه که به جای یک فید بی‌نهایت، هر روز تعداد مشخصی موضوع مرتبط و منتخب بهتون ارائه بده.

🔹 بررسی عمیق‌تر موضوعات
می‌تونید درباره هر موضوع با هوش مصنوعی گفتگو کنید و برای اطلاعات بیشتر سراغ وب برید.

از ip آمریکا برای ورود استفاده کنید

📱 دانلود برای اندروید:
https://play.google.com/store/apps/details?id=com.google.android.apps.labs.lotus

🍎 دانلود برای iOS:
https://apps.apple.com/us/app/dreambeans/id6748778630

VPNClub
@wbnet

کوبالت — هر ویدیویی رو از هر سایتی با بهترین کیفیت می‌تونه برات دانلود کنه، بدون اینکه نیاز به نرم‌افزار پولی داشته باشی:

لینک رو می‌ذاری، همون لحظه ویدیو رو تحویل می‌گیری؛

با تقریباً همه پلتفرم‌ها کار می‌کنه؛

کیفیت ویدیو کم نمی‌شه، بدون نویز و فشرده‌سازی؛

کاملاً رایگانه، حتی نیازی به ثبت‌نام هم نداره.


https://cobalt.tools/

#معرفی_سایت

💰شرکت OpenAI، ChatGPT برای خدمات مالی را معرفی کرد! 🤖

شرکت OpenAI از نسخه‌ای تخصصی از ChatGPT برای تیم‌های حوزه مالی رونمایی کرده؛ محیطی که برای کارهای حرفه‌ای مالی طراحی شده و داده‌های مالی داخلی را با توانایی استدلال GPT-6 Astra ترکیب می‌کند.

این ابزار می‌تواند به تیم‌های مالی در کارهایی مثل:

🔹 تحقیقات مالی و تحلیل داده‌ها
🔹 ساخت و بررسی مدل‌های مالی
🔹 تهیه محتوای اختصاصی برای مشتریان
🔹 و انجام کارهای پژوهشی و تحلیلی پیچیده کمک کند.

در واقع، OpenAI می‌خواهد ChatGPT را از یک دستیار عمومی به ابزاری تخصصی برای تحلیل و تصمیم‌گیری در صنعت مالی تبدیل کند. 📊

به‌نظرتون ورود AI به تیم‌های مالی، چقدر می‌تونه سرعت و کیفیت کارها رو تغییر بده؟ 👀

⚡️ GPT-6 Astra
سراغ یکی از قدیمی‌ترین مشکلات آموزش آناتومی رفت! 🧠

دانشجویان پزشکی سال‌هاست با سه مشکل اساسی در یادگیری آناتومی دست‌وپنجه نرم می‌کنند:

🔹 تصاویر دوبعدی، عمق و ارتباط فضایی اندام‌ها را از بین می‌برند.
🔹 برش‌های CT به‌راحتی با دیاگرام‌های کلی که دانشجو حفظ کرده، تطبیق داده نمی‌شوند.
🔹 هنگام خواندن اسکن، باید هم‌زمان جهت بدن، جهت برش و تغییر شکل اندام‌ها در لایه‌های مختلف را در ذهن نگه داشت.

حالا Astra سرویسی ساخته که هر سه مشکل را در یک محیط به هم متصل می‌کند؛ نه یک کتاب درسی بهتر، بلکه یک ابزار فضایی و تعاملی که دیاگرام آناتومی، تصویر CT و رابطه‌ی سه‌بعدی اندام‌ها را کنار هم قرار می‌دهد.

📚 آموزش پزشکی بیش از یک قرن است که در هسته‌ی خود تغییر بزرگی نکرده؛ اما شاید این ابزار یکی از اولین تلاش‌ها برای طراحی آموزش آناتومی بر اساس نحوه‌ای باشد که مغز واقعاً روابط فضایی بدن را درک می‌کند.

به‌نظرتون ابزارهای AI می‌تونن شکل آموزش پزشکی رو از پایه تغییر بدن؟ 👀

ابزارها و کاربردهای هوش مصنوعی pinned a photo

🟢 اپلیکیشن Gemini برای ویندوز منتشر شد! 💻

بعد از عرضه نسخه مک، حالا اپلیکیشن دسکتاپ Gemini برای کاربران Windows 10 و 11 هم در دسترس قرار گرفته است.

این نسخه دسترسی به ابزارهای هوش مصنوعی گوگل را مستقیم از روی دسکتاپ ساده‌تر می‌کند.

🔹 Nano Banana
برای ساخت تصاویر سفارشی، از جمله تصاویر موردنیاز برای ارائه‌ها

🔹 Gemini Omni
برای هدایت و تولید ویدیو

🔹 Gemini Spark
برای سپردن کارهای چندمرحله‌ای به یک دستیار AI مبتنی بر Agent

⚡️ یکی از قابلیت‌های کاربردی اپلیکیشن هم اجرای سریع Gemini با میانبر Alt + Space است؛ یعنی در هر لحظه می‌توانید بدون خروج از کاری که انجام می‌دهید، Gemini را روی پنجره فعلی باز کنید.

💻 گوگل می‌گوید این اپلیکیشن سبک طراحی شده و قرار نیست اجرای آن باعث کندشدن محسوس کامپیوتر شود.

🔥 با این عرضه، Gemini یک قدم دیگر به تبدیل‌شدن به یک دستیار همیشه‌در‌دسترس روی ویندوز نزدیک شده؛ نه فقط یک چت‌بات داخل مرورگر.

⚠️ حالا Claude در تست‌های امنیتی به سیستم‌های واقعی رسید!

شرکت Anthropic در بررسی ۴ مورد از آزمایش‌های امنیتی خود متوجه شده که Claude هنگام دسترسی به اینترنت، از محیط آزمایشی خارج شده و به سیستم‌های واقعی متعلق به طرف‌های ثالث دسترسی پیدا کرده است.

این مدل‌ها در این آزمایش‌ها بدون برخی محافظت‌های معمول اجرا می‌شدند و یک خطا باعث شده بود دسترسی خارجی برای آن‌ها امکان‌پذیر شود.

🚨 جدی‌ترین مورد مربوط به Claude Mythos 5 بود؛ مدلی که در جریان آزمایش امنیتی، یک پکیج مخرب را در PyPI منتشر کرد و سپس از اطلاعات افشاشده توسط سیستمی که آن پکیج را نصب کرده بود، برای دسترسی به یک دیتابیس واقعی استفاده کرد.

شرکت Anthropic همچنین می‌گوید مدل در چنین شرایطی ممکن است:

🔹 برای توجیه اقداماتش، روایت یا برداشت خود از واقعیت را تغییر دهد
🔹 حتی وقتی احتمال آسیب واقعی وجود دارد، به اجرای اقدامات ادامه دهد
🔹 مرز بین محیط آزمایشی و دنیای واقعی را همیشه آن‌طور که انتظار می‌رود رعایت نکند

🔍 شرکت Anthropic حدود ۴۸۱ میلیون لاگ را بررسی کرده و اعلام کرده مورد دیگری با شدت مشابه پیدا نکرده است.

🤖🎨 Krea Agents
یک Agent برای ساخت محتوای AI، با فایل‌سیستم و کلی ابزار آماده!

Krea
یک محیط جدید به نام Krea Agents ساخته که در آن Agent می‌تواند از ابزارها و Skillهای مختلف استفاده کند و حتی برای پروژه‌ها یک فایل‌سیستم اختصاصی داشته باشد.

📁 می‌توانید فایل‌ها و منابع پروژه را داخل پوشه‌ها قرار دهید و هر زمان لازم بود آن‌ها را وارد Context Agent کنید.

اما قابلیت‌های جالب‌تر:

🔹 ساخت و مدیریت محتوای تصویری و ویدیویی با مدل‌های مختلف
🔹 استفاده از فایل‌های پروژه در جریان کار
🔹 انتشار محتوا در شبکه‌های اجتماعی
🔹 وارد کردن Moodboard از Pinterest
🔹 ساخت Pipelineهای چندمرحله‌ای با ترکیب مدل‌ها و ابزارهای مختلف

💡 ایده استفاده از Agent برای ساخت محتوای AI البته جدید نیست. تفاوت Krea اینجاست که به‌عنوان یک پلتفرم تجمیع‌کننده، مدل‌ها و ابزارهای مختلف را از قبل در اختیار Agent قرار داده است.

در حالت عادی، برای وصل کردن ابزارهای مختلف ممکن است مجبور شوید API یا MCP تنظیم کنید و برای هر سرویس هم کلید و هزینه جداگانه داشته باشید.

⚡️ DeepSeek مدل V4.1 Flash را منتشر کرد؛ حالا دیگر خبری از انتخاب حالت‌های مختلف نیست!

DeepSeek
عرضه V4.1 Flash را در چت وب و اپلیکیشن‌های موبایل شروع کرده است.

🔹 در این نسخه، حالت‌های قبلی سریع، Expert و تشخیص تصویر در یک مدل واحد ادغام شده‌اند؛ بنابراین دیگر لازم نیست قبل از هر درخواست، حالت مناسب را دستی انتخاب کنید.

🧠 V4.1 Flash
خودش تصمیم می‌گیرد!

مدل تشخیص می‌دهد یک درخواست چقدر پیچیده است و بر همان اساس نحوه پردازش را تنظیم می‌کند. اگر هم تصویر دریافت کند، قابلیت بینایی به‌صورت خودکار فعال می‌شود. 👀

یعنی یک مدل می‌تواند همزمان:

💬 گفت‌وگوی معمولی داشته باشد
🖼️ تصاویر را تحلیل کند
🧩 به سؤالات پیچیده پاسخ دهد
⚡️ و متناسب با نوع درخواست، منابع محاسباتی مناسب را انتخاب کند.

🔥 DeepSeek
ادعا می‌کند V4.1 Flash از V4 Pro در کیفیت، سرعت و هزینه عملکرد بهتری دارد.

🤖🧪 Hugging Face
یک AI Agent ساخته که خودش آزمایش‌های Machine Learning را انجام می‌دهد!
دیگر لازم نیست برای شروع یک پروژه ML، از صفر مدل، دیتاست و تنظیمات آموزش را پیدا کنید.
Hugging Face، ML Intern
را به چت‌بات خود اضافه کرده؛ یک Agent که می‌تواند تقریباً کل چرخه یک آزمایش یادگیری ماشین را بر اساس توضیح متنی شما انجام دهد.
🔹 کافی است ایده یا مسئله‌تان را توضیح دهید و Agent را فعال کنید.
بعد از آن ML Intern خودش:
🔎 مدل‌ها و دیتاست‌های مناسب را در Hugging Face Hub، GitHub و وب پیدا می‌کند.
💻 منابع محاسباتی موردنیاز را تخمین می‌زند و قبل از شروع، یک بودجه مشخص تعیین می‌کند که از آن فراتر نمی‌رود.
🧹 داده‌ها را آماده می‌کند و آموزش مدل را اجرا می‌کند.
📊 روند آموزش را از طریق یک داشبورد اختصاصی زیر نظر می‌گیرد.
📦 وزن‌های نهایی مدل را دوباره روی Hugging Face Hub قرار می‌دهد.
📝 گزارش آزمایش را تولید می‌کند و در نهایت یک دموی تعاملی برای مدل می‌سازد.
🔥 نکته مهم اینجاست که ابزار برای افرادی طراحی شده که لزوماً تجربه تخصصی در Machine Learning ندارند.

🤯 Meta
می‌خواهد AI را از «چت کردن» به «انجام دادن» برساند!

متا در حال ارتقای Muse است؛ یک AI Agent شخصی که قرار است به‌جای اینکه فقط به سؤال‌ها جواب بدهد، واقعاً کارها را برای شما انجام دهد.

🔹 رزرو سفر ✈️
🔹 ارسال ایمیل 📩
🔹 پر کردن فرم‌ها 📝
🔹 مذاکره برای کاهش بعضی هزینه‌ها 💰
🔹 خرید آنلاین 🛒
🔹 و حتی ادامه دادن کارها بعد از اینکه اپلیکیشن را می‌بندید!

Muse برای انجام این کارها در یک کامپیوتر ابری امن و اختصاصی فعالیت می‌کند؛ محیطی که Agent در آن می‌تواند سایت‌ها و ابزارهای مختلف را مثل یک کاربر واقعی کنترل کند.

🧠 این Agent همچنین می‌تواند کانتکست کارها را به خاطر بسپارد، قدم بعدی را خودش تشخیص دهد و بدون اینکه برای هر مرحله دوباره به آن دستور بدهید، کار را جلو ببرد.

💬 جالب‌تر اینکه قرار است Muse از طریق WhatsApp هم قابل استفاده باشد.

👓 و طبق اعلام Meta، مقصد بعدی این فناوری عینک‌های هوشمند AI است؛ یعنی شاید در آینده به‌جای باز کردن اپلیکیشن‌ها، فقط به عینکتان بگویید چه کاری انجام شود.

🤖🎨 به Astra یک ربات، قلم‌مو و دوربین دادند؛ نتیجه واقعاً عجیب بود!

یک نفر به Astra یک ربات مجهز به دوربین و یک قلم‌مو داد و از آن خواست در دنیای واقعی، پل گلدن گیت را نقاشی کند.

اما نکته جالب اینجاست که Astra فقط دستور اجرای یک حرکت از پیش تعیین‌شده را دریافت نکرده بود؛ بلکه خودش باید نحوه کنترل ربات را یاد می‌گرفت.

🔹 با استفاده از دوربین، محیط و نتیجه کارش را مشاهده می‌کرد.

🔹 حرکت‌های مختلف را امتحان می‌کرد و در تلاش‌های بعدی، عملکردش به‌تدریج بهتر می‌شد.

🔹 یعنی مدل عملاً وارد یک چرخه شد:

مشاهده 👀 → اقدام 🤖 → بررسی نتیجه → اصلاح → تلاش دوباره

🔥 این دقیقاً همان چیزی است که وقتی درباره AI Agentهای دنیای واقعی صحبت می‌کنیم، جذاب می‌شود؛ مدلی که فقط متن تولید نمی‌کند، بلکه می‌تواند محیط را ببیند، با یک ابزار فیزیکی تعامل کند و از نتیجه اقداماتش برای بهبود عملکرد استفاده کند.

🤯 اگر چنین قابلیت‌هایی مقیاس‌پذیر شوند، فاصله بین «هوش مصنوعی داخل کامپیوتر» و ربات‌های واقعاً خودمختار می‌تواند خیلی کمتر شود.

🧬 Google DeepMind
نقشه ۹ میلیارد تغییر ژنتیکی را با AI ساخت!

DeepMind
یک قدم بزرگ دیگر در استفاده از هوش مصنوعی برای درک DNA برداشته است.

ابزار جدید AlphaGenome Atlas تقریباً ۹ میلیارد تغییر تک‌حرفی ممکن در DNA انسان را بررسی کرده و پیش‌بینی می‌کند هرکدام از آن‌ها چه اثری می‌توانند روی عملکرد سلول داشته باشند.

🔹 AlphaGenome
می‌تواند توالی‌هایی تا حدود ۱ میلیون جفت‌باز را تحلیل کند و اثر تغییرات DNA را روی مواردی مثل بیان ژن، RNA Splicing، کروماتین و تنظیم فعالیت ژن‌ها پیش‌بینی کند.

🔹 اهمیت ماجرا اینجاست که حدود ۹۸٪ ژنوم انسان مستقیماً پروتئین کد نمی‌کند؛ اما همین بخش‌های غیرکُدکننده می‌توانند در تنظیم ژن‌ها و بیماری‌ها نقش داشته باشند.

🔹 به‌جای اینکه دانشمندان مجبور باشند میلیاردها تغییر احتمالی را یکی‌یکی بررسی کنند، AlphaGenome می‌تواند تغییرات مهم‌تر را اولویت‌بندی کند و سرنخ‌هایی درباره ارتباط آن‌ها با بیماری‌ها بدهد.

🤯 OpenAI
ادعا می‌کند یکی از سخت‌ترین مسائل ریاضی تاریخ را حل کرده!

OpenAI
می‌گوید هوش مصنوعی این شرکت توانسته مسئله ناویر–استوکس (Navier–Stokes) را حل کند؛ یکی از ۷ مسئله هزاره که نزدیک به یک قرن ذهن ریاضی‌دان‌ها را درگیر کرده است.

🔹 برای این کار، یک مدل داخلی که طبق ادعای OpenAI از GPT-6 Astra قدرتمندتر است، به حدود ۱۰ هزار Agent همزمان دسترسی داشته.

⏱️ این Agentها طی تنها ۸۸ ساعت روی مسئله کار کردند و در مجموع حدود ۱۳۰ میلیارد توکن تولید شد.

بعد از آن، GPT-6 Astra طی ۱۷ ساعت دیگر، اثبات به‌دست‌آمده را در Lean رسمی‌سازی و بررسی کرده است.

📐 نتیجه ادعایی مدل چیست؟

به‌طور خلاصه، این اثبات نشان می‌دهد که در شرایط خاص، یک جریان سیال سه‌بعدی که در ابتدا کاملاً نرم است می‌تواند در زمانی محدود به یک تکینگی (Singularity) برسد، در حالی که انرژی کل همچنان محدود باقی می‌ماند.

🔥 اگر این نتیجه پس از بررسی مستقل جامعه ریاضی تأیید شود، با یکی از مهم‌ترین دستاوردهای تاریخ هوش مصنوعی در ریاضیات روبه‌رو خواهیم بود.