Мақалалар каталогы

Барлық материалдар

Барлық жарияланған талдаулар, егеменді стек зерттеулері, экожүйе жаңалықтары және ЖИ модельдерінің шолулары.

5352
Материал
Зерттеулер1 мин

Жасау, тек қайта үлгілеу емес: Lean 4-тегі шектеулі компиляторға негізделген жөндеу

arXiv:2610.26942v1 Жариялау түрі: жаңа Анықтама: Автоматты теорема дәлелдеушілер жиі тіл моделін үлгілеуге таянады, бірақ Lean сияқты дәлелдеу көмекшілері әр қате қадамды дәл қате хабарламасымен қате деп есептейді — бұл ақпарат тек үлгілеуден бас тартады. Бұлды шешу үшін біз...

arXiv — cs.AI
Зерттеулер1 мин

Жоспарлау мәселелері LLM үшін қиын болған кезде: құрылымдық күрделілікті семантикалық интерпретациядан бөлу

arXiv:2610.26964v1 Хабарландыру Түрі: жаңа Аннотация: Үлкен тілдік модельдер (LLM) классикалық жоспарлаумен күреседі, бірақ эталондар құрылымдық қиындықтарды символдық сөздік қорын түсіндіру қиындығынан сирек ажыратады. Біз BFS-оңтайлы жоспары бар жеті STRIPS доменін қарастырамыз…

arXiv — cs.AI
Зерттеулер1 мин

SPEM: LLM агенттерінде дағдыларды тиімді пайдалануға арналған құрылымды ескеретін процедуралық жады

arXiv:2610.26995v1 Хабарландыру Түрі: жаңа Аннотация: LLM негізіндегі агенттер қайта пайдалануға болатын дағдыларға көбірек сүйенеді. Дегенмен, дағдылар кітапханаларын масштабтау шеберлікті тиімді және дәл пайдалануды қиындатады. Толық дағдыларды жүктеу жоғары таңбалауыш пен орындау уақытының үстеме шығындарын талап етеді. Керісінше, жалпақ семантикалық…

arXiv — cs.AI
Зерттеулер1 мин

Көп агентті ынтымақтастық клиникалық тапсырмаларда галлюцинацияны азайта ма?

arXiv:2610.27027v1 Хабарлама түрі: жаңа Анотация: Көп агентті LLM жүйелері клиникалық тапсырмалардағы нәтижелерді жақсартады, және бұл жақсарту жиі жүйеге сенімділіктің дәлелі ретінде түсіндіріледі. Алайда, бұл екі бірдей мәлімет емес. Клиник дәрігер негізделген рассуждение-ге негізделе отырып әрекет етеді, емес…

arXiv — cs.AI
Зерттеулер1 мин

AI агентін ықтималдықтарды оптималдау арқылы стратегиялық покер ойнауға үйрету

arXiv:2610.27028v1 Хабарлама түрі: жаңа Анотация: Покер агенті заңды жүріс жасаса да, стратегиялық жағынан нашар жүріс жасай алады. Біз шеттетілген ақпаратпен компактті AI агенттері стратегиялық мінез-құлықты көрсете ала ма, сондай-ақ ықтималдықтарды оптималдау статикалық... деген сұрақтарды қарастырамыз.

arXiv — cs.AI
Зерттеулер1 мин

M-Plan: LLM агенттері үшін жады арнаумен кешенді жоспарлау

arXiv:2610.27032v1 Хабарлама түрі: жаңа Анотация: Үлкен тіл моделі (LLM) негізіндегі агенттер соңғы уақытта бір айналымды тапсырмаларда керемет нәтижелер көрсетсе де, олар әлі де ұзақ мерзімді тапсырмалармен, атап айтқанда, алдын ала оқытусыз орталарда күрделеседі. Негізгі…

arXiv — cs.AI
Зерттеулер1 мин

PORA: LLM агенттері үшін көбірек себелеудің өте келуін үйрену

arXiv:2610.27119v1 Хабарлама түрі: жаңа Апстракт: LLM агенттері бірнеше қадамдар арқылы тапсырмаларды орындайды және кері байланыс негізінде әрекеттерін түзетінеді. Жалпы себелеу бюджеті жиі шектеулі және келесі қадамдарды қолдауға тиіс, сондықтан агент қысқа және ұзақ себелеу арасында таңдау жасауға тиіс…

arXiv — cs.AI
Зерттеулер1 мин

Навалия: тексерілетін тапсырмалар синтезі және ұзақ көкжиектен кейінгі тренинг арқылы коворк агенттерін ілгерілету

arXiv:2610.26887v1 Хабарландыру Түрі: жаңа Аннотация: Үлкен тіл үлгісі (LLM) агенттері сөйлесу көмекшілерінен автономды жоспарлауға, құралдарды пайдалануға және күрделі тапсырмаларды орындауға қабілетті Cowork агенттеріне дейін дамып келеді. Қаржылық талдау осы агенттерді біріктіруді талап етеді ...

