0ximai

[0ximai @0x_impai]

@brian_yinger @edvegaviolante @is_fusion @is_fusion is the best

[0ximai @0x_impai]

@is_fusion exciting times

[0ximai @0x_impai]

8/ Read the papers 👇

📄 Landreman, "Analytic toroidal 3D MHD equilibria": https://t.co/kuPJYMZV7k
🧮 His prompt/code:
https://t.co/GbnnSN2eJj
📄 Gómez-Serrano, Liehr & Taylor, "Counterexamples to Grad's conjecture": https://t.co/OrQYLSh6yy
🧮 Their Lean 4 formalization: https://t.co/b10IBArx64

[0ximai @0x_impai]

A 59-year-old conjecture in fusion physics just fell.

Harold Grad (1967): smooth 3D plasma equilibria can't exist unless pressure is constant or there's symmetry.

This week: 3 families of counterexamples. 2 independent papers, posted a day apart. Two found with GPT-6 Astra.

Huge for stellarators.

[0ximai @0x_impai]

7/ Huge congratulations to Javier Gómez-Serrano, Lukas Liehr, Mitchell Taylor and Matt Landreman 👏 Two teams, two approaches, one 59-year-old problem settled within a day of each other. A great moment for mathematics and for fusion.

[Simon Kohl @saakohl]

Introducing Latent-X — our all-atom frontier AI model for protein binder design.

State-of-the-art lab performance, widely accessible via the Latent Labs Platform.

Free tier: https://t.co/NamdznPWjL
Blog: https://t.co/2UkYDEe8a9
Technical report: https://t.co/0m2s3y7vwN

[0ximai @0x_impai]

@underwaterlol @Xaraphim @edchucation looks like backmarket

https://t.co/Kd7QhOF4HW

[0ximai @0x_impai]

@elonmusk Nani?!

[Sauers @Sauers_]

Autoencoder that forces the latent factors to be independent, disentangled from each other. Discriminator makes this GAN-like; it tries to search for statistical dependence in the latent space

[0ximai @0x_impai]

@thegrowthcoder @Jousefm2 It’s quite exciting!! If you wanna learn more here the original paper from 2019

https://t.co/DC9xALb4AG

[Johannes Brandstetter @jo_brandstetter]

Super hyped to share NeuralDEM -- the first real-time simulation of industrial particulate flows. NeuralDEM replaces Discrete Element Method (DEM) routines and coupled (CFD-DEM) multiphysics simulations. 🧵

📜: https://t.co/JH4PDpth5g
🖥️: https://t.co/VEsawzd9IV

[Ilya Kuprov @Ilya_Kuprov]

Season 3 of the Magnetic Resonance series - Optimal Control Theory. Videos coming soon...

[Ishaan Kapoor @Ishaank1999]

PDFs are satan’s file format.

Almost everyone that builds RAG needs to deal with them - and it sucks.

Solutions on the market are either too slow, too expensive or not OSS.

It should be easier. Which is why we’re open sourcing https://t.co/0gCZxzbkWu

[Milos Vukadinovic @milos_ai]

KAN: Kolmogorov–Arnold Networks is a really elegant paper. It's refreshing to see that things worked by design rather than by accident in ML. I made a small KAN experiment comparing it to MLP and spline fitting. (notebook in comments!)