Links for 2023-06-29
Fields medalist Terence Tao predicts that AI will be a trustworthy co-author in mathematical research by 2026 when combined with search and symbolic math tools. https://unlocked.microsoft.com/ai-anthology/terence-tao/
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models — “We thus provide the first set of open-source LLM-based theorem provers without any proprietary datasets and release it under a permissive MIT license to facilitate further research.” https://leandojo.org/
Introducing Playground with Mixed Image Editing. A new way to combine real and synthetic images to create stunning works of art & photorealistic images bound only by your imagination. Try now: http://playgroundai.com
U.S. Considers New Curbs on AI Chip Exports to China: “The Commerce Department could move as soon as early next month to stop the shipments of chips made by Nvidia and other chip makers to customers in China and other countries of concern without first obtaining a license, the people said.” https://www.wsj.com/articles/u-s-considers-new-curbs-on-ai-chip-exports-to-china-56b17feb [https://archive.is/TFBs2]
Databricks Strikes $1.3 Billion Deal for Generative AI Startup MosaicML https://www.wsj.com/articles/databricks-strikes-1-3-billion-deal-for-generative-ai-startup-mosaicml-fdcefc06 [https://archive.is/eTGvR]
Reka emerges from stealth to build custom AI models for the enterprise https://techcrunch.com/2023/06/27/reka-emerges-from-stealth-to-build-custom-ai-models-for-the-enterprise/
Meme Legends, Photoshop generative fill AI https://www.instagram.com/p/Ct65cV_A74m/
Suddenly, It Looks Like We’re in a Golden Age for Medicine — “Hype springs eternal in medicine, but lately the horizon of new possibility seems almost blindingly bright. …’It’s stunning,’ says the immunologist Barney Graham, the former deputy director of the Vaccine Research Center and a central figure in the development of mRNA vaccines, who has lately been writing about a ‘new era for vaccinology.’ ‘You cannot imagine what you’re going to see over the next 30 years. The pace of advancement is in an exponential phase right now.’” https://www.nytimes.com/2023/06/23/magazine/golden-age-medicine-biomedical-innovation.html [https://archive.is/ihMYw]
Microsoft Expects to Build a Quantum Supercomputer Within 10 Years https://techcrunch.com/2023/06/21/microsoft-expects-to-build-a-quantum-supercomputer-within-10-years/
New study of brain subcortical develpment in very young children: "Most subcortical structures (except for the caudate and amygdala) exhibit statistically significant sex differences, with males consistently having larger volumes than females." https://www.nature.com/articles/s41467-023-38974-9
“so there's a species of parasites which doesn't have mitochondria, the *only* known multicellular animal to not have them, which means we don't know how they get their energy from” https://twitter.com/fawwazanvilen/status/1671782681443717121
“We should cut way back on accidental yelling to aliens, such as via Arecibo radar sending, if continuing at current rates would over the long run bring even a one in a billion chance of alerting aliens to come destroy us.” https://www.overcomingbias.com/p/dontyellhtml
“...I engaged with the work of AI sceptics, to see if anybody was already writing my critique [of the doomsters]. Reading the case against AI alarmism made me reconsider. What I found was a cavalcade of comically bad arguments.” https://jamiefreestone.substack.com/p/oops-i-was-wrong-about-ai