Publication Catalog

All stories

All published intelligence, sovereign stack research, ecosystem news, and AI foundation model reviews.

2100
Stories
Research1 мин

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
Research1 мин

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
Research1 мин

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
Research1 мин

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
Research1 мин

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
Research1 мин

ChatGPT can now view Chrome tabs

ChatGPT can now extract information from open Chrome tabs.

SMNTCN (Semanticon) — глобальные новости ИИ
Research1 мин

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
Startups1 мин

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

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

Telegram — AI Machine Learning Big Data
Research1 мин

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

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

Telegram — GPT Time | Нейросети | ИИ
Research1 мин

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
Research1 мин

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
Research1 мин

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