eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Server stats:

223
active users

#deepmind

7 posts7 participants0 posts today

Some of the videos included in this article are absolutely astonishing!!

"With Veo 3's ability to generate convincing video with synchronized dialogue and sound effects, we're not witnessing the birth of media deception—we're seeing its mass democratization. What once cost millions of dollars in Hollywood special effects can now be created for pocket change.

As these tools become more powerful and affordable, skepticism in media will grow. But the question isn't whether we can trust what we see and hear. It's whether we can trust who's showing it to us. In an era where anyone can generate a realistic video of anything for $1.50, the credibility of the source becomes our primary anchor to truth. The medium was never the message—the messenger always was."

arstechnica.com/ai/2025/05/ai-

Still image from an AI-generated Veo 3 video of "A 1980s fitness video with models in leotards wearing werewolf masks."
Ars Technica · AI video just took a startling leap in realism. Are we doomed?By Benj Edwards

Google #DeepMind has launched an open repository of formalized mathematics conjectures github.com/google-deepmind/for . For instance, the four Landau problems in analytic number theory are formalized at github.com/google-deepmind/for . They are soliciting further contributions to the database (at present it only contains a tiny fraction of the conjectures in the literature).

It is of course far easier to state an open problem than it is to prove it, but having some sort of standardized formulation of such problems is important first step if one is to hope to use automated tools to help make progress on these problems. If one naively asks an AI tool to formally solve an informally specified problem, it is far more likely that it could succeed on a technicality - for instance, by establishing a formal statement which contains an unintended edge case that can be handled trivially (e.g., if some key parameter is intended to be non-zero, but the formalization permits the parameter to vanish) - than it is to solve the problem as intended.

A collection of formalized statements of conjectures in Lean. - google-deepmind/formal-conjectures
GitHubGitHub - google-deepmind/formal-conjectures: A collection of formalized statements of conjectures in Lean.A collection of formalized statements of conjectures in Lean. - google-deepmind/formal-conjectures

Google takes AI propaganda to the movies

Google is very upset that a lot of the public don’t really like AI. You might think this was because of AI slop and explicit threats to their jobs, but Google is pretty sure it’s because people saw the Terminator films. So Google is funding films about how AI is good really. Mira Lang at […]

pivot-to-ai.com/2025/05/28/goo
#Imagegenerators #100Zeros #DarrenAronofsky #DeepMind #Google

Pivot to AI · Google takes AI propaganda to the moviesGoogle is very upset that a lot of the public don’t really like AI. You might think this was because of AI slop and explicit threats to their jobs, but Google is pretty sure it’s because people saw…

Google CEO 爆料:我們曾認真考慮收購 Netflix,差點就成了 | T客邦

Link
Google 曾「差點」收購 Netflix,成最重量級的未遂併購案
https://example.com/article-link

📌 Summary:
Google 執行長桑達爾‧皮查伊於《All-In Podcast》透露,Google 曾在內部激烈討論且非常認真考慮過收購串流影音巨頭 Netflix,雙方關係一度接近達成協議,但最終未完成交易。此爆料終於揭開過去多年的市場猜測和傳聞。自 2016 年起,Netflix 全球訂閱用戶突破 3 億,成為串流影音龍頭,而 Google 雖有 YouTube TV 和 Google TV,卻在主流訂閱市場上無法匹敵對手。Google 以併購聞名,從 YouTube、Android 到 Fitbit、Nest 等企業均成功整合,Netflix 若能入手,將彌補其內容生態的不足,提升與 Apple TV+、Disney+ 等競爭力。此外,皮查伊最驕傲的成就則是將 Google 科研成果,如 DeepMind 團隊的 AlphaFold AI 預測蛋白質結構技術,轉化為實際應用,並在 AI 科技領域積極推動山火監測及洪水預警等環保項目,展現企業探索精神與技術價值。

