I'm nearing the end of my employment at SIAI and looking for my next gig. If all else fails I will likely move back to the Bay area (I am currently in Japan) and take a job as a programmer somewhere. However, I would prefer to focus my attention directly on developing AGI and FAI theory. In addition to my current projects (described below), I can try to answer mathematical, philosophical, or other questions for a bit of cash. For some of my previous work, see my page on the arXiv.
In the past year I've been involved in two major projects at SIAI. Steve Rayhawk and I were asked to review existing AGI literature and produce estimates of development timelines for AGI. My work on this project got rather bogged down and proceeded slowly, although I did learn a lot and I've moved in the direction of predicting AGI soonish (5-20 years). After this I tried to produce an AGI technology demo for Google's AGI-11 conference. I was unable to finish my demo in time for the submission deadline, and shortly afterwards SIAI decided to let me go.
I have several projects that I would like to move forward with, and if I can get adequate funds (about $1000 per month to ensure my survival, or $2000 to live comfortably) I will be able to work on them.
Current project ideas:
- Continue development on my incomplete AGI project (optimally, technical details not to be published).
- Write a paper on AGI models that can be used as a basis for FAI research (similar to the way AIXI and its ilk are used now, but closer to reality than AIXI).
- Figure out how an AI can reason formally about using objects in its environment as tools for performing computations.
- I'm also interested in repurposing machine learning algorithms used for finding plausible hypotheses about data distributions into algorithms for finding action policies with high expected utility.
I'm open to suggestions for other topics. I don't consider myself an expert at empiricism, so I prefer to work in domains where I can reason formally. Some thing I'd be up for:
- If you have informal questions or concerns, I can try to think of formal mathematical questions that are similar.
- Once we're dealing with a mathematical question, I can try to answer it.
- If a question looks too hard for me to answer (as will often be the case), I can try to figure out exactly what is hard about it.
- I'm also interested in writing problem sets. If you want to learn about some weird domain that no textbook exists for, I'll try to figure out what some introductory problems in that domain would look like.
Prices for any of these services are negotiable. You can contact me here or at firstname.lastname@example.org.