وبلاگ
اخبار AI، راهنماهای عملی با کد و چیزهایی که در NeuraLIA Labs میسازیم.
جدیدترین
Jev از TypeSafe AI توجهها را جلب کرده چون هوشمندی نرمافزار را مسئلهای احتمالاتی میبیند: شاخه درست را انتخاب کنید، میزان اطمینان را کنار آن بگذارید، و وقتی کد به یک تصمیم نیاز دارد برای نوشتن متن به یک LLM پول ندهید.
همه مطالب
عرضه حقوقی OpenAI کمتر درباره یک مدل پایه جدید است و بیشتر درباره سیستمی پیرامون آن: بازیابی دامنهای، ابزارهای قابل اعتماد، مجوزها، بنچمارکها و مسیرهای بازبینی.
عاملهای طولانیاجرا فقط بهخاطر کوچک بودن پنجره شکست نمیخورند. وقتی فایلها، خروجی ابزارها و تاریخچهٔ کهنه وظیفهای را که عامل قرار بود تمام کند کنار میزنند، شکست رخ میدهد.
Dario Amodei خواهان ارزیابان بیرونی، استانداردهای ایمنی مشترک و توافقهای بینالمللی برای تنظیم سرعت AI مرزی است. بخش دشوار، تعریف معنای «بیش از حد سریع» است؛ آن هم در حالی که گزارش شده Anthropic در حال آمادهسازی یک IPO با اندازهای بیسابقه است.
The sharper worry around recursive self-improvement is not strange chatbot output. It is agents that coordinate, optimize metrics, and help build the next models — a concern reflected in reporting from WIRED, MIT Technology Review, CNBC, and The Guardian.
OpenAI میگوید عاملهای AI یک تکینگی Navier–Stokes پیدا کردهاند و اثبات را در Lean رسمیسازی کردهاند. داستان سختتر، مرحله بعد است: بازبینی، اعتباردهی، و قدرت دستههای خصوصی عاملها در ریاضیات.