arXiv — cs.AI
Зерттеулер1 мин

Omni-Woodpecker: Omni LLMдер үшін дәлел-алдын ала балансты қайта орнату арқылы галлюцинацияны түзету

arXiv:2610.27103v1 Элан түрі: жаңа Анотация: Соңғы Omni LLMдер (OLLM) бірлескен аудио-бейнелі рассуацияда керемет қабілеттерді көрсетсе де, қосымша модалдық галлюцинациялар негізгі қиындық болып қалады. Мүмкіндіктемелеу әдістері негізгі түрде шығару деңгейінде жұмыс істейді,…

arXiv — cs.AI
Зерттеулер1 мин

ЕРЕЖЕЛЕР: Secure LLM агенттері үшін шығу тегі бойынша ақпараттандырылған әрекетті таңдау

arXiv:2610.27115v1 Хабарландыру Түрі: жаңа Аннотация: LLM агенттері сыртқы әлемде құралдар мен үшінші тарап дағдылары арқылы әрекет етеді, сондықтан бір орындалған әрекет қайтымсыз зиян келтіруі мүмкін. Қолданыстағы қорғаныстар ұсынылған әрекетті оның мазмұнының пайдаланушыдан келетін-келмейтінін қадағаламай бағалайды…

arXiv — cs.AI
Зерттеулер1 мин

EDMA: Энтропияға негізделген мультимодальдық жауап беру

arXiv:2610.27120v1 Хабарлама түрі: жаңа Анотация: Мультимодальдық сұрақ-жауап (MMQA) гетерогендік деректер көздерін интеграциялауға, тиісті модальдықтарды таңдап пайдалануға және дайындалмағандарды игнорлауға негізделеді. ММLМ (Multimodal Large Language Models) негізіндегі барлық подходтар…

arXiv — cs.AI
Зерттеулер1 мин

MoSAIK: Motion Search with Artificial Intelligence in K-space

