Work on automated reasoning & formal maths from MetaAI: "Our model is able to prove mathematical theorems in a fully automated way and significantly outperforms the [state of the art]..."The model learns from previous proof searches through online training, which allows it to generalize to mathematical domains far from the training distribution. In Metamath, our model proves more than 82% of theorems from a random split (compared to 56.5% for GPT-f)." https://arxiv.org/abs/2205.11491
Mystery of Universe’s Expansion Rate: Hubble Data Shows That “Something Weird” Is Going On https://edition.cnn.com/2022/05/23/world/hubble-universe-expansion-rate-scn/index.html
The Doomsday argument: “If you don't know where you're temporally located in the run of humans, you ought to assume it's unlikely that you're in the unusual position of being among the first 5% (or 1% or, amazingly, .001%).” http://schwitzsplinters.blogspot.com/2022/05/our-infinite-predecessors-flipping.html?m=1
Overview of how the academic field of Machine Learning works at the meta-level. https://www.lesswrong.com/posts/AtfQFj8umeyBBkkxa/a-bird-s-eye-view-of-the-ml-field-pragmatic-ai-safety-2
How to make Ruby interpreter run program written in a natural language https://dmitrytsepelev.dev/natural-language-programming-with-ruby
Meta-analysis: Financial incentives can boost critical thinking skills. https://onlinelibrary.wiley.com/doi/10.1002/bdm.2286
Where are you really? A dizzying and brilliant 10 minute tour of the universe. https://www.youtube.com/watch?v=Pj-h6MEgE7I
Evidence of structured vocal sequences in wild chimpanzee communication provides insights into human language evolution https://www.mpg.de/18653265/0517-evan-chimpanzees-combine-calls-to-form-numerous-vocal-sequences-150495-x
Transformers for software engineers https://blog.nelhage.com/post/transformers-for-software-engineers/
Now There’s A Drum Magazine For Dropping Multiple Bombs From Commercial Drones https://www.thedrive.com/the-war-zone/now-theres-a-drum-magazine-for-dropping-multiple-bombs-from-commercial-drones
gweb-research-imagen.appspot.com Google announced Imagen today. Let's generate some of the same prompts with Dall·E 2!
1 Comment
No posts
Doomsday argument is sort of interesting, but obviously we have priors about where we sit in the past and future of all humans (or human descendents) to ever live.
How do we get those priors? Well, we can do this cool trick. We can look at things. Like look at how old the universe is and how old the earth is. This prior shows we live in the early universe. And really, that's all there is to it. The Copernican principle doesn't say ignore all contrary evidence we're in a unique situation. It merely says you should not assume we're in a unique situation as a given.