Links for 2024-04-22
AI:
Lean Copilot: LLMs as Copilots for Theorem Proving in Lean https://github.com/lean-dojo/LeanCopilot
AutoCrawler: A Progressive Understanding Web Agent for Web Crawler Generation https://arxiv.org/abs/2404.12753
Artificial intelligence has long been improving diagnoses. But recently the field has exploded. https://www.economist.com/technology-quarterly/2024/03/27/artificial-intelligence-has-long-been-improving-diagnoses [no paywall: https://archive.is/D19RE]
MenteeBot: The bot can complete tasks end-to-end from verbal commands, including navigation, locomotion, scene understanding, object detection, and more. https://www.youtube.com/watch?v=Z3T9S1Arbdk (Not nearly as sleek as Figure, but still cool to see more humanoid robot startups. Check out this video of Figure for comparison: https://www.youtube.com/watch?v=Sq1QZB5baNw)
It will become increasingly difficult, and eventually impossible, to tell if a video is real or not: Generative AI in Premiere Pro powered by Adobe Firefly https://www.youtube.com/watch?v=6de4akFiNYM (see also: “Simulon can add any 3D model to your real footage video in a matter of minutes.” https://x.com/javilopen/status/1781992198587760866)
Sam Altman: AI to enable the first 1 person billion dollar company https://x.com/LinusEkenstam/status/1782180729947815968
After AI beat them, professional Go players didn't just catch up; they became better and more creative. https://www.henrikkarlsson.xyz/p/go
Technology:
“London DefenseTech Hackathon came to an end. Here are some of the teams projects” https://x.com/basti_vkl/status/1782112719090352486
Anti-Drone Warfare Overview https://www.youtube.com/watch?v=SrGENEXocJU
Meta is already testing a consumer neural interface that understands what you are thinking through technology you wear on your wrist. https://x.com/APompliano/status/1781863140575113576
Mark Zuckerberg says the AI in Meta's glasses will soon have context awareness of what's happening in your environment and will be able to give you feedback on what you're doing. https://x.com/tsarnick/status/1782247368613933147
Graphene’s Light-Speed Electrons Promise Revolution in Nanoscale Transistors https://www.uni-goettingen.de/en/73613.html?id=7431
Scientists Create Atomically Thin Gold With Century-Old Japanese Knife Making Technique https://singularityhub.com/2024/04/18/scientists-make-atomically-thin-gold-with-century-old-japanese-knife-making-technique/
Miscellaneous:
New research unveils how spinal cord nerve cells can learn and remember—completely independent of the brain https://www.eurekalert.org/news-releases/1040981
A Robust Negative Relationship Between Self-Reports of Social Skills and Performance Measures of Social Intelligence https://swisspsychologyopen.com/articles/10.5334/spo.78
Politics:
Poland "ready" to host NATO nuclear weapons, President Andrzej Duda says https://www.cbsnews.com/news/poland-ready-to-host-nato-nuclear-weapons-president-andrzej-duda-says/
Ukraine:
“Wild Hornets test smart drones with a neural network on Ukrainian electronics” https://x.com/wilendhornets/status/1782080094770549226 (Haven’t fact-check if this is a legit Ukrainian business but what’s shown is entirely possible and will definitely happen sooner than later.)
Two Russian soldiers are discussing how Russia is winning. https://x.com/sumlenny/status/1782124531013841175
“Situations when the unit(s) just leaves positions like this can easily result in losing valuable defensible terrain - or worse...Kyiv continuing to play stupid political games with Army manpower needs as if everything was OK is not helping.” https://x.com/Rebel44CZ/status/1782137279663718805
“Denmark will deliver all the promised fighter jets to Ukraine. First deliveries will arrive in the summer, Danish Ambassador to Ukraine Ole Egberg Mikkelsen said.” https://x.com/NOELreports/status/1782127978677186764