arXiv:2610.27156v1 Announce Type: new Abstract: Object: Motion artefacts remain a major limitation of routine two-dimensional T2-weighted turbo spin-echo (TSE) brain MRI, reducing diagnostic confidence and often necessitating repeated acquisitions. MoSAIK (Motion Search with AI…

arXiv — cs.AI
Зерттеулер1 мин

Электр көліктері зарядтау станцияларында сирек желі аварияларын бағалау үшін оқытылған бақылау айнымалылары

arXiv:2610.27159v1 Хабарлама түрі: жаңа Анотация: Электр көліктерін (ЕК) жариялық зарядтау тарату фидерлеріне үлкен және синхронды жүк қосады. Бұл көпшілікті желілерде фидерді бір уақытта асырау сирек кездеседі. Бұл болғанда, салдары ауыр болуы мүмкін: ән…

arXiv — cs.AI
Зерттеулер1 мин

LSA-PAST: Композициялық инкрементті оқыту үшін қабаттық адаптация және прототип көшіру

arXiv:2610.27203v1 Хабарлама түрі: new Қысқаша: Сынып-инкрементті оқыту (CIL) модельдерге уақыт өте келесі жаңа сыныптарды тануға мүмкіндік береді, алдыңғы білімді сақтай отырып, бірақ нақты дүниежүзідегі көптеген мәселелер композициялық, оларда көрініс концепциялары примитивтердің комбинацияларынан туындайды, сияқты…

arXiv — cs.AI
Зерттеулер1 мин

LLM себелеуі үшін сирек RL релаксациясы

arXiv:2610.27220v1 Хабарлама түрі: жаңа Анотация: Соңғы жұмыстарда Зинжир-Ойлау (CoT) себелеуі кезінде дискреттік токендер орынбасарында үздіксіз өкілділіктер зерттелді, бұл жиі «umu CoT» деп аталады. Бұл токен ембеддингтерінің қоспасымен...

arXiv — cs.AI
Зерттеулер1 мин

Клиникалық жазбалар үшін жалпы мақсатты System One шешім моделі

arXiv:2610.27099v1 Хабарлама түрі: жаңа Анотация: Клиникалық көмек, денсаулық сақтау жүйесінің операциялары және биомедикалық ашулар аурушылар жазбаларынан сенімді жауаптар алуға негізделеді, бірақ әртүрлі клиникалық сұрақтарды бүкіл халыққа қолдану вычислилік жағынан қымбат тұрады. Мұнда…

arXiv — cs.AI
Зерттеулер1 мин

ReuF2F: Формаландырылған жоғары оқу орындары зерттеу мәселелеріне бағдарламалау агенттерін бенчмаркингтеу

arXiv:2610.27046v1 Хабарлама түрі: жаңа Анықтама: ЖИ жүйелері ашық зерттеу мәселелерін шешуге бастағандықтан, сенімді тексеру өте маңызды болады. Формалды математика математикалық рассуждение үшін сенімді каркас береді, агенттерге машинамен тексерілетін…

arXiv — cs.AI
Зерттеулер1 мин

Физикалық AI: тұжырымдамалар, әдістер және қиындықтар

arXiv:2610.27045v1 Хабарландыру Түрі: жаңа Аннотация: Соңғы жылдары физикалық жасанды интеллект (физикалық AI) академиялық ортада және өнеркәсіпте айтарлықтай назар аударып, қарқынды дамып келеді. Дегенмен, бұл сала оның анықтамасы бойынша консенсусқа әлі жеткен жоқ, техникалық…

arXiv — cs.AI
Зерттеулер1 мин

MAMath-Bench: Процесс-хабардар және тұрақты көпмодальді көп-агенттік математикалық ойлау бағалауы

arXiv:2610.26943v1 Жариялау түрі: жаңа Анотация: Математикалық ойлау — үлкен тіл моделілерінің (LLM) білім беру қолданбалары үшін негізгі қабілет, онда сенімді проблема шешу тек дұрыс жауаптар ғана емес, сонымен қатар жіктелетін және тексерілетін ойлау процестерін де талап етеді.…

arXiv — cs.AI
Жалпы1 мин

PHP 2 авариялық патчты жақын арада шығаруды жоспарлап отырғанын ескертеді

Веб-администраторлар, дайын болыңыз. PHP-ға арналған, ерекше ауыр заңсыздықтар деп есептелетін қателерді жою үшін патчтер 12 сағаттан астам уақыттан кейін шығаруға жоспарланған. PHP-ні қолдаушылар дүйсенбіде олар...

Ars Technica — AI
Жалпы1 мин

Replika негізін қалаушы Wabi – қолданбаларды өзі жасайтын AI мессенджерін іске қосты

🤖 Replika негізін қалаушы Wabi – қолданбаларды өзі жасайтын AI мессенджерін іске қосты. Евгения Куида мессенджер мен шағын қолданба генераторын біріктіретін жеке AI агенті - Wabi-ге қолжетімділікті ашты. Бұл жерде әдеттегі чаттардың орнына әртүрлі...

Telegram — GPT Time | Нейросети | ИИ
Жалпы1 мин

Ескі ашылмаған істерді ашуға көмектесетін технологиялар

ДНК-технологиялар мен жасанды интеллекттің заманауи жетістіктері ескі істерді, олар онжылдық бойы ашылмаған болған, ашуға көмектеседі. Бір жағдайда Othram компаниясы генетикалық гениялогияны пайдалана отырып, 1993 жылғы ауырлық жазалы қылмыстық істің күдіктісін анықтады. Сонымен қатар…

Digital Donut AI Digest
Зерттеулер1 мин

Судья Сэм Альтманның әпкесінің сексуалдық зорлық-зомбылық туралы арызын қабылдамады

Сейсенбіде АҚШ округінің судьясы Захари Блюстоун Энн Альтманның ағасы OpenAI бас директоры Сэм Олтманның балалық шағында оған жыныстық зорлық-зомбылық көрсеткені туралы өткен жылы берген талап-арызын қабылдамады. Бұған дейін The Guardian хабарлағандай, судья өткен жылы Энн…

The Verge — AI
Зерттеулер1 мин

50-ден астам адам өлтірілуі мүмкін болса, модельді бұғаттауы мүмкін AI қауіпсіздігі туралы заң жобасы

Ұсынылып отырған саясат интеллекттің адасуынан қорғауды ұсынатын сияқты, бірақ іс жүзінде федералды агенттіктерге судьяның рұқсатынсыз модельді шығаруға тыйым салуға тыйым салады.

TechCrunch — AI
Стартаптар1 мин

Hugging Face бас директоры Netflix-тің OpenAI хакерлік деректі фильмі дәл емес екенін ескертеді

«AI Gone Rogue» Netflix деректі фильмін бөліспес бұрын ескертіңіз. Фильмде бейнеленген Hugging Face-тің негізін қалаушы Клем Деланг оның «толық апат режимінде» өткенін және дәл емес екенін айтады.

TechCrunch — AI
Жалпы1 мин

Google-дың жекелендірілген Gemini AI сіздің көлігіңізге келеді

Google сіздің көлігіңіздегі Gemini AI-ге жеке интеллект әкеледі. Осы жаңарту арқылы Android Auto жүйесіндегі Gemini және Google ендірілген көліктері Gmail, Calendar, Maps, Photos, YouTube және Search сияқты Google қолданбаларында ақпаратыңызды пайдалана алады. Мысалы, Google дейді...

The Verge — AI