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

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

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

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

IneqAgent: Agentic Inequality Proving in Lean with Symbolic Computation

arXiv:2610.20681v1 Announce Type: new Abstract: Formal inequality proving requires mathematical reasoning and exact computation, often connected through intermediate lemmas and goal reformulations. We introduce IneqAgent, an agentic framework combining LLM reasoning with…

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

AlphaDiana: A Measurement System for Agents in Verifiable Reasoning Tasks

arXiv:2610.20675v1 Announce Type: new Abstract: Agents pair reasoning models with harnesses that organize model calls, execute tools, load skill instructions, and retain history in memory. Understanding agent performance requires linking execution conditions to outcomes,…

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

Temporal Specification Guidance for Text-to-Video Generation

arXiv:2610.20822v1 Announce Type: new Abstract: Text-to-video models often generate the visual concepts requested in natural language prompts but fail to satisfy their intended ordering, timing, and persistence requirements. We propose representing these requirements as…

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

Evaluating Model Capabilities After Benchmark Saturation

arXiv:2610.20667v1 Announce Type: new Abstract: Rapid advances in AI capabilities are causing benchmarks to saturate. Once several models approach perfect scores, a benchmark loses its power to differentiate between them, and with it its utility for informing AI safety cases and…

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

Open-world AI: a Tale of Three Requirements

arXiv:2610.20782v1 Announce Type: new Abstract: The closed world asks AI for specialized competence and lets it manufacture the iid data its theory assumes: a fixed criterion licenses collecting examples until the task is covered. The open world asks for versatility --- taking…

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

When Reality Outpaces Cognition: A New Scaling Principle for Reliable Intelligence

arXiv:2610.20764v1 Announce Type: new Abstract: This paper challenges the understanding capabilities of existing AI paradigms and emerging world models by asking a fundamental question: How quickly can reality change before an intelligent system can no longer reliably perceive,…

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

Defining and Generating Compositional Structure

arXiv:2610.20922v1 Announce Type: new Abstract: Compositional structure is pervasive in nature and across scales: atoms combine into molecules, molecules into cells, and cells into organisms, while further compositional hierarchies appear within each level. More broadly,…

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

ChatGPT can peek at your Chrome tabs now

OpenAI's ChatGPT Atlas browser is gone, but now ChatGPT's Google Chrome extension is getting some upgrades that allow it to use the browser tabs you already have open. With the extension installed, OpenAI says ChatGPT can now view your browser tabs when you tag Chrome in…

The Verge — AI
Стартаптар1 мин

OpenAI ведёт переговоры о покупке ИБ-компании Trail of Bits

✔️ OpenAI ведёт переговоры о покупке ИБ-компании Trail of Bits Обе компании уже работали вместе над проектом Patch the Planet, где модели OpenAI в связке с инструментами Trail of Bits автоматически искали и исправляли ошибки в открытом коде. Нью-йоркская Trail of Bits основана в…

Telegram — AI Machine Learning Big Data
Зерттеулер1 мин

Gemini 4 Argon научила гуманоида играть в Корнхол, просто посмотрев видео

🤖 Gemini 4 Argon научила гуманоида играть в Корнхол, просто посмотрев видео Модель проанализировала движение, восстановила физику броска, сама написала симуляцию и обучила гуманоида Apollo от Apptronik. В результате робот смог попасть в цель 7 раз подряд. Argon также набрала…

Telegram — GPT Time | Нейросети | ИИ
Зерттеулер1 мин

Trump posts AI-edited photo to brag about White House restoration work

President Donald Trump posted a series of photos on Truth Social showing off renovations to the White House - but one of them appears to be modified with AI. The picture, which compares an old White House column to a "restored" one, has several discrepancies and was flagged by…

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

If you know PyTorch, you know Trainium.

AWS is bringing multiple sessions to in San Jose. AWS Trainium is an AI chip designed from the ground up for next generation deep learning AI training and inference, and now PyTorch runs natively on AWS Trainium -- zero code changes. Same APIs, same debugging, same ecosystem.…

YouTube — PyTorch Official
Зерттеулер1 мин

Google wants Gemini 4 Argon to be the only AI model robots need

Google's Gemini 4 Argon controls robots, generates simulations from photos or sketches, and evaluates training videos. On Google's own ERQA benchmark, it scores 87 percent. But the published example prompts show that the demos still need a lot of human guidance. The article…

The Decoder