🎯 Key Points:
→ ★ Google 收購 Netflix 曾是內部高度關注且接近成交的超大案,為 Google 戰略佈局重要一環。
→ ★ 2014 年英國研究機構 CCS Insight 曾預測 Google 可能收購 Netflix,皮查伊親口證實讓此預測成真。
→ ★ Netflix 自 2016 年起加速全球擴展,訂閱數超過 3 億,成為全球最大串流影音平臺。
→ ★ Google 在串流影音市場雖有 YouTube TV、Google TV,但仍不及 Netflix 影響力和訂閱量。
→ ★ Google 併購歷史豐富,成功案例包括 YouTube(2006 年)、Android(2005 年)、Fitbit、Nest、Waze 等。
→ ★ 若當年成功併購 Netflix,將補足 Google 在影音內容的短板,加強與 Apple TV+、Disney+ 等競爭。
→ ★ 皮查伊最引以為傲的是將科研成果商業化,帶出 DeepMind AlphaFold AI 預測蛋白質結構獲得 2024 年諾貝爾化學獎等重大突破。
→ ★ Google 投入 AI 技術於環境監測與預警系統,締造科技與社會價值融合的新典範。

🔖 Keywords:
#Google #Netflix #串流影音_streaming #併購_M&A #AlphaFold_AI #DeepMind #桑達爾‧皮查伊_Sundar_Pichai #YouTube_TV #Google_TV #科技創新
T客邦 · Google CEO 爆料:我們曾認真考慮收購 Netflix,差點就成了By KKJ

💥 Революция в биохимии! ИИ научился предсказывать и даже создавать белки 🧬. AlphaFold и Rosetta меняют всё: от медицины до экологии. Это начало новой эры в науке! 🔬🤖 #AlphaFold #ИИ #биохимия #наука #технологии #NobelPrize #AI #биотех #proteinfolding #DeepMind

Подробнее: scientia-et-innovatio.blogspot

My Mastodon bubble tends to hate AI, but here’s a great example from @tao and Deepmind how AI, yes, even LLMs, can actually be useful:

In maths (and science) you can precisely check correctness of its ideas and measure improvements from variations, enabling Nobel-level breakthroughs like Alphafold and cool progress like the new AlphaEvolve.

This Is The Way, not asking Grok for its opinions on South African politics!

mathstodon.xyz/@tao/1145080298

MathstodonTerence Tao (@tao@mathstodon.xyz)I've been working (together with Javier Gomez-Serrano) with a group at Google Deepmind to explore potential mathematical applications of their tool "AlphaEvolve", a successor of their earlier tool "Funsearch" that was publicly announced today: https://deepmind.google/discover/blog/alphaevolve-a-gemini-powered-coding-agent-for-designing-advanced-algorithms/ . Very roughly speaking, this is a tool that can attempt to extremize functions F(x) with x ranging over a high dimensional parameter space Omega, that can outperform more traditional optimization algorithms when the parameter space is very high dimensional and the function F (and its extremizers) have non-obvious structural features. Some of the preliminary problems we have tried this on, including problems involving harmonic analysis inequalities, additive combinatorics, and packing, were already mentioned in the announcement; we are now gradually moving on to more challenging problems where the parameter space has a sparser set of good solutions. The work is still ongoing, but I hope to be able to report more upon it when we are closer to completion (probably a few months from now).
#AI#Math#LLM

Entwickelt die KI bald ihre eigenen Ideen? DeepMind stellt mit AlphaEvolve einen Agenten vor, der selbstständig Algorithmen erzeugt – nicht nur nachahmt. Eine Kombination aus Sprachmodell und Evolution. Ein echter Gamechanger? Lies, wie nah wir dem nächsten Sprung wirklich sind. #DeepMind #Google #KI 👇
all-ai.de/news/topbeitraege/go

All-AI.deDeepMind präsentiert AlphaEvolve: Ein Meilenstein der KI-ForschungGoogles neuester KI-Agent entwickelt eigene Algorithmen und erzielt Spitzenwerte in Benchmarks – wie realistisch ist der Durchbruch?