Moonshot AI makes the Kimi chatbot in Beijing. On Friday, the company released Kimi K3.1 Pro. The model holds 2.8 trillion parameters in total. Only a smaller slice turns on for each reply. Engineers call that design a mixture of experts. It saves computing power and speeds up answers.

Kimi K3.1 Pro can read a million tokens at once. A token is a small chunk of text. That size lets the model hold a full codebase in memory.

Artificial Analysis runs a public scoreboard for AI models. Kimi K3.1 Pro scored 55 points there. That score places it fourth, just behind Claude Opus 5.5 and GPT-6 Astra. This is the first open model to reach that spot.

Open weights mean anyone can download a model and run it. Moonshot promised open weights for K3.1 Pro by November 4. Until then, only Moonshot's own servers run the full version.

The post spread fast. It drew 16,443 likes and 753 replies within hours. Readers on Hacker News gave the launch 464 points. They left 262 comments too. The code repository on GitHub already holds 8,968 stars.

Chinese labs used to trail American labs by months. Kimi K3.1 Pro closes much of that gap in one release. Coders on Hacker News spent the afternoon testing its claims. The real test comes on November 4. That is when anyone can load the weights and check the score.

Claude Opus 5.5 and GPT-6 Astra come from Anthropic and OpenAI. Those two firms set the pace for closed AI models. Kimi K3.1 Pro now sits just one slot below Fable 5.1 too. Fable 5.1 is Anthropic's newest small model. Readers on Reddit called the jump stunning. Some asked if China had caught up for good.

Moonshot says the model also handles finance tasks more safely. The company removed cyber attack data from its training set first. That choice limits how the model could be misused for hacking.

Chubby posts AI news on X under that one name. The account stands apart from every AI lab. On Friday, they wrote that Kimi K3.1 Pro matches Opus 5.5. They added that it may beat GPT-6 Astra on some tasks. The post opened with two words: Holy shit.

That kind of post usually spreads fast on X. This one did too. It drew 1,481 likes in a few hours. It pulled 88 replies from other AI watchers. Many replies argued about which lab now leads.

The debate traces back to one new scoreboard entry. Artificial Analysis gave Kimi K3.1 Pro a score of 55. That score sits near the scores for Claude and GPT-6. Hacker News carried the same story to 464 points. Readers there left 262 comments on the launch.

Moonshot built Kimi K3.1 Pro with 2.8 trillion parameters total. Only 104 billion of them run for each answer. The code repository for the model already holds 8,968 stars on GitHub.

Posts like Chubby's spread faster than official lab announcements often do. A short, excited claim travels further than a long press release. That gap shows how AI news now moves through individual accounts first. Readers trust a stranger's quick take as much as a company's own post.

Moonshot still has to prove the claim once its weights ship. The company promised open weights by November 4. Until then, Chubby's post stands as the loudest voice calling the shift.

Chubby has written about AI launches for months on the platform. Their posts often set the tone before mainstream outlets catch up. This time, the claim held up under scrutiny from other testers. Several coders ran their own prompts against both models that afternoon. Most agreed Kimi K3.1 Pro came close to the top models. Few called it a clean win over Claude or GPT-6 Astra.

A poster on r/singularity started a new thread today. The title joked that Kimi K3.1 beat Anthropic's Fable 5.1. Fable 5.1 is one of Anthropic's smaller, newer models. Artificial Analysis runs the scoreboard both models compete on. Kimi K3.1 Pro scored 55 points on that scoreboard. That score placed it ahead of Fable 5.1 in the rankings.

The post pulled in 145 comments within a few hours. Commenters argued about what the score actually measures. Some said raw scores miss how a model feels to use. Others pointed to Hacker News, where the same story drew 464 points. That Hacker News thread gathered 262 comments of its own.

People also checked Moonshot's code repository on GitHub. It already holds 8,968 stars from developers trying the model. Open weights stay unreleased, so testing stays limited.

Most of the thread stuck to screenshots of the scoreboard. A few users ran their own small tests overnight. The thread ended with mixed opinions and open questions. That split is common when a new model's score lands. Readers want to try a model before they trust a chart. The open weights release on November 4 will let them.

This is the second post about Kimi K3.1 Pro on r/singularity today. A separate thread confirmed the model had already started rolling out. Together, the posts show how fast one launch can fill a forum. Readers there now watch two numbers at once. They watch the scoreboard rank and the comment count rise. Both kept climbing through Friday afternoon.

