Inteligencia Artificial

Gigatoken is a Rust tokenizer that reaches 24.53 GB/s in benchmarks, up to 989 times faster than HuggingFace Tokenizers. It supports more than 15 model families, from Llama to DeepSeek, and installs with a simple pip install.

A public ChatGPT thread exploring a possible counterexample to the Jacobian conjecture put one of algebra’s longest-standing open problems back in the spotlight. We cover what the conjecture states, what’s actually been proven, and how to verify it yourself with Python.

The White House launched Genesis Mission, an investment of over $5 billion to apply artificial intelligence to science within the Department of Energy. Microsoft has already committed $60 million as an infrastructure partner.

Ben Thompson argues in Stratechery that open-weight models like Kimi K3 aren’t free to serve: inference cost, not license price, is what defines margin in the AI industry. The debate reopens the question of who actually wins when a model competes against a rival that charges less per token but needs more tokens to respond.

Ben Thompson analyzes in Stratechery why open Chinese models like Kimi K3 aren’t free to serve. The essay distinguishes AI COGS, a variable cost, from the fixed investment in research and development, and explains why tokens aren’t a fungible commodity.

Kimi K3 charges $3 per million input tokens and $15 for output, but that doesn’t mean it’s free to serve. A Stratechery analysis separates fixed R&D from variable COGS and explains why price per token doesn’t capture the real cost of intelligence.

Chinese open models like Kimi K2.6, Kimi K3, and Qwen3.8 are advancing on OpenAI and Anthropic’s closed models. An a16z analysis cited by The Economist estimates that 80% of startups already use at least one Chinese model in production, as Washington tightens GPU export controls.

CuspAI presented AI Materials Foundry, a global artificial intelligence network that aims to connect the generation of candidate materials with their validation in a real lab. The proposal builds on previous advances like GNoME, MatterGen, and the open OMat24 dataset, but aims to solve the bottleneck that none of those models solve on their own: physical synthesis.

New York Mayor Zohran Mamdani presented a report requiring landlords and real estate agencies to disclose when a rental photo was generated or altered with artificial intelligence. The measure aims to curb listings that don’t match the actual property.

A thread on r/math reports that GPT-5.6 used a prompt inspired by OpenAI’s proof of the CDC problem to tackle a convex optimization problem that had been open for 30 years. The resulting proof was formalized and verified line by line in Lean, with no markers for unproven steps.