Links for 2022-11-04
“We are excited to share a significant advance in the field of AI and mathematics. Meta AI has built a neural theorem prover that has solved 10 International Math Olympiad (IMO) problems — 5x more than any previous AI system. Our AI model also improves upon the current state of the art by 20 percent on miniF2F, a widely used mathematics benchmark, and by 10 percent on the Metamath benchmark.” https://ai.facebook.com/blog/ai-math-theorem-proving/ [Note: I already linked to this paper in May. Meta just decided to blog about it now. The blog post includes an interview with fields medalist Timothy Gowers.]
“A Mathematical Framework for Transformer Circuits is, in my opinion, the coolest paper I've ever had the privilege of working on. But it's also very long and dense and at times confusing, and this makes me sad! So I've run an experiment, where I recorded myself reading through the paper and narrated a stream of conscious as I go…” https://www.youtube.com/watch?v=KV5gbOmHbjU
DeXtreme: Transfer of Agile In-Hand Manipulation from Simulation to Reality https://dextreme.org/
Structure-based Drug Design with Equivariant Diffusion Models https://arxiv.org/abs/2210.13695
Google’s New AI: Kind of Like Tesla's Robot! https://www.youtube.com/watch?v=Ybk8hxKeMYQ
State of AI 2022: Almost $3 trillion in enterprise value for companies (private and public) using or creating a lot of Saas AI https://docs.google.com/presentation/d/1WrkeJ9-CjuotTXoa4ZZlB3UPBXpxe4B3FMs9R9tn34I/edit#slide=id.g164b1bac824_0_5238
"A 1 point increase in a nation’s average IQ is associated with a persistent 0.11% annual increase in GDP per capita... IQ is statistically significant in 99.8% of these 1330 regressions, easily passing a Bayesian model-averaging robustness test." https://link.springer.com/article/10.1007/s10887-006-7407-2
“…one of the most reproducible findings in the science of human intelligence, across dozens of studies, is the association between brain size and intelligence.” https://threadreaderapp.com/thread/1554114756004511744.html
How scientists want to make you young again. Research labs are pursuing technology to “reprogram” aging bodies back to youth. [MIT Technology Review] https://archive.ph/9gzcw
Crime Scene: Bucha — “The Associated Press, @frontlinepbs and SITU Research reviewed hundreds of hours of CCTV footage, intercepts of Russian phone calls and built a 3D model to show what happened in Bucha and identify who was responsible.” https://www.youtube.com/watch?v=WW8YYhUIK0s
How to Hack the Simulation? https://www.researchgate.net/publication/364811408_How_to_Hack_the_Simulation