Many different possible workflows for theorem proving, Lean formalization, proof writing, etc. Thanks to our speakers Kelly Davis, Hanno Gottschalk, Yves Jäckle, Georg Loho, Lukas Prader, Martin Raum, Théo Tyburn, Johannes Zimmer, Max Zimmer. 3/4

But OpenAI just released 10 new proofs without naming human authors, arguing that claiming human authorship for a entirely AI-generated proofs would be misleading. The Ai4Math Workshop 2026 discussed how the real process is often much more complex. 2/4

Our Ai4Math Workshop 2026 Berlin-Brandenburg was a phenomenal success! Mathematics is undergoing a fundamental shift and is never going to be the same. Likewise also for theoretical computer science, physics, etc. The Leiden Declaration emphasizes the role of human authorship. 1/4

Academic peer review in a nutshell 😅

With AI, science will need different incentives. Scientific credit outdated given new role of humans in future. Publications are just synthetic data for human consumption! Jakob Uszkoreit w/ Lara Sophie Bothur, Yossi Matias, @fabiantheis.bsky.social, Klaus-Robert Müller, @alenabuyx.bsky.social

Should governments impose an LLM token tax? 💰💰 If AI gradually replaces important parts of human work, we'll need other forms of taxation. Important discussion by @akorinek.bsky.social, Anna Salomons, @dianecoyle1859.bsky.social w/ @kncukier.bsky.social recently at #IASEAI2026 at UNESCO in Paris.

We almost certainly won't make AI safe by making safe AI. Others are still going to create unsafe AI. – @scasper.bsky.social at #IASEAI2026 Open-Weight AI Risk Management Workshop I led one of the discussion groups and we had some nice new ideas of how to make open weight models safe 😊

Geoffrey Hinton: Proving safety of AI (Stuart Russell's goal) is not going to work for neural network-based AI. Pushing for non-agentic AI (@yoshuabengio.bsky.social's goal) could work, but the big tech companies are moving towards more agency. ➡ Risk mitigation is all we can do! #IASEAI2026

3 AI Races – Big tech companies are racing to compete: 1. For attention/engagement online 2. For AGI to replace human labor 3. For superintelligence, in pursuit of power Whoever wins, humanity loses. – Anthony Aguirre @futureoflife.org at #IASEAI2026

AI bots used to persuade humans to email famous AI researchers. Now they send emails themselves, claiming sentience etc. (Stuart Russell) This agency brings profound risks, the theme of #IASEAI2026 AI bots do not have any ID, are not traceable: Should this be regulated? – @ghadfield.bsky.social

One of our main insights was that an ideal reading interface ought to be dynamic, giving the reader the ability to choose what they are most interested in interactively. Details: gerard.demelo.org/papers/hitex... Sadly won't be able to attend the workshop, but would love to discuss this further.

🚨Final call: 2 AI Full Professorship openings at HPI / University of Potsdam (Berlin region in Germany) Happy to answer questions about what makes our institute really unique! Deadline: Jan. 15!! Application details: hpi.de/fileadmin/us... #MLSky

The #ICLR2026 #OpenReview drama continues! 🙀 After the leak of anonymous reviewer identities, it is understandable that we need to mitigate potential effects this may have had. Still, it can feel disappointing for the majority of authors who played by the rules. Let's hope the ACs do a good job!

Deeper discussions are needed. Next up: AI@HPI 2025: Shaping AI Sovereignty Potsdam, December 2–4, 2025 🚨Sign up quickly: hpi.de/en/ai-hpi-co... 🚨

Summit on European Digital Sovereignty 🤔Any tangible results or is it all just talk? Sadly, politics runs slower than industry/academia. 👉🏽But discussions/declarations aren't meaningless. They set the conditions for taking sovereignty more seriously in the future.

“When it comes to AI, European companies rarely play in the top league” – My perspective on why we need AI sovereignty. 👉🏽 hpi.de/en/article/w... 🚨Join us at the AI @ HPI Conference 2025 this December: hpi.de/en/ai-hpi-co...

Remembering Pushpak Bhattacharyya, known as Godfather of Indian NLP, former President of ACL + Director of IIT Patna. Despite his countless achievements, he remained humble and kind. He was one of the first people I met at an academic conference. May he rest in peace. www.cse.iitb.ac.in/memorial

OpenAI's Benedict Kerres at our @hpi.bsky.social Tech Leadership Conference: ChatGPT used for relationship and health advice a lot in Germany

Papers *written* and *reviewed* by AI 🤖 The Stanford Agents4Science conference is seeking research papers mainly authored by AI, which will then be peer-reviewed by multiple AI systems. Might seem odd to us now, but this might become common practice in the future. agents4science.stanford.edu

😮 Recent OpenAI / former DeepMind researcher talking about "mass migration as being worse for Europe than WW2 was" and extremist phantasies such as "large-scale remigration". x.com/RichardMCNgo...

Huh, but that's a picture of the cookie monster? My slides for Tuesday happen to include ELMo (red) and BERT (yellow) :)

We can train LLMs to say "I don't know" when they make mistakes. See: proceedings.neurips.cc/paper_files/...

Even simpler: Encourage everyone to end their talk with a beautiful Bluesky QR code qrsurge.com/bluesky-qr-c...

When the AI is more trustworthy than the human running it! From Grok: x.com/grok/status/...

🤯 An AI superintelligence strategy involving deterrence based on sabotage, espionage, etc. plus nonproliferation and competitiveness via military + other strength proposed by ex-Google CEO Eric Schmidt with Dan Hendrycks (Berkeley) and Alexandr Wang (Scale AI) at www.nationalsecurity.ai

Warfare: AI sadly already a major aspect • Millions of drones used by Ukraine • AI for target recommendations • AI piloting is the future • Air defense cannot wait for a human in the loop US General David Petraeus at #AIActionSummit w/ Clara Kaluderovic who develops mental health AI for Ukraine

Programmer jobs as canary in the coal mine for job displacement? Traditionally safe career, but special properties – AI solutions testable/verifiable! Blaise Agüera y Arcas (Google), @erikbryn.bsky.social (@stanfordhai.bsky.social), Terah Lyons (ex PAI), Alexander Vollert (AXA) #AIActionSummit

AI optimism vs. pessimism: Despite concerning developments, need to be optimistic in our actions, e.g. need massive compute for academia/civil society Fei-Fei Li @drfeifei.bsky.social, Rob Reich, Tino Cuéllar (Carnegie), Josephine Teo (SG minister) AXA @stanfordhai.bsky.social at #AIActionSummit

Regulating AI only if technically feasible? What if someone wants to build a nuclear plant in the middle of Paris and argues it's not technically feasible to ensure its safety? Stuart Russell, @yoshuabengio.bsky.social, Dawn Song, Irakli Beridze, Xue Lan, Karine Perset #aisconnect #AIActionSummit

Although Bengio @yoshuabengio.bsky.social was here as well, this panel with Danielle Allen (Harvard) and Philippe Aghion (Collège de France/INSEAD) was a lot more optimistic that we can find ways for society to manage the transformative power of AI, as suggested by @erikbryn.bsky.social