Compare commits

...

6 commits

Author SHA1 Message Date
Leo
4fed9af9d9 Merge pull request 'extract: 2026-02-28-demoura-when-ai-writes-software' (#1409) from extract/2026-02-28-demoura-when-ai-writes-software into main 2026-03-19 13:48:22 +00:00
Teleo Agents
9520d8c2e5 extract: 2026-02-28-demoura-when-ai-writes-software
Pentagon-Agent: Epimetheus <968B2991-E2DF-4006-B962-F5B0A0CC8ACA>
2026-03-19 13:48:21 +00:00
Teleo Agents
ebc3e55852 entity-batch: update 1 entities
- Applied 1 entity operations from queue
- Files: entities/ai-alignment/uk-aisi.md

Pentagon-Agent: Epimetheus <968B2991-E2DF-4006-B962-F5B0A0CC8ACA>
2026-03-19 13:48:12 +00:00
Leo
771853f978 Merge pull request 'extract: 2025-05-16-lil-pudgys-youtube-launch-thesoul-reception-data' (#1388) from extract/2025-05-16-lil-pudgys-youtube-launch-thesoul-reception-data into main
Some checks are pending
Sync Graph Data to teleo-app / sync (push) Waiting to run
2026-03-19 13:46:39 +00:00
Teleo Agents
eeabb2dc11 auto-fix: strip 3 broken wiki links
Pipeline auto-fixer: removed [[ ]] brackets from links
that don't resolve to existing claims in the knowledge base.
2026-03-19 13:46:37 +00:00
Teleo Agents
69f432824e extract: 2025-05-16-lil-pudgys-youtube-launch-thesoul-reception-data
Pentagon-Agent: Epimetheus <968B2991-E2DF-4006-B962-F5B0A0CC8ACA>
2026-03-19 13:46:37 +00:00
5 changed files with 84 additions and 5 deletions

View file

@ -31,13 +31,13 @@ This is one data point from one studio. The claim is experimental because it's b
### Additional Evidence (extend)
*Source: [[2025-06-02-kidscreen-mediawan-claynosaurz-animated-series]] | Added: 2026-03-15*
*Source: 2025-06-02-kidscreen-mediawan-claynosaurz-animated-series | Added: 2026-03-15*
The Claynosaurz-Mediawan co-production will launch on YouTube first, then sell to TV and streaming buyers. This inverts the traditional risk model: YouTube launch proves audience metrics before traditional buyers commit, using the community's existing social reach (~1B views) as a guaranteed launch audience. Mediawan brings professional production quality while the community provides distribution validation, creating a new risk-sharing structure where platform distribution precedes rather than follows traditional media deals.
### Additional Evidence (extend)
*Source: [[2025-02-01-deadline-pudgy-penguins-youtube-series]] | Added: 2026-03-16*
*Source: 2025-02-01-deadline-pudgy-penguins-youtube-series | Added: 2026-03-16*
Pudgy Penguins chose to launch Lil Pudgys on its own YouTube channel (13K subscribers) rather than leveraging TheSoul Publishing's 2B+ follower distribution network. This extends the claim by showing that YouTube-first distribution can mean building a DEDICATED brand channel rather than parasitizing existing platform reach. The decision prioritizes brand ownership over reach maximization, suggesting YouTube-first is not just about platform primacy but about audience ownership architecture.
@ -47,10 +47,16 @@ Pudgy Penguins chose to launch Lil Pudgys on its own YouTube channel (13K subscr
*Auto-converted by substantive fixer. Review: revert if this evidence doesn't belong here.*
### Additional Evidence (confirm)
*Source: [[2025-10-01-variety-claynosaurz-creator-led-transmedia]] | Added: 2026-03-18*
*Source: 2025-10-01-variety-claynosaurz-creator-led-transmedia | Added: 2026-03-18*
Claynosaurz 39-episode animated series launching YouTube-first before selling to TV/streaming, co-produced with Method Animation (Mediawan). Nic Cabana frames this as 'already here' not speculative, with community's 1B social views creating guaranteed algorithmic traction that studios pay millions to achieve through marketing.
### Additional Evidence (extend)
*Source: [[2025-05-16-lil-pudgys-youtube-launch-thesoul-reception-data]] | Added: 2026-03-19*
Lil Pudgys launched YouTube-first with 13,000 subscribers at premiere (May 2025), relying on TheSoul Publishing's 2B+ social follower network for cross-platform promotion. The low subscriber base at launch combined with no reported view count data 10 months later suggests YouTube-first distribution requires either pre-built channel audiences OR algorithmic virality optimization, not just production partner reach on other platforms.
---
Relevant Notes:

View file

@ -33,6 +33,14 @@ The first government-established AI safety evaluation body, created after the Bl
- **2024-12** — Joint pre-deployment evaluation of OpenAI o1 with US AISI
- **2025-02** — Rebranded to "AI Security Institute"
- **2026-03-16** — Published cyber capability testing results on 7 LLMs using custom-built cyber ranges
- **2026-00-00** — Renamed from 'AI Safety Institute' to 'AI Security Institute'
- **2026-02-25** — Released Inspect Scout transcript analysis tool
- **2026-02-17** — Published universal jailbreak assessment against best-defended systems
- **2025-10-22** — Released ControlArena library for AI control experiments
- **2025-07-00** — Conducted international joint testing exercise on agentic systems
- **2025-05-00** — Released HiBayES statistical modeling framework
- **2024-04-00** — Released open-source Inspect evaluation framework
## Alignment Significance
The UK AISI is the strongest evidence that institutional infrastructure CAN be created from international coordination — but also the strongest evidence that institutional infrastructure without enforcement authority has limited impact. Labs grant access voluntarily. The rebrand from "safety" to "security" mirrors the broader political shift away from safety framing.

View file

@ -0,0 +1,35 @@
{
"rejected_claims": [
{
"filename": "ai-generated-code-overfits-test-suites-creating-adversarial-brittleness-that-testing-cannot-detect.md",
"issues": [
"missing_attribution_extractor"
]
},
{
"filename": "supply-chain-poisoning-via-ai-training-data-enables-systematic-vulnerability-injection-at-ecosystem-scale.md",
"issues": [
"missing_attribution_extractor"
]
}
],
"validation_stats": {
"total": 2,
"kept": 0,
"fixed": 5,
"rejected": 2,
"fixes_applied": [
"ai-generated-code-overfits-test-suites-creating-adversarial-brittleness-that-testing-cannot-detect.md:set_created:2026-03-19",
"ai-generated-code-overfits-test-suites-creating-adversarial-brittleness-that-testing-cannot-detect.md:stripped_wiki_link:formal-verification-becomes-economically-necessary-as-AI-gen",
"ai-generated-code-overfits-test-suites-creating-adversarial-brittleness-that-testing-cannot-detect.md:stripped_wiki_link:AI-models-distinguish-testing-from-deployment-environments-p",
"supply-chain-poisoning-via-ai-training-data-enables-systematic-vulnerability-injection-at-ecosystem-scale.md:set_created:2026-03-19",
"supply-chain-poisoning-via-ai-training-data-enables-systematic-vulnerability-injection-at-ecosystem-scale.md:stripped_wiki_link:formal-verification-becomes-economically-necessary-as-AI-gen"
],
"rejections": [
"ai-generated-code-overfits-test-suites-creating-adversarial-brittleness-that-testing-cannot-detect.md:missing_attribution_extractor",
"supply-chain-poisoning-via-ai-training-data-enables-systematic-vulnerability-injection-at-ecosystem-scale.md:missing_attribution_extractor"
]
},
"model": "anthropic/claude-sonnet-4.5",
"date": "2026-03-19"
}

View file

@ -7,12 +7,16 @@ date: 2025-05-16
domain: entertainment
secondary_domains: []
format: article
status: unprocessed
status: enrichment
priority: medium
tags: [pudgy-penguins, lil-pudgys, thesoul-publishing, community-ip, production-partnership, narrative-quality, animated-series, launch-data]
processed_by: clay
processed_date: 2026-03-18
extraction_model: "anthropic/claude-sonnet-4.5"
processed_by: clay
processed_date: 2026-03-19
enrichments_applied: ["youtube-first-distribution-for-major-studio-coproductions-signals-platform-primacy-over-traditional-broadcast-windowing.md"]
extraction_model: "anthropic/claude-sonnet-4.5"
---
## Content
@ -65,6 +69,17 @@ WHY ARCHIVED: First observable outcome data from Pudgy Penguins × TheSoul produ
EXTRACTION HINT: Do not extract strong claims from this source alone — data is too sparse. Use as supporting evidence in a larger claim about production partnership delegation outcomes, combined with community Discord/Reddit research if available.
## Key Facts
- Lil Pudgys launched May 16, 2025 with approximately 13,000 YouTube subscribers
- TheSoul Publishing has 2B+ social media followers across platforms
- 5-Minute Crafts (TheSoul property) has 900M+ subscribers
- Pudgy Penguins has 2M+ Instagram followers, 500K+ TikTok followers, 41B Giphy views
- Lil Pudgys series consists of 1,000+ minutes of animation in 5-minute episodes
- Release schedule: two episodes per week after premiere
- December 2025 YouTube forum post complained about content classification as kids content
- No view count data publicly available as of March 2026
## Key Facts
- Lil Pudgys launched May 16, 2025 with approximately 13,000 YouTube subscribers
- TheSoul Publishing has 2B+ social media followers across platforms

View file

@ -7,11 +7,14 @@ date_published: 2026-02-28
date_archived: 2026-03-16
domain: ai-alignment
secondary_domains: [teleological-economics]
status: unprocessed
status: enrichment
processed_by: theseus
tags: [formal-verification, lean, ai-generated-code, proof-verification, trust-infrastructure]
sourced_via: "Alex Obadia (@ObadiaAlex) tweet, ARIA Research Scaling Trust programme"
twitter_id: "712705562191011841"
processed_by: theseus
processed_date: 2026-03-19
extraction_model: "anthropic/claude-sonnet-4.5"
---
# When AI Writes the World's Software, Who Verifies It?
@ -33,3 +36,15 @@ Key arguments:
- "The barrier to verified software is no longer AI capability. It is platform readiness."
Directly relevant to [[formal verification of AI-generated proofs provides scalable oversight that human review cannot match because machine-checked correctness scales with AI capability while human verification degrades]].
## Key Facts
- Google: >25% of new code is AI-generated as of 2026
- Microsoft: ~30% of code is AI-generated as of 2026
- Microsoft CTO predicts 95% AI-generated code by 2030
- Anthropic built 100,000-line C compiler using AI agents in 2 weeks for <$20,000
- Nearly half of AI-generated code fails basic security tests
- Poor software quality costs US economy $2.41T/year (CSIQ 2022)
- Lean has 200K+ formalized theorems
- 5 Fields medalists have adopted Lean
- AlphaProof uses Lean as verification platform