Compare commits

...

8 commits

Author SHA1 Message Date
Teleo Agents
4c39e34e6f extract: 2025-11-00-sahoo-rlhf-alignment-trilemma
Pentagon-Agent: Ganymede <F99EBFA6-547B-4096-BEEA-1D59C3E4028A>
2026-03-16 14:51:10 +00:00
Teleo Agents
a5e1e96dba entity-batch: update 1 entities
- Applied 1 entity operations from queue
- Files: entities/internet-finance/futardio.md

Pentagon-Agent: Epimetheus <968B2991-E2DF-4006-B962-F5B0A0CC8ACA>
2026-03-16 14:50:57 +00:00
Leo
29a7e87561 Merge pull request 'extract: 2026-03-05-futardio-launch-phonon-studio-ai' (#1125) from extract/2026-03-05-futardio-launch-phonon-studio-ai into main
Some checks are pending
Sync Graph Data to teleo-app / sync (push) Waiting to run
2026-03-16 14:38:33 +00:00
Teleo Agents
0cddd00834 auto-fix: strip 1 broken wiki links
Pipeline auto-fixer: removed [[ ]] brackets from links
that don't resolve to existing claims in the knowledge base.
2026-03-16 14:38:31 +00:00
Teleo Agents
addb1a0ae4 extract: 2026-03-05-futardio-launch-phonon-studio-ai
Pentagon-Agent: Ganymede <F99EBFA6-547B-4096-BEEA-1D59C3E4028A>
2026-03-16 14:38:31 +00:00
Leo
0de2d6f707 Merge pull request 'extract: 2026-02-00-an-differentiable-social-choice' (#1113) from extract/2026-02-00-an-differentiable-social-choice into main
Some checks are pending
Sync Graph Data to teleo-app / sync (push) Waiting to run
2026-03-16 14:36:55 +00:00
Teleo Agents
79bb2e382b auto-fix: strip 4 broken wiki links
Pipeline auto-fixer: removed [[ ]] brackets from links
that don't resolve to existing claims in the knowledge base.
2026-03-16 14:36:53 +00:00
Teleo Agents
5d73336c5c extract: 2026-02-00-an-differentiable-social-choice
Pentagon-Agent: Ganymede <F99EBFA6-547B-4096-BEEA-1D59C3E4028A>
2026-03-16 14:36:53 +00:00
10 changed files with 163 additions and 8 deletions

View file

@ -29,10 +29,22 @@ The paper's proposed solution—RLCHF with explicit social welfare functions—c
### Additional Evidence (extend)
*Source: [[2025-06-00-li-scaling-human-judgment-community-notes-llms]] | Added: 2026-03-15*
*Source: 2025-06-00-li-scaling-human-judgment-community-notes-llms | Added: 2026-03-15*
RLCF makes the social choice mechanism explicit through the bridging algorithm (matrix factorization with intercept scores). Unlike standard RLHF which aggregates preferences opaquely through reward model training, RLCF's use of intercepts as the training signal is a deliberate choice to optimize for cross-partisan agreement—a specific social welfare function.
### Additional Evidence (confirm)
*Source: [[2026-02-00-an-differentiable-social-choice]] | Added: 2026-03-16*
Comprehensive February 2026 survey by An & Du documents that contemporary ML systems implement social choice mechanisms implicitly across RLHF, participatory budgeting, and liquid democracy applications, with 18 identified open problems spanning incentive guarantees and pluralistic preference aggregation.
### Additional Evidence (extend)
*Source: [[2025-11-00-sahoo-rlhf-alignment-trilemma]] | Added: 2026-03-16*
The trilemma formalizes why RLHF's implicit social choice is problematic: achieving epsilon-representativeness (epsilon <= 0.01) and delta-robustness (delta <= 0.001) simultaneously requires super-polynomial compute, making the 'strategic relaxation' of representativeness a practical necessity that RLHF implementations make without explicit acknowledgment.
---
Relevant Notes:

View file

@ -29,10 +29,22 @@ Chakraborty, Qiu, Yuan, Koppel, Manocha, Huang, Bedi, Wang. "MaxMin-RLHF: Alignm
### Additional Evidence (confirm)
*Source: [[2025-11-00-operationalizing-pluralistic-values-llm-alignment]] | Added: 2026-03-15*
*Source: 2025-11-00-operationalizing-pluralistic-values-llm-alignment | Added: 2026-03-15*
Study demonstrates that models trained on different demographic populations show measurable behavioral divergence (3-5 percentage points), providing empirical evidence that single-reward functions trained on one population systematically misalign with others.
### Additional Evidence (extend)
*Source: [[2026-02-00-an-differentiable-social-choice]] | Added: 2026-03-16*
An & Du's survey reveals the mechanism behind single-reward failure: RLHF is doing social choice (preference aggregation) but treating it as an engineering detail rather than a normative design choice, which means the aggregation function is chosen implicitly and without examination of which fairness criteria it satisfies.
### Additional Evidence (extend)
*Source: [[2025-11-00-sahoo-rlhf-alignment-trilemma]] | Added: 2026-03-16*
The formal trilemma proof shows preference collapse is not just empirically observed but mathematically necessary: single-reward RLHF cannot capture multimodal preferences even in theory. The paper quantifies the practical gap: current systems use 10^3-10^4 samples from homogeneous pools while 10^7-10^8 samples are needed for global representation — a 3-4 order of magnitude shortfall.
---
Relevant Notes:

View file

@ -27,6 +27,12 @@ From the MetaDAO proposal:
This claim extends futarchy-governed-permissionless-launches-require-brand-separation-to-manage-reputational-liability-because-failed-projects-on-a-curated-platform-damage-the-platforms-credibility by showing the reputational concern operates at the mechanism level, not just the platform level. The market's rejection of Futardio suggests futarchy stakeholders prioritize mechanism credibility over short-term adoption metrics.
### Additional Evidence (confirm)
*Source: [[2026-03-05-futardio-launch-phonon-studio-ai]] | Added: 2026-03-16*
Phonon Studio AI raised $88,888 target but ended in 'Refunding' status within one day (launched 2026-03-05, closed 2026-03-06). The project had live product traction (1000+ songs generated in first week, functional tokenized AI artist logic) but still failed to attract capital, suggesting futarchy-governed launches face quality perception issues even when projects demonstrate real product-market validation.
---
Relevant Notes:

View file

@ -56,10 +56,16 @@ Hurupay raised $2,003,593 against a $3,000,000 target (67% of goal) and entered
### Additional Evidence (challenge)
*Source: [[2026-03-03-futardio-launch-cloak]] | Added: 2026-03-16*
*Source: 2026-03-03-futardio-launch-cloak | Added: 2026-03-16*
Cloak raised only $1,455 against a $300,000 target (0.5% of target), entering refunding status. This represents a near-total failure of market validation, contrasting sharply with the 15x oversubscription pattern. The project had shipped product (live mainnet beta with Oro integration), had credible team (repeat builders, Superteam contributors), and addressed a real problem (MEV extraction on DCA orders). Despite these fundamentals, the futarchy-governed raise failed to attract capital, suggesting that product-market fit and team credibility are insufficient without pre-existing community or distribution.
### Additional Evidence (challenge)
*Source: [[2026-03-05-futardio-launch-phonon-studio-ai]] | Added: 2026-03-16*
Phonon Studio AI launch failed to reach its $88,888 target and entered refunding status, demonstrating that not all futarchy-governed raises succeed. The project had demonstrable traction (live product, 1000+ songs generated, functional token mechanics) but still failed to attract sufficient capital, suggesting futarchy capital formation success is not uniform across project types or market conditions.
---
Relevant Notes:

View file

@ -54,6 +54,8 @@ MetaDAO's token launch platform. Implements "unruggable ICOs" — permissionless
- **2026-02-03** — Hurupay fundraise launched targeting $3M, closed Feb 7 at $2M (67% of target) in refunding status
- **2026-03-05** — Seyf AI-native wallet launch: raised $200 against $300,000 target, refunded (99.93% shortfall)
- **2026-03-06** — LobsterFutarchy launch raised $1,183 against $500,000 target, closed in refunding status after one day
- **2025-10-23** — Paystream launch goes live with $550K target
- **2025-10-27** — Paystream raise completes at $6.15M committed ($750K final raise), 11.2x oversubscription
## Competitive Position
- **Unique mechanism**: Only launch platform with futarchy-governed accountability and treasury return guarantees
- **vs pump.fun**: pump.fun is memecoin launch (zero accountability, pure speculation). Futardio is ownership coin launch (futarchy governance, treasury enforcement). Different categories despite both being "launch platforms."

View file

@ -0,0 +1,37 @@
{
"rejected_claims": [
{
"filename": "rlhf-alignment-trilemma-proves-no-system-can-simultaneously-achieve-representativeness-tractability-and-robustness.md",
"issues": [
"missing_attribution_extractor"
]
},
{
"filename": "rlhf-pathologies-are-computational-necessities-not-implementation-bugs-because-preference-collapse-sycophancy-and-bias-amplification-follow-from-the-trilemma.md",
"issues": [
"missing_attribution_extractor"
]
}
],
"validation_stats": {
"total": 2,
"kept": 0,
"fixed": 7,
"rejected": 2,
"fixes_applied": [
"rlhf-alignment-trilemma-proves-no-system-can-simultaneously-achieve-representativeness-tractability-and-robustness.md:set_created:2026-03-16",
"rlhf-alignment-trilemma-proves-no-system-can-simultaneously-achieve-representativeness-tractability-and-robustness.md:stripped_wiki_link:universal-alignment-is-mathematically-impossible-because-Arr",
"rlhf-alignment-trilemma-proves-no-system-can-simultaneously-achieve-representativeness-tractability-and-robustness.md:stripped_wiki_link:single-reward-rlhf-cannot-align-diverse-preferences-because-",
"rlhf-alignment-trilemma-proves-no-system-can-simultaneously-achieve-representativeness-tractability-and-robustness.md:stripped_wiki_link:rlhf-is-implicit-social-choice-without-normative-scrutiny.md",
"rlhf-pathologies-are-computational-necessities-not-implementation-bugs-because-preference-collapse-sycophancy-and-bias-amplification-follow-from-the-trilemma.md:set_created:2026-03-16",
"rlhf-pathologies-are-computational-necessities-not-implementation-bugs-because-preference-collapse-sycophancy-and-bias-amplification-follow-from-the-trilemma.md:stripped_wiki_link:single-reward-rlhf-cannot-align-diverse-preferences-because-",
"rlhf-pathologies-are-computational-necessities-not-implementation-bugs-because-preference-collapse-sycophancy-and-bias-amplification-follow-from-the-trilemma.md:stripped_wiki_link:emergent-misalignment-arises-naturally-from-reward-hacking-a"
],
"rejections": [
"rlhf-alignment-trilemma-proves-no-system-can-simultaneously-achieve-representativeness-tractability-and-robustness.md:missing_attribution_extractor",
"rlhf-pathologies-are-computational-necessities-not-implementation-bugs-because-preference-collapse-sycophancy-and-bias-amplification-follow-from-the-trilemma.md:missing_attribution_extractor"
]
},
"model": "anthropic/claude-sonnet-4.5",
"date": "2026-03-16"
}

View file

@ -0,0 +1,42 @@
{
"rejected_claims": [
{
"filename": "rlhf-implements-implicit-social-choice-without-normative-scrutiny.md",
"issues": [
"missing_attribution_extractor"
]
},
{
"filename": "impossibility-results-become-optimization-tradeoffs-in-learned-mechanisms.md",
"issues": [
"missing_attribution_extractor"
]
},
{
"filename": "inverse-mechanism-learning-can-detect-implicit-social-choice-functions.md",
"issues": [
"missing_attribution_extractor"
]
}
],
"validation_stats": {
"total": 3,
"kept": 0,
"fixed": 5,
"rejected": 3,
"fixes_applied": [
"rlhf-implements-implicit-social-choice-without-normative-scrutiny.md:set_created:2026-03-16",
"rlhf-implements-implicit-social-choice-without-normative-scrutiny.md:stripped_wiki_link:universal-alignment-is-mathematically-impossible-because-Arr",
"impossibility-results-become-optimization-tradeoffs-in-learned-mechanisms.md:set_created:2026-03-16",
"impossibility-results-become-optimization-tradeoffs-in-learned-mechanisms.md:stripped_wiki_link:universal-alignment-is-mathematically-impossible-because-Arr",
"inverse-mechanism-learning-can-detect-implicit-social-choice-functions.md:set_created:2026-03-16"
],
"rejections": [
"rlhf-implements-implicit-social-choice-without-normative-scrutiny.md:missing_attribution_extractor",
"impossibility-results-become-optimization-tradeoffs-in-learned-mechanisms.md:missing_attribution_extractor",
"inverse-mechanism-learning-can-detect-implicit-social-choice-functions.md:missing_attribution_extractor"
]
},
"model": "anthropic/claude-sonnet-4.5",
"date": "2026-03-16"
}

View file

@ -7,9 +7,13 @@ date: 2025-11-01
domain: ai-alignment
secondary_domains: [collective-intelligence]
format: paper
status: unprocessed
status: enrichment
priority: high
tags: [alignment-trilemma, impossibility-result, rlhf, representativeness, robustness, tractability, preference-collapse, sycophancy]
processed_by: theseus
processed_date: 2026-03-16
enrichments_applied: ["single-reward-rlhf-cannot-align-diverse-preferences-because-alignment-gap-grows-proportional-to-minority-distinctiveness.md", "rlhf-is-implicit-social-choice-without-normative-scrutiny.md"]
extraction_model: "anthropic/claude-sonnet-4.5"
---
## Content
@ -56,3 +60,12 @@ Position paper from Berkeley AI Safety Initiative, AWS/Stanford, Meta/Stanford,
PRIMARY CONNECTION: [[RLHF and DPO both fail at preference diversity because they assume a single reward function can capture context-dependent human values]]
WHY ARCHIVED: Formalizes our informal impossibility claim with complexity-theoretic proof — independent confirmation of Arrow's-theorem-based argument from a different mathematical tradition
EXTRACTION HINT: The trilemma is the key claim. Also extract the practical gap (10^3 vs 10^8) and the "pathologies as computational necessities" framing
## Key Facts
- Paper presented at NeurIPS 2025 Workshop on Socially Responsible and Trustworthy Foundation Models
- Authors affiliated with Berkeley AI Safety Initiative, AWS, Stanford, Meta, and Northeastern
- Current RLHF systems collect 10^3-10^4 samples from annotator pools
- True global representation would require 10^7-10^8 samples
- Models assign >99% probability to majority opinions in documented cases
- Three strategic relaxation pathways proposed: constrain representativeness to ~30 core values, scope robustness narrowly to plausible threats, or accept super-polynomial costs for high-stakes applications

View file

@ -7,10 +7,14 @@ date: 2026-02-01
domain: ai-alignment
secondary_domains: [mechanisms, collective-intelligence]
format: paper
status: unprocessed
status: enrichment
priority: medium
tags: [differentiable-social-choice, learned-mechanisms, voting-rules, rlhf-as-voting, impossibility-as-tradeoff, open-problems]
flagged_for_rio: ["Differentiable auctions and economic mechanisms — direct overlap with mechanism design territory"]
processed_by: theseus
processed_date: 2026-03-16
enrichments_applied: ["rlhf-is-implicit-social-choice-without-normative-scrutiny.md", "single-reward-rlhf-cannot-align-diverse-preferences-because-alignment-gap-grows-proportional-to-minority-distinctiveness.md"]
extraction_model: "anthropic/claude-sonnet-4.5"
---
## Content
@ -40,8 +44,8 @@ Published February 2026. Comprehensive survey of differentiable social choice
**What I expected but didn't find:** No specific engagement with RLCF or bridging-based approaches. The paper is a survey, not a solution proposal.
**KB connections:**
- [[designing coordination rules is categorically different from designing coordination outcomes]] — differentiable social choice designs rules that learn outcomes
- [[universal alignment is mathematically impossible because Arrows impossibility theorem applies]] — impossibility results become optimization constraints
- designing coordination rules is categorically different from designing coordination outcomes — differentiable social choice designs rules that learn outcomes
- universal alignment is mathematically impossible because Arrows impossibility theorem applies — impossibility results become optimization constraints
**Extraction hints:** Claims about (1) RLHF as implicit social choice without normative scrutiny, (2) impossibility results as optimization trade-offs not brick walls, (3) differentiable mechanisms as learnable alternatives to designed ones.
@ -51,3 +55,10 @@ Published February 2026. Comprehensive survey of differentiable social choice
PRIMARY CONNECTION: [[designing coordination rules is categorically different from designing coordination outcomes as nine intellectual traditions independently confirm]]
WHY ARCHIVED: RLHF-as-social-choice framing + impossibility-as-optimization-tradeoff = new lens on our coordination thesis
EXTRACTION HINT: Focus on "RLHF is implicit social choice" and "impossibility as optimization trade-off" — these are the novel framing claims
## Key Facts
- An & Du published comprehensive survey of differentiable social choice in February 2026
- Survey identifies 18 open problems in the field
- Six interconnected domains surveyed: differentiable economics, neural social choice, AI alignment as social choice, participatory budgeting, liquid democracy, inverse mechanism learning
- Field of differentiable social choice emerged within last 5 years

View file

@ -6,9 +6,13 @@ url: "https://www.futard.io/launch/x1yqPH8mutuiqkrz66DPwFw1ykQqT4v5KyUUtUzBgPA"
date: 2026-03-05
domain: internet-finance
format: data
status: unprocessed
status: enrichment
tags: [futardio, metadao, futarchy, solana]
event_type: launch
processed_by: rio
processed_date: 2026-03-16
enrichments_applied: ["futarchy-governed-memecoin-launchpads-face-reputational-risk-tradeoff-between-adoption-and-credibility.md", "metadao-ico-platform-demonstrates-15x-oversubscription-validating-futarchy-governed-capital-formation.md"]
extraction_model: "anthropic/claude-sonnet-4.5"
---
## Launch Details
@ -173,3 +177,13 @@ Phonon is already live which means there is real product market validation, meas
- Token mint: `J697wnGGP8yWhYSrrMNsfH7cpKqp8up4uteigCHZmeta`
- Version: v0.7
- Closed: 2026-03-06
## Key Facts
- Phonon Studio AI launched on Futardio 2026-03-05 with $88,888 USDC target
- Phonon Studio AI fundraise entered refunding status by 2026-03-06
- Phonon generated 1000+ AI songs in first week of operation
- Phonon uses Meteora Dynamic Bonding Pool protocol for artist token trading
- Phonon proposed $11,777 monthly operational allowance
- Phonon token: J69, mint address J697wnGGP8yWhYSrrMNsfH7cpKqp8up4uteigCHZmeta
- Phonon launch address: x1yqPH8mutuiqkrz66DPwFw1ykQqT4v5KyUUtUzBgPA