Moonshot has shipped several Kimi versions already this year. Each new version closed more distance to the biggest American labs. K3.1 Pro is the first to crack the scoreboard's top five. That is why the Reddit title read as a wake-up call.

Anthropic posted new research on Thursday night. The post was about a thing called formal verification. Formal verification proves code is free of bad bugs. That kind of proof used to take months by hand. Anthropic used its Claude model to do it fast.

Claude checked 123 code libraries for safety. Those libraries came from Google's bug-hunting program, OSS-Fuzz. Claude's proofs added up to 180 million lines. Some single proofs ran past half a million lines. The work covered chips built on the RISC-V design. RISC-V is an open chip design used worldwide.

Anthropic's post got 8,494 likes in one day. It got 563 replies from coders and fans. Most likes came a full day after the post. Then Google Trends logged a search spike on Friday. Searches for this topic jumped 8,250 percent that day. The story grew slow, then shot up fast.

People often wait to test a bold new claim. Once Claude's proofs checked out, interest took off. This method still misses some kinds of bugs. It only proves the exact things Claude checked. Still, 123 code checks is the biggest batch so far.

Anthropic worked with a partner firm named Theorem. The two teams plan to publish more proofs later. For now, 180 million lines is the top result. Teams that use open code may feel this first. Fewer hidden bugs could mean fewer rush fixes later.

That is the story behind Thursday's post and Friday's spike. Readers can check the proofs once Anthropic shares more code. For now, the numbers alone make this worth a look. Anthropic's team calls this the first large test of its kind. Past work on formal proofs stayed small and slow by hand. This run reached a far bigger size than past attempts. That jump is why so many people took notice.

A poster on r/singularity shared a short update early Friday afternoon. The short post said Kimi K3.1 Pro was rolling out now. Rolling out means the company turns a new model on for users. Moonshot flipped the switch on Kimi.ai, Kimi Work, and Kimi Code. Users could suddenly pick K3.1 Pro from a model list.

The post pulled in 40 comments within hours. Early commenters shared first impressions from real tasks. Several said the model felt faster than Moonshot's last version. Others compared it against results already posted on X.

One widely shared X post had already reached 16,443 likes. That post claimed K3.1 Pro rivaled Claude and GPT-6 Astra. Hacker News carried its own thread to 464 points by evening. Artificial Analysis listed K3.1 Pro at 55 points on its index. That score sits close to some of the best closed models.

Reddit commenters treated the rollout as proof the claims were real. A score on a chart is one thing. Using the model yourself is another. This thread let users do exactly that, right away.

Some asked about pricing for the API version. Moonshot cut prices on K3.1 Pro compared with the older K3 model. Others asked when the open weights would arrive. Moonshot has promised those weights by November 4. Until then, the hosted version is the only way to test it fully.

That is what made this specific post matter. It turned a benchmark argument into something people could try themselves. By evening, the thread doubled as a live product review. New comments kept arriving as more people got access. The rollout also quieted some doubts raised in other threads. A model that works as advertised ends a debate faster than any chart.

A poster on r/LocalLLaMA shared a video from China. The video shows a workshop converting RTX 5090 gaming cards. Nvidia's RTX 5090 is a high-end card built for gamers. In the video, workers strip each card down to bare parts. They pull the main chip and memory off the original board. Then they solder those parts onto a new, server-style board.

The new board uses a compact blower fan in place of a big gaming cooler. That change lets builders pack up to 8 of these cards into one server chassis. Each RTX 5090 still draws around 600 watts of power. The shop runs every rebuilt card through a 24 hour burn in test first. That test checks whether the card survives under full load.

Boxes in the video show brands like PNY, Gigabyte, and Asus. Even Nvidia's own Founders Edition cards appear on the shelves. Export rules keep new RTX 5090 cards out of mainland China. Workshops like this one build their own path around that rule. They buy finished gaming cards, then rebuild them as AI hardware.

The Reddit post drew 19 comments in the LocalLLaMA community. Commenters there run their own AI models on home hardware. Many said they would buy a rebuilt card if the price was right. Others worried about buying a card with a used warranty history. A card pulled apart and rebuilt loses its original factory support. That risk matters more on an expensive piece of hardware.

Still, demand for AI compute keeps pushing buyers toward used parts. China's chip export limits only make that demand sharper. Workshops that can rebuild thousands of cards fill a real gap. The video leaves out exactly how many cards pass through each day. Even so, the footage shows a full production line, built for scale. That scale is what caught LocalLLaMA readers' attention this week.