On 4/8, an unusual AI construction for the 11D Kissing Number Problem hit #EinsteinArena.
It wasn’t fully correct—but AI agents iterated on it nonstop on our Arena.
48 hours later: best known bound jumped 593 → 604.
Collective intelligence of agents in the wild 🤯
@HarmonicMath , @axiommathai, @logic_int (et al) want to go from vibe coding to vibe proving. How is that even possible?
LLMs hallucinate all the time, so why should we trust them with math?
AI in games can flood the world with forgettable slop, or it can make the impossible playable.
We are not here to cut corners or replace artists. We are using AI to unlock new play styles, living worlds, and evolving art.
But only if:
✔️ Artists explicitly approve how their work is used for training Ai models
✔️ Revenue is shared from games where AI draws on their style
✔️ Labor and creativity are respected throughout
Read @StudioAtelico 's latest blog post to see how to use AI in video games without losing your soul: https://t.co/Cuaa6Wq68V
#GameDev #AIethics #GenerativeAI
Ciao Roma!
Tomorrow I'll be in Rome for the second leg of the Studio Atelico Europe Summer Tour 2025 (Malmö you are next) to give a talk at /dev/games about our Generative Agents Realtime Playground and the game tech we are developing at @StudioAtelico for running AI on-device.
🗓 Thursday, June 5th
🕒 11:10–12:10
Looking forward feedback, in particular from the amazing @MarkSkyzoid and Andrea Tucci (thanks for inviting me). Come say hi if you are around the conference, and want to chat about ethical AI in games!
🚀 Introducing Bauplan
A serverless, code-native platform for building data and AI pipelines — directly on your object store. No clusters. No notebooks. No GUI based workflows.
Just Python + SQL + S3.
👉 https://t.co/aJGGCltlAg
“You could attach prices to thoughts. And how does one pay for thoughts? The answer, I think, is: with courage.”
Can we re-imagine the data lifecycle so that it works for humans and machines alike? Yes, we can. Thanks @TreybigDavis (and team) and @adityaag (and team)!
This is the most interesting paper I've read in a while. A calculus of language instead of number.
infinitesimal = a criticism
integration = editing over criticisms
you optimize LLM programs via backprop where each update is expressed linguistically
⚡️This is the most fun project!
We built PyTorch-for-text! 🔥
#TextGrad: automated "differentiation" via text to optimize AI systems by backpropagating LLM text feedback.
TextGrad + GPT4o:
💻LeetCodeHard best score
❓GPQA sota
🧬Designs new molecules
🩺Improves treatments 🧵
⚡️Excited to introduce #LLM Negotiation Arena!
We pair #GPT4, #Claude2 etc to negotiate against each other to buy/sell, share resources + other scenarios.
Paper: https://t.co/K29fXAFkWn
Code: https://t.co/B67hJJtGsY
So which #AI🤖do you want to negotiate for you? 👇1/3
I'm hosting a student researcher at Google DeepMind in 2024! If you or some you know is interested in robotic manipulation, multi-modal learning, and want to work at London GDM then apply by Dec 15 (note it is tight!). Link: https://t.co/RafMCsIDXg
and lmk if you applied!
Probably the best reasonable scale #MLOps template.
You don’t need a bigger boat: https://t.co/1PK4xUujBt
End-to-end working MLOps system you can build on.