what we know about the beginning of february
* alpha-code -- a system that can compete at average human level in competitive coding competitions like codeforces. an exciting leap in ai problem-solving capabilities, combining many advances in machine learning
link: https://deepmind.com/blog/article/Competitive-programming-with-AlphaCode
* solving some formal mathematics statement curriculum learning -- neural network that solved two problems from the international math olympiad
link: https://openai.com/blog/formal-math/
* "hyperdetailed render of my bizarro acid trip, detailed architectural render. I can't believe how detailed this is"
link: https://twitter.com/Somnai_dreams/status/1489108710962384896
