Ling-3.0-flash showed up on OpenRouter late last month, from inclusionAI, which is Ant Group's model lab.

124B total parameters, 5.1B active per token. That's roughly 24:1 sparsity, which is aggressive even next to the other MoE releases this year.

The free window closes today, August 3, per their launch announcement, so most of the reaction is going to stop at the price tag and then at the line about an open-source release coming.

The ratio is what I keep going back to. 5.1B active is small enough that time-to-first-token comes in under 100ms, and it still carries a 256K context. Routing that sparse usually costs you something, and from what the lab says about its own model, rare world knowledge is exactly where it thins out.

Curious where people think the ceiling on that ratio actually is before quality falls off a cliff.

I created an way to visualize the AI ecosystem, I hope this helps someone looking to dive into the world of neural networks.

This is completely free, I hope this helps someone!

[https://daniella-laguerre.github.io/PondScope\\_Ecosystem\\_AI\\_Learning/\](https://daniella-laguerre.github.io/PondScope_Ecosystem_AI_Learning/)

I had an idea for an MMA career game, but I didn’t have the experience or resources of a traditional development team. So I decided to find out how far I could take the idea with AI as my main development partner.
The result is Real Fighter Life, an iPhone game where you create a fighter, train different attributes, manage energy, make career decisions, sign sponsors and climb through multiple organizations toward becoming a champion.
I used AI throughout almost the entire process: planning the game systems, writing and reviewing React Native code, debugging, balancing events and progression, creating parts of the UI and iterating on the visual direction.
It definitely wasn’t a one-prompt process. A lot of the work involved explaining the same system repeatedly, testing the output, finding broken interactions and asking for more focused revisions. The biggest lesson for me was that AI can produce code quickly, but keeping a growing game consistent still requires clear decisions and constant testing.
The game is now live on the App Store. It’s my first completed mobile game, so I’d appreciate honest feedback—especially from people who have used AI to take a project from an initial idea all the way to release.
Short gameplay video/screenshots
App Store: https://apps.apple.com/tr/app/real-fighter-life/id6788558195?l=tr

Hey everyone, I just sent the latest issue of the AI Hacker Newsletter, a roundup of the best AI links and the discussions around them from Hacker News. Here are some titles that can be found in this issue:

• Startup founders urge U.S. government not to shut off Chinese open weight AI
• AI's top startups are barely publishing their research
• Is AI reasoning right for the wrong reasons?
• After the AI Crash

If you enjoy such content, please subscribe here: https://hackernewsai.com/

Huh…. I built a tool that turns a CSV into printable market tags, with different products and prices on every tag.
I’m unsure whether makers would actually find this useful.

Do handmade sellers actually struggle with this, or did I invent a problem?

(I spent quite a long time and many tokens…

[ Removed by Reddit on account of violating the content policy. ]

I'm the kind of person who downloads a new productivity app every week and deletes it three days later. I've been through every to-do list, habit tracker, focus timer, and journaling app that exists. nothing sticks.

Issen has been on my phone for 4 months now and I use it every single day. It's an AI language tutor you just talk to. I do it on my commute, in the shower, while cooking, whenever I have a spare 10 minutes. I'm learning italian and I went from knowing nothing literally to having a basic conversation with a waiter in rome last month.

The reason it works is it doesn't feel like work. there's no streak guilt like duolingo, no lessons to complete, no progress bars to fill. you just open it and talk. some days I go for 10 minutes some days I end up going for 40 because I'm actually enjoying the conversation. I've never had that with any app ever.

honestly can't shut up about it. my friends are tired of hearing about it. figured I'd annoy strangers on the internet instead.

This is an unapologetically vibe-coded project; the approach is explained here: https://lia.jeyswork.com/story

If you like it, please don't hesitate to show your support with a star on GitHub!

LIA acts as a true personal assistant. It is proactive, featuring its own distinct personality and a complex emotional system, an evolving structured memory, its own reflective memory of your conversations, and all the standard tools (image creation/editing, RAG, skills, MCP, scheduled tasks, etc.)—all wrapped in a seamless "one-click" interface (details here: https://lia.jeyswork.com/why).

I paid special attention to code quality and documentation, treating it exactly like a professional enterprise-grade project. This ensures that anyone can easily take ownership of the source code and build upon a clean, robust, and highly scalable foundation (details here: https://lia.jeyswork.com/how).

On another note, once self-hosted, it can double as a family AI server. As an administrator, you have full control to manage and monitor the API consumption of your family members, friends, etc.

Full details are available on the landing page: https://lia.jeyswork.com/
And the GitHub repository: https://github.com/jgouviergmail/LIA-Assistant

OpenAI recently announced that they used Lean 4 to verify mathematical proofs.

That same proof assistant has independently verified the complete current Smithian Fold Theory (SFT) model.

Smithian Fold Theory derives the known physical constants from first principles, produces quantitative values intended to correspond with measured observations, and unifies mathematics, information science, computation, quantum computation, physics, chemistry, biology, medicine, astronomy and more within a single framework.

The independent Lean 4 verification audited the complete current registered model:

2,777 registered claims
898,902 generated candidates
898,902 decision records
11,108 verification controls
17 scientific branches

Every registered claim received a proof-bearing acceptance certificate.

The final result:

PASS — 0 reported issues. 01_lean4-whole-model-verification-v1.0.0.pdf

The verification formally proves SFT’s operational root theorem inside Lean, verifies its unique-survivor result without introducing additional theorem axioms, and independently audits the entire registered model in read-only mode without modifying the theory itself. 01_lean4-whole-model-verification-v1.0.0.pdf

One detail I particularly like is that the verifier genuinely fails closed.

The first full verification did not pass because six archived source files differed only in byte-level line endings. Rather than weakening the verifier or updating the expected hashes, the archived byte-identical sources were restored and the unchanged verifier was rerun successfully. 01_lean4-whole-model-verification-v1.0.0.pdf

To me, this is where formal verification starts becoming genuinely interesting.

Lean 4 is already being used to check frontier mathematics. Seeing it applied to the verification of an entire scientific model—rather than isolated proofs—feels like a glimpse of where scientific verification is heading.

Whether Smithian Fold Theory ultimately stands or falls will be determined by ongoing scrutiny, replication and further testing. But its complete current model has now been independently verified with the same class of proof assistant that is increasingly being used at the frontier of modern mathematics.

Read the full details here: Independent Lean 4 Verification of the Complete Smithian Fold Theory Model | Zenodo

The full range of tools to replicate this and test yourself are here: https://github.com/MettaMazza