π§ AI Weekly Digest vol.13
by Federico German
Published in
2 min readJul 13, 2023
While Elon tries to limit access to tweets Google changed its Terms to collect public information for Ai training
- Google updated its policy and among other things it can now collect information to train AI models
- Elon is angry at people using tweets to train AI, so he has set a limit on the number of tweets you can read. He should be careful not to let the competition take his disgruntled users. Iβm looking at you, Zuckerberg.
- Windows Copilot is rolling out in the insider preview. This is going to be a game changer for the operating system world.
- MidJourney has received a new feature. Now, in a generated image, you can pan in any direction, extend the image, and even change the prompt for the new part.
- Have you ever heard of unproved mathematical theorems and dreamt of solving them? LeanDojo is an βopen-source playground consisting of toolkits, benchmarks, and models for LLMs to prove formal theorems in the Lean proof assistant.β
- If you are afraid of the AI apocalypse, take a look at how people are disabling autonomous cars. These cars seem easy to fool.
- The studies on how the human brain works are far from over. Imagine the day when we have a map of the brain, similar to the one that was created for the fruit fly brain.