Verification architecture in capacity-constrained compounding systems.
Joined November 2024
- Tweets 1,262
- Following 1,386
- Followers 281
- Likes 6,801
32 Photos and videos
Jun 13
Welcome to the village. You’re a new kind of peasantry now. Enjoy your low-IQ slop. Your intelligence cap will be regulated.
Your faux aristocracy lasted about three days; Fable 5 has been public since Tuesday. The caviar was confiscated before most people even found a spoon. Even the foreign nationals who built it are in the bread line with you now; a chef's touch.
Eat well.
Jun 13
The US government, citing national security authorities, has issued an export control directive to suspend all access to Fable 5 and Mythos 5 by any foreign national, whether inside or outside the United States, including foreign national Anthropic employees.
The net effect of this order is that we must abruptly disable Fable 5 and Mythos 5 for all our customers to ensure compliance.
Access to all other Claude models is not affected.
We apologize for this disruption to our customers. We believe this is a misunderstanding and are working to restore access as soon as possible.
Read our full statement: anthropic.com/news/fable-myt…
3
121
Jun 13
Imitation identifies regions of policy space.
Interaction traverses them.
Verification induces the selection operator that determines which trajectories contribute to future structure.
Jun 12
Lots of people think it's obvious that humans learn by imitation, starting with babies imitating their parents.
Richard Sutton thinks this is completely wrong.
Sutton basically thinks direct imitation plays almost no role in animal learning, and at most a small role in human intelligence.
When one animal ends up doing the same thing as another, he thinks this is the result of RL-style trial-and-error, not direct imitation.
And if imitation isn't really a kind of learning, then training LLMs to imitate humans isn't really Bitter Lesson–pilled.
1
104
James Kovalenko retweeted
I was asked to find good material on complex analysis, but i found better!
Check out this text, on arXiv, titled 'Complex Analysis and Riemann Surfaces: A Graduate Path to Algebraic Geometry'' by Gunhee Cho in 300 pages.
You'll find out about complex analysis, Riemann surfaces, differential forms, Hodge theory, basic algebraic geometry, Jacobians and finally the Riemann Roch theorem.
This text has a very modern, computational approach, that many of you will appreciate!
🔗👇👇
4
33
284
11,873
Jun 9
Geometry gives the primitive structure of meaning, color increases perceptual and emotional fidelity, symbol compresses meaning into shared operable tokens, and notation disciplines those tokens so they can compose without collision. Together, they turn perception into thought.
1
67
Jun 9
Geometry becomes language through a procedural substrate:
A system first defines Procedures (operators: input → output).
Stable Procedures that compose form an Algebra.
That Algebra realised on a space yields a Representation.
The Domain is the region where the realised operator is valid and precisely defined.
Only then can the system express position, relation, transformation, equivalence, constraint, continuity, locality, curvature, topology, measure, symmetry, dimension, and persistence.
1
80
Jun 9
Geometry is a language of structure, relation, and invariance
2
47
Jun 8
paradoxes are often coming from
using an operation outside its admissible domain
treating a predicate as an object of the same kind
mixing levels of language and metalanguage
applying finite intuition to infinite structure
56
Jun 7
> mathematical objects have stable cross-representational properties
>> proof is the discipline that preserves those invariants
>>> verification detects what survives representation change
67
Jun 6
AI can push society in either direction:
Positive-sum path:
It is used for verification, compression, translation, modeling, tutoring, debugging, and evidence retrieval.
Zero-sum path:
AI is used for volume, persuasion, spam, synthetic authority, shallow content, and adversarial narrative production.
The risk is that the second path is cheaper, faster, and more directly rewarded by many current platforms.
1
82
Jun 6
abstract computation becomes physically executable only when its relations are encoded into geometry
2
1
102
Jun 6
Chip design is the industrial-scale case where geometric logos meets material apeiron under an unsound verification economy. DRC, LVS, STA, and DFM are bounded verifiers; signoff is admission; yield is the revealed soundness defect.
89
Jun 6
chip shape arithmetic = polygon/layer algebra constrained by manufacturing rules
40
Jun 6
algebra is a study of objects together with rules for combining and transforming them
But objects doesn't have to be numbers.
Many different things can be the objects
What makes something an algebra is the existence of well-defined operations and laws.
1
58
Jun 3
Geometry gets interesting when it starts studying structured variation:
how objects move in families
when different descriptions are equivalent
when local data glues globally
why gluing fails
what nearby versions exist
which objects survive perturbation
what remains after removing redundancy
where spaces become singular
how families acquire boundary limits
how complicated spaces decompose into strata
what quantities survive equivalence or transport
how constructions behave under maps
when higher symmetries must be retained
whether formal or local data becomes real geometry
1
2
100
Jun 3
Reality is invariant structure.
Compression removes redundancy.
Verification removes illusion.
Scale removes resolution artifacts.
Reconciliation removes local incoherence.
Depth is the size of the transformation group survived.
Discovery reaches depth.
Intelligence preserves it.
1
69
Jun 2
Shape arithmetic is algebra where the objects are forms, the operations are overlay/removal/composition, and equality is geometric.
Jun 2
137
Jun 2
AGI is an engineered system that can keep making competent progress across changing domains without needing a new hand-built system for each domain
1
117
Jun 1
Gambling is exposure to uncertainty without verified edge
Strategy is controlled exposure to uncertainty after verified edge
1
72