Links for 2024-05-25
AI:
Google: “Grounding is an approach to track the claims of large language models back to reliable sources. Today, we introduce AGREE, a framework that enables LLMs to self-ground the claims in their responses and to provide precise citations.” https://research.google/blog/effective-large-language-model-adaptation-for-improved-grounding/
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data — “After fine-tuning the DeepSeekMath 7B model on this synthetic dataset, which comprises 8 million formal statements with proofs, our model achieved whole-proof generation accuracies of 46.3% with 64 samples and 52% cumulatively on the Lean 4 miniF2F test, surpassing the baseline GPT-4 at 23.0% with 64 samples and a tree search reinforcement learning method at 41.0%. Additionally, our model successfully proved 5 out of 148 problems in the Lean 4 Formalized International Mathematical Olympiad (FIMO) benchmark, while GPT-4 failed to prove any.” https://arxiv.org/abs/2405.14333
Agent Planning with World Knowledge Model https://arxiv.org/abs/2405.14205
“When ChatGPT was released in November 2023, it could only be accessed through the cloud because the model behind it was downright enormous. Today I am running a similarly capable AI program on a Macbook Air, and it isn’t even warm. The shrinkage shows how rapidly researchers are refining AI models to make them leaner and more efficient. It also shows how going to ever larger scales isn’t the only way to make machines significantly smarter.” https://www.wired.com/story/pocket-sized-ai-models-unlock-new-era-of-computing/ [no paywall: https://archive.is/vJUlH]
Japan will work with the Association of Southeast Asian Nations to train 100,000 digital professionals in AI and semiconductors over the next five years https://english.kyodonews.net/news/2024/05/eacdc302251c-japan-to-work-with-asean-to-train-100000-digital-professionals.html
Korea unveils $19 bil. support package for chip industry https://www.koreatimes.co.kr/www/biz/2024/05/488_375236.html
Generative Camera Dolly: Extreme Monocular Dynamic Novel View Synthesis https://gcd.cs.columbia.edu/
Miscellaneous:
“When moved to the stratosphere, SO₂ cools the atmosphere 1,000,000 times as effectively as CO₂ heats it. This is 25 times better leverage than tropospheric SO₂. To drive the point home, just 2.2 pounds (1 kilogram) of SO₂ in the stratosphere offsets the warming effect of ~2.2 million pounds (1 million kg) of CO₂ for a year.” https://www.cremieux.xyz/p/from-pollution-to-solution
“A young hypervelocity star 5.3x hotter than the Sun, travelling out of the Milky Way at 571 km/s: The most interesting aspect is that it has a binary companion, and we're not sure how they got accelerated to that velocity without being pulled apart.” https://iopscience.iop.org/article/10.3847/2041-8205/821/1/L13
Los Alamos Achieves Yottabyte-Scale Data Compression in Neutron Transport Equations https://www.hpcwire.com/off-the-wire/los-alamos-achieves-yottabyte-scale-data-compression-in-neutron-transport-equations/
“Wikipedia editors spent seven years and 140,000 words (longer than Homer's Odyssey) fighting over A SINGLE LETTER in the name of this dairy product. Thread!” https://x.com/depthsofwiki/status/1793946560612483183
On Jewish intelligence: A review of the evidence, and problems facing the research https://www.emilkirkegaard.com/p/on-jewish-intelligence
Politics:
Becoming economically dependent on the goodwill of an enemy state that uses trade as a means of war to destroy your infrastructure and to build up its own military is an external cost that far outweighs the benefits. Protectionism and tariffs are clearly justified as a corrective to such a market failure. To see this, consider a thought experiment: A strategic enemy is much more efficient at producing food; your citizens buy the enemy's food until your own agriculture disappears; the enemy goes to war against you once you become dependent on their food exports; you lose. https://www.noahpinion.blog/p/in-which-british-writers-scold-america
Putin hijacked Austria’s spy service. Now he's going after its government https://www.politico.eu/article/vladimir-putin-austria-spy-service-bvt-government-intelligence-wirecard-jan-marsalek-freedom-party/
Ukraine:
Spectacular video of the strike on a battery of Russia's latest S-400 «Triumph» air defence complex by ATACAMS ballistic missiles near the Mospino airfield in the Donetsk region. https://x.com/GloOouD/status/1793894741828043214
Units of the 59th motorized brigade destroyed a Russian Osa-AKM air defense system near the village of Pisky, occupied Donetsk region. https://x.com/NOELreports/status/1793924841982284259
Russian over-the-horizon early detection radar station "Voronezh-DM" in the Krasnodar region of Russia was damaged as a result of Ukrainian drone attack . https://x.com/bayraktar_1love/status/1793942086036623535 (Satellite images: https://x.com/kromark/status/1794098220433277072)
“Satelite images emerged of Kushchevskaya airport after it was attacked by Ukrainian drones. Indeed a Su-27 fighter jet was destroyed, also a Su-34 fighter was damaged. Another Su-30 could also have taken damage, but this remains unclear from these images.” https://x.com/kromark/status/1793969926048506256
A Russian EW-complex R-330Zh "Zhitel" destroyed. https://x.com/NOELreports/status/1793922596615959022
“Russians can’t even make it off the BMP before taking 100% casualties during a failed assault on Ukrainian positions” https://x.com/TOGAjano21/status/1793715310568313148
Kadyrovites in Vovchansk are asking Allah for help. https://x.com/KilledInUkraine/status/1793889892327395801
81st overview of the russian investment to advance 100 meters into Bilhorivka. https://x.com/giK1893/status/1793600418242805918
“3.6km east from tweet 94,🇺🇦NGU 13th Bde Khartia and 2nd unit 'OMEGA' ambush reportedly a group of 20🇷🇺SOF trying to outflank UAF to the east.” https://x.com/Danspiun/status/1794011249530847483
“The moment when 2-3 Russian glide bombs hit the hardware store in Kharkiv. You can see the absolutely packed parking space. Russians deliberately chose the middle of the day when most people are shopping, in order to achieve maximum terror.” https://x.com/Tendar/status/1794404055936348652
“Lithuania is ready to send troops to Ukraine to train our military and to simplify logistics.” https://x.com/GLandsbergis/status/1794013658114089271
"Putin can fight for as long as it takes, but Putin is also ready for a ceasefire – to freeze the war," said a senior Russian who has worked with Putin and has knowledge of top level conversations in the Kremlin. https://www.reuters.com/world/europe/putin-wants-ukraine-ceasefire-current-frontlines-sources-say-2024-05-24/ [no paywall: https://archive.is/xna2i]
“Disturbing to find out, 10 years later, that the FSB were secretly informed about Yanukovych being on the verge of signing the EU agreement, and that "the Maidan will not dissipate that easily", by none other than an actual Member of European Parliament. Shortly thereafter the FSB took things into their own hands, and a whole squad flew to Kyiv to hold Yanukovych's hand and tell him exactly what to do.” https://theins.press/en/politics/271808