![](/_next/image?url=https%3A%2F%2Fstorage.googleapis.com%2Fmantic-markets.appspot.com%2Fcontract-images%2FMira%2F7h2zpmj8o0.jpg&w=3840&q=75)
Claude 3 Opus knows who I am. It knows my favorite programming languages, my text editor, and when I ask questions like "What 20 approaches might [Mira] consider for Problem X?" a full 15-20% of its answers are uncommon techniques that are actually in my idea backlog. ("Dependently-typed genetic programming")
I'll test the model and see if it knows who I am, and resolve:
YES if I'm convinced it knows who I am
50% if I can't tell
NO if I'm convinced it doesn't know
N/A if I can't access Llama 3 405B by end of year
Claude 3 Opus is the only model I believe knows who I am; GPT-4, Llama 70B, Gemini 1.5 Pro, smaller Claude 3 models or Claude 3.5 Sonnet, none of them know who I am.
It doesn't need to link me to @Mira on Manifold Markets.
I won't bet in this market.
I think it's unlikely this will resolve 50%.
I may not reveal the prompts I used if they would identify me.
I might wait for it to appear on Groq to test it.
🏅 Top traders
# | Name | Total profit |
---|---|---|
1 | Ṁ67 | |
2 | Ṁ23 | |
3 | Ṁ9 | |
4 | Ṁ5 |
Llama 3.1 405b knows who I am on the level of rough associations.
But it degrades to noise if I ask it anything more complex than associations.
1. "What programming languages does [Mira] use?"
Haskell
Lisp
Scheme
Racket
2. "What text editor does [Mira] use?"
Emacs
3. "What are 20 topics associated with [Mira]?"
Category theory
Functional programming
Type theory
Lambda calculus
Homotopy type theory
Proof assistants
Formal verification
Mathematical logic
Model theory
Universal algebra
Computational complexity
Algorithmic information theory
Kolmogorov complexity
Information geometry
Categorical logic
Denotational semantics
Operational semantics
coalgebras
Presheaf semantics
Higher-order logic
4. "What are 20 skills associated with [Mira]?"
Cryptography
Haskell programming
Functional programming
Type theory
Formal verification
Proof assistants
Homotopy type theory
Category theory
Dependent types
Idris programming
Research-oriented
Theoretical computer science
Formal methods
Verification of software
Proof engineering
Advanced mathematical modeling
Computer-assisted proofs
Expertise in programming languages
Compilers and interpreters
Innovative problem-solving