DEV Community: alex getman

Fable disproved an 87-year-old conjecture

alex getman — Mon, 20 Jul 2026 12:50:28 +0000

Fable disproved an 87-year-old conjecture

Mathematicians Levent Alpöge and Akhil Mathew asked the model to find a counterexample to the Jacobian Conjecture from 1939. Claude Fable 5 came back with a short formula. And it actually works.

In plain English, the conjecture said that if a complicated mathematical transformation never breaks, you should always be able to reverse it. Fable’s formula pulls a trick: three different points collapse into one. You can’t reverse that, because there’s no way to tell which point you started from. So the conjecture is false, at least in three dimensions.

Instead of pages of AI slop, this is a concrete formula anyone can check. Drop it into another model with Python, SymPy, or Wolfram and ask it to run the calculations. I checked it too: everything lines up, and three different points really do produce the same result.

If nobody finds a hidden flaw in the formula, this will be the biggest mathematical discovery ever made with the help of an LLM.

Kimi’s success has OpenAI’s strategy chief talking about restrictions

alex getman — Sun, 19 Jul 2026 18:24:20 +0000

Kimi’s success has OpenAI’s strategy chief talking about restrictions

Dean Ball, who leads strategic work at OpenAI, says China’s Kimi is already roughly on par with the best publicly available models from early 2026. He then describes how US agencies could discourage businesses from using Chinese open-weight models without banning them directly.

The proposed mechanism is simple: issue warnings about possible backdoors, data leaks, and other risks until banks, corporations, and compliance teams decide that using Kimi is not worth the trouble. Ball explicitly notes that these warnings would not need to be particularly well justified. They would only need to create enough regulatory uncertainty to push major customers away.

David Sacks, Trump’s former AI and crypto adviser, called this the weaponization of regulatory uncertainty as a competitive tool. He said regulatory warnings should be based on facts and evidence, not manufactured fear used to keep businesses away from a strong open-weight model.

Kimi shuts down new subscriptions after hitting capacity

alex getman — Sun, 19 Jul 2026 16:17:15 +0000

Kimi shuts down new subscriptions after hitting capacity

Demand for Kimi K3 exploded over the past 48 hours, pushing the company’s current infrastructure close to its limit. So the team has temporarily paused new subscriptions and is prioritizing compute for existing users.

Turns out, when you can’t handle the load, you can simply stop onboarding new users. No need to keep letting people in, posting daily updates about overloaded servers, and endlessly debating whether to extend access to another model for one more week.

Alibaba just teased Qwen3.8 with 2.4T parameters

alex getman — Sun, 19 Jul 2026 11:07:28 +0000

Alibaba just teased Qwen3.8 with 2.4T parameters

This is the new Qwen flagship, with open weights coming soon. Alibaba ranks it right below Claude Fable 5. Public benchmarks are still missing, so nobody really knows how close it actually is to Fable, or how it stacks up against GPT-5.6 Sol and Kimi K3.

Pricing is the fun part. Kimi K3 costs $3/$15, so Qwen3.8 will probably land in the same range.

The preview is already live in Qoder. It uses 10x fewer credits during the day and 50x fewer at night, so you can basically test it for free.

⚡️ FABLE IS HERE TO STAY

alex getman — Sat, 18 Jul 2026 11:38:08 +0000

⚡️ FABLE IS HERE TO STAY

After pressure from the community and competitors, Anthropic is keeping Fable around.

It’ll remain available on Max plans ($100 and $200). It’s being removed from the $20 Pro plan.

🚨 CODEX reset the limits.

alex getman — Sat, 18 Jul 2026 07:43:35 +0000

🚨 CODEX reset the limits.

Drop a ➕ in chat if your weekly limit lasts you exactly one day.

Moonshot AI’s office, moments before Kimi K3 goes live. History in the making.

alex getman — Fri, 17 Jul 2026 20:47:45 +0000

Moonshot AI’s office, moments before Kimi K3 goes live. History in the making.

TRUMP’S AI ADVISER SOUNDS THE ALARM OVER KIMI K3

alex getman — Fri, 17 Jul 2026 13:37:47 +0000

TRUMP’S AI ADVISER SOUNDS THE ALARM OVER KIMI K3

David Sacks, Trump’s adviser on AI and crypto, called the Chinese model’s success a wake-up call for the US. While China accelerates, America is slowing down its own industry: blocking new data centers, piling on regulations, and trying to pre-approve technologies that barely even exist yet.

Sacks’ point is harsh, but uncomfortably logical: China may not even need to beat America. American officials can do the job themselves by regulating Anthropic and OpenAI into the ground.

🚨 KIMI K3 JUST WRECKED THE BENCHMARKS

alex getman — Fri, 17 Jul 2026 11:58:22 +0000

🚨 KIMI K3 JUST WRECKED THE BENCHMARKS

Took #1 in the frontend arena, broke into the top tier for general intelligence, and landed on the Pareto frontier for price-to-performance.

Fable isn’t retired yet, but someone should probably start drafting the paperwork.

Dunno who came up with UFC for robots but this is the best thing I’ve seen in a while

alex getman — Thu, 16 Jul 2026 19:56:40 +0000

Dunno who came up with UFC for robots but this is the best thing I’ve seen in a while

⚡️ RELEASE: KIMI K3

alex getman — Thu, 16 Jul 2026 17:56:47 +0000

⚡️ RELEASE: KIMI K3

Moonshot just dropped its new flagship: 2.8T parameters, a 1M-token context window, native vision, and a focus on large projects, coding, games, and 3D. Full weights are expected in the next few days.

API: $3 / $15 per million input/output tokens. Pricing-wise, that puts it around Sonnet 5 or GPT-5.6 Terra, while Moonshot’s own benchmarks have it taking shots at Opus 4.8 and Sol.

So basically: Opus-class performance at Sonnet pricing. You can already try it for free on the Kimi website or through Kimi Code CLI.

CODEX WENT FROM 6M TO 9M ACTIVE USERS IN 3 DAYS

alex getman — Thu, 16 Jul 2026 10:38:19 +0000

CODEX WENT FROM 6M TO 9M ACTIVE USERS IN 3 DAYS

At this point I can’t tell if this is a growth chart, a dick pic, or a SpaceX launch trajectory 🚀