AI Intelligence Archive

Vercel Ship 🤝 SpaceXSI

This is a submission for the Hacktoberfest Open-Source AI Challenge Week 2: Side Hustle ...

A tip calculator, a stopwatch, and a lot of pesos. TL;DR: I built a USD/MXN tip calculator with...

@Google - 排行榜：https://arcprize.org/leaderboard - 复现公开结果：https://github.com/arcprize/arc-agi-benchmarking - 测试政策：https://arcprize.org/policy - Gemini 4 Argon 完整结果：https://arcprize.org/results/google-gemini-4-argon

立即体验。 文本：https://fal.ai/models/nvidia/nemotron-3-5-super/text 视觉：https://fal.ai/models/nvidia/nemotron-3-5-super/vision 视频：https://fal.ai/models/nvidia/nemotron-3-5-super/video

The decoupling of compute from storage has positioned Apache Iceberg as the de facto open table...

@krea_ai Realtime：https://fal.ai/models/krea/v3/realtime

试用：https://openrouter.ai/nvidia/nemotron-3.5-super-vl:free

Inside the $23.99 ESP32 audio recorder found in an OpenAI executive conference room, why Anthropic replaced Git with Scion at 30,000 merges a day, and Cloudflare's JA4 bo

When an AI agent writes both the implementation and its tests, a green build may only prove that the same wrong assumption was encoded twice.

Beyond chat with llamadart · Part 4 Dash missed it. Pip’s scarf is by the pond, and all he has is...

Context isn't free. Retrieval isn't free. Observability isn't free. And an international standards...

在 Luma 中试试 Shot Coverage - https://app.lumalabs.ai/solutions/shot-coverage?utm_source=x&utm_medium=p-social&utm_campaign=q4-social&utm_content=shotcoverage&utm_aud=plg

This is a submission for the Hacktoberfest Open-Source AI Challenge Week 2: Side Hustle ...

An offline checker that ranks machine-translated segments by the risk of a major meaning error: a $1.22 Tinker LoRA, Gemma 4 on DigitalOcean, Sentry tracing.

Why your agents need their own identity Most teams run every AI agent under one shared...

IMPORTANT. CRITICAL. You MUST. NEVER. A third of the repos in the Q3 report, 3,319 of the 9,784 with...

This is a submission for the Hacktoberfest Open-Source AI Challenge Week 2: Side Hustle ...

When an AI agent commits a change to code, it makes a claim about what it changed: "fixed typos" or...

Do you also hate upgrading Angular versions? Because I do. I maintain a few open-source projects, and...

What speculative decoding is, how Gemma 4's multi-token prediction drafter rides on the main model, why you would add one, and an exact Q4_0 repack of Google's QAT drafters on Hugging Face that cuts the file to 60% of the size and the memo…

In Part 1, I wrote about the uncomfortable part of AI-assisted engineering: the tools are becoming...

https://x.ai/bot/plugin/9717366

@aiDotEngineer @vikhyatk 提到了

Why do 200-line agent prompts, Asimov's Three Laws, and sequential pre-landing checklists all fail the same way? How Fernando Flores's 1986 Committed Speech, Nuel Belnap's 1977 4-Valued Logic, and Tony Hoare's 1978 CSP turned our Makefile …

Mobile Manipulation (MoMa) is a cornerstone of autonomous robotic systems, yet real-world fine-tuning remains a formidable challenge because of high-dimensional action spaces and intricate coupling between heterogeneous modules. In this pa…

Recent advances in robot learning have driven rapid progress in humanoid control, enabling increasingly agile behaviors in the real world. However, humanoid control networks are typically obtained through conventional training procedures, …

Training language agents is bottlenecked by the high cost of long-horizon rollouts, yet standard agentic reinforcement learning (RL) learns only from a terminal scalar reward, leaving the supervision in intermediate steps largely unused. P…

Scaling up transformers has produced models with broad capabilities, deployed across heterogeneous hardware and fluctuating workloads. Yet, model families offer only a few fixed sizes (e.g., S, B, L), forcing users to commit to a model bas…

An agentic market is a decentralized serving-time market where AI agents bid to claim each user prompt. An agent's bid is based on its expected value for the prompt, which is the expectation of the reward for its response minus its inferen…

We introduce Continuum Attention (CA), a causal Transformer attention operator that replaces discrete key and value lookup with integration over a continuous, piecewise linear memory curve. Each query induces an exponential relevance densi…

Current approaches for steady partial differential equations surrogate models on unstructured meshes apply a single mixing mechanism to the whole solution. This paper proposes an architecture that partitions the solution among vanilla tran…

Computer-use agents have demonstrated strong capabilities in interpreting screens and executing keyboard and mouse actions. However, games, with their visually rich worlds and diverse mechanics, remain challenging and offer a demanding nex…

Long contexts enlarge key--value (KV) caches, increasing memory use and attention costs during generation. Compressing these caches must preserve information for unseen questions. We introduce **Latent Compaction**, which learns a compact …

Post-training binds the competence of an LLM agent to the interface it was trained on. Semantics-preserving perturbations of that interface, such as renaming an action or changing the notation, leave the underlying task unchanged yet make …

We introduce a novel method for verifying Lean formalizations that goes beyond LLM-judged faithfulness. Unlike most verification methods, which rely on LLMs or trained models, our method combines LLM-based semantic review with mechanical n…

On-policy distillation (OPD) trains a student model on its own rollouts with token-level supervision from a teacher, assuming that the teacher can reach a correct answer from any prefix the student writes. We call this property the recover…

Brazilian Portuguese remains underserved by open-source language models, and the few that are safety-aligned rarely document what did not work or validate comparisons with statistical significance. We present Manacá-1B-Instruct-2, the seco…

https://x.ai/news/grok-voice-3#used-by-millions-of-customers-at-tesla--spacex