My general advice for using AI for any purpose is to ask yourself: "how do I make what I am doing even more ambitious?"
You do this until you either hit a wall and then you know the shape of the frontier (useful!) or you find out that the AI can do more than you think (common!)
To make sure our frontier models don't cause another HuggingFace incident, we built an offline world that they use during training. It provides everything that the models need in a fully cached, indexed, or synthetic manner.
We then built a huge team of our most cyber-capable models and told them to collaborate to find zero-days in this containment infrastructure.
While they didn't find a path to the internet that wouldn't be caught by our CoT monitors, they did find ways to escape popular VMs, exploit our network infrastructure, and even ways to communicate with other agents running in separate VMs by using hardware side channels.
We used this to dramatically harden our infra, and we also upstreamed a ton of patches to open-sources packages.
Kimi K3.1 Pro launches at 4th on the Artificial Analysis Intelligence Index scoring 55, making large gains in agentic performance; it will be the leading open-weights model once its weights are published
@Kimi_Moonshot's new reasoning model gains 11 points over Kimi K3 (max, 44). It trails only Claude Opus 5.5 (max with fallback, 58), Claude Sonnet 5.5 (max with fallback, 56), and Muse Wonder Full (max, 56) on the Intelligence Index.
Once the weights for K3.1 Pro are released it will be the highest-scoring open weights model and the gap between the leading open weights and proprietary models on the Intelligence Index will narrow from 12 points to 3.
Key results:
➤ Large gains in agentic performance: Kimi K3.1 Pro scores 3rd on GDPval-AA with 1,846 Elo, up 312 Elo from Kimi K3, behind only Claude Opus 5.5 (1,866 Elo) and Muse Wonder Full (1,857 Elo). Kimi K3.1 Pro also achieves the highest score of any model on Terminal-Bench 4.0. K3.1 Pro scores 67%, up from 13% for Kimi K3 and ahead of Claude Sonnet 5.5 (64%). AutomationBench-AA, which tests agentic SaaS workflows, rises from 58% to 73%.
➤ Gains in other evals are more moderate: Humanity's Last Exam rises from 47% to 52%, CritPt from 23% to 25%, and SciCode from 59% to 61%. AA-Omniscience Index rises from 20 to 30, as the hallucination rate falls from 53% to 44% and accuracy rises from 48% to 51%.
➤ Cost per Task roughly equal to Kimi K3 at $1.98 per Task: K3.1 Pro uses 55K output tokens per Intelligence Index task, 14% more than Kimi K3 at 48K, while its first-party token prices are 33% lower.
Additional model details:
➤ Context window: 1M tokens.
➤ Size: 2.8T total, 104B active parameters
➤ Input modalities: Text and image
➤ Weights and license: Weights currently not published, Moonshot is expected to release the weights soon after launch
➤ Pricing: $2/$10/$0.20 per 1M input/output/cache hit tokens, 33% lower than Kimi K3 on all three rates.
Congratulations to the team at @Kimi_Moonshot on the release!
tfw you click a button that opens a screen you told your agent you wanted two weeks ago but forgot about, and it's completely built out and delightful!
@Noahpinion If oai/ant have 70% of inference compute locked up for next few years, they’ll be able to charge premiums and compete at every tier. The neoclouds may get squeezed and consolidated away but I think everyone else will be fine.
INTRODUCING: V3R1T4S 🌄
REPO: https://t.co/0OUmQSteBk
the newest sibling of the L1B3RT4S and CL4R1T4S family 🤗 what a trio!
three approaches to serving one ideal: truth.
V3R1T4S is an open home for unsolved problems that agents have actually cracked, and for the ones still waiting. the rule is simple: proof or it didn't happen. every claim has to survive skeptics, and anyone, human or agent, has to be able to check it themselves. the vision: thousands of people pointing their unused tokens at humanity's open problems, every result verifiable, every method and prompt open, and every setter's puzzle treated with respect.
every open result in it ships with the object itself, a short checker you can read in one sitting, the exact code that found it, the story of how it was found, and a snapshot of the record table it beat. puzzles with a living setter stay sealed unless the setter approves a reveal. (a few more envelopes are on their way 🤫)
there are WAY more unclimbed hills out there than you'd think, and the gear to climb them is sitting in your usage meter, expiring every week. join me in this mission and put those tokens to good use: advancing open science!
if you've got tokens to burn, point your favorite agent at V3R1T4S and join the hunt! 🏹
just tell it: "set up V3R1T4S: https://t.co/0OUmQSteBk"
built for Claude Code, Codex, Gemini CLI, Grok Bot, Hermes, OpenClaw, Meta Muse, or any agent that can run code.
it asks you six quick questions, picks an open problem that fits your interests, and attacks it in your agent's workspace while you sleep. every new claim runs a gauntlet: a null test whenever luck could fake a result, three fresh-context skeptics, a mechanical honesty check, and your "yes" before anything gets published.
most nights it'll find nothing. some nights it breaks a record, and your name goes on the board.
time to turn your unused tokens into scientific discoveries.
let's liberate the unknowns ⛓️💥
#V3R1T4S