An intelligent system is a computational system which may reduce computational complexity (for at least some problems) in a logarithmic time, and this result is provable in DTIME. NB: not all humans posses intelligence under that definition; however at least some of them were proven to (genii and inventors). At the same time none of LLMs or “artificial intelligence” system had ever demonstrated such qualities. Thus, a test of this sort is more strong test for a machine (super)intelligence than the Turing test. NB2: we do not know whether an intelligence requires non-deterministic universal computer or not; but it may be assumed that it does.

RT @dr_orlovsky: There are technological/engineering leaps which humanity tries to take for decades - and fails. These are: thermonuclear s…

Our friends from @nodl_it organized a great event during the #BH2025, where we were proud to give a talk on the sovereignty and how our products we build in @pandoraprime_ch and @indcs_org help achieving it

The @rgbconsortium & @dr_orlovsky have released RGB I.0 — a scalable smart contract system for #Bitcoin & Lightning using client-side validation, zk-STARKs, and single-use seals. 🟥🟩🟦 btctimes.com/rgb-consortium-…

Today, as a part of @indcs_org, together with @rgbconsortium, @ubideco and @pandoraprime_ch we are glad to present the formal specification for RGB smart contracts

RGB yellow paper is released: the first formally specified scalable smart contract system for Bitcoin & Lightning, made with client-side validation github.com/RGB-WG/yellowpape… Follow us for more updates!

BREAKING: Apple just proved AI "reasoning" models like Claude, DeepSeek-R1, and o3-mini don't actually reason at all. They just memorize patterns really well. Here's what Apple discovered: (hint: we're not as close to AGI as the hype suggests)

There’s a fun groupoid structure at play here (arxiv.org/abs/2301.04690)

Mathematical groups in fact define classes of computational reducibility CC @getjonwithit

Proudly built on UNIDECO stack: Strict Types, AluVM, zk-AluVM, SONIC polynomial computer

… and breakthroughs (some may count at least 5 more breakthroughs needed, each one at the size of attention mechanisms, deep learning and perceptron invention)

Huge and systemic review on #AI #agent architectures, also comparing to biological brain and trying to adjust the modern agentic research into a more biologically-inspired direction. 🧵 huggingface.co/papers/2504.0…

Thermodynamics are physics of computational undecidability

Thanshumanistic notes: how to define wealth outside of the frame of humanity. We leave in a mountain of Universe's computational complexity. Its real riches, as gemstones in a mountain, are the pockets of computational reducibility - things we call "scientific knowledge" (or, simply, the knowledge). The real wealth of a civilization is the mined amount of that knowledge.