If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should be posted in Discussion, and not Main.
4. Open Threads should start on Monday, and end on Sunday.
A very reasonable suggestion, and I'm not just saying that because I have a PhD. I'm saying it because it's so easy to reinvent the wheel and think you're doing original research when you're really just re-discovering other people's work in a different context. It's very hard to root out these sorts of errors; when I was doing a PhD I thought the work I was doing in developmental biology was new and unique until about a year later I found that the 'new' mathematical problems I had solved had actually been widely used in polymer science for years. I just wasn't able to find the research because none of the search terms matched.
A link to the wider academic community would do a lot to help in MIRIs goals, and a very good way to do this would be undertaking PhDs. It should be a snap for the MIRI folks...
Do you have any ideas about how it could be made easier to find out whether you're just rediscovering previous work?