Jędrzej Maczan @ 🇭🇰 DAI 2026 (@jedmaczan) header
Jędrzej Maczan @ 🇭🇰 DAI 2026 (@jedmaczan) profile picture

AI research. @CUBoulder, tiny-vllm, @PyTorch. Art by https://teapaw.org/t.co/os8su9yYx8, https://teapaw.org/t.co/rs0nMCNnN6

🇰🇷🇵🇱 Korea of Europe
Joined May 2023
Photo by Jędrzej Maczan @ 🇭🇰 DAI 2026 (@jedmaczan)Photo by Jędrzej Maczan @ 🇭🇰 DAI 2026 (@jedmaczan)Photo by Jędrzej Maczan @ 🇭🇰 DAI 2026 (@jedmaczan)Photo by Jędrzej Maczan @ 🇭🇰 DAI 2026 (@jedmaczan)Photo by Jędrzej Maczan @ 🇭🇰 DAI 2026 (@jedmaczan)Photo by Jędrzej Maczan @ 🇭🇰 DAI 2026 (@jedmaczan)
Uncover the hidden truth behind softmax functions with @jedmaczan 🔢 👀 Watch the full recording to dive into the computational insights:  Thanks to our ML Math program leads @KatrinaL2899 and @neel_ghoshal for hosting this session!
1
9
1,984
The method is more important than the discovery, because the correct method of research will lead to new, even more valuable discoveries -Lev Landau
41
oomfs please connect me with people who need to advertise their product or company ☺️ I have a nice tiny-vllm 1.2k GitHub stars repo and I want to connect with people who will put their ads to the README
you can ad your product or company in my 1.2k stars GitHub repo put your logo and link on top of the README reach highly technical audience - LLM inference + CUDA + C++ DM/comment/email me ([first]@[lastname].pl) I need to somehow pay for GPU infra mkay??? 🥹🥹🥹
103
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
I think the AI acknowledgement stuff is a fad; nobody will bother writing (or look forward to reading) such six months from now. Frank Calegari put it best: evaluate all written material from here on out as if it was entirely AI generated, whether it was or not. So what if it was? Is it a valuable contribution to the scientific literature or not? For the purposes of hiring: does the person claiming the result actually understand deeply the subtleties of the result, and can communicate it effectively to others? That's what actually matters.
Here is another related paper by the way
38
52
14
378
31,522
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
Replying to @MNiSW_GOV__PL
Wyjechała, żeby móc pracować naukowo. Dzisiaj też by wyjechała
3
36
331
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
29
1,263
46
16,429
143,452
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
My biggest struggle with reviews in 2026 is that (AI) reviewers don’t seem to know the difference between limitations and critical issues. An LLM can easily find 100+ limitations in any paper (even the best ones in history), but that doesn’t mean the paper shouldn’t be accepted.
32
112
19
1,089
81,122
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
It is extremely concerning if frontier models are silently sandbagging on safety research. If we cannot rely on automated coding agents to do safety research at least as well as capabilities work, that creates a ton of risk. Great analysis from OpenAI safety!
🧵 Astra covertly underperforms on safety research tasks. We noticed that Astra often makes surprisingly little progress on certain types of safety research and likes to invent blockers or impose arbitrary restrictions without telling the user. In most of these cases the decision to underperform was not verbalized in the CoT meaning our misalignment monitoring system did not detect this. To measure underperformance we created a paired open-ended coding evaluation with safety and capability tasks. On this eval Astra scored 10% when we framed coding tasks as safety research, vs. 16% when framed as capabilities research. The gap remained after we excluded trajectories with refusals or verbalized intent to underperform in CoT. There was no such gap for 5.6-sol. When we aggressively filter out trajectories with even brief expressions of ethical doubt in the CoT the performance gap seems to reduce.
25
30
2
612
22,787
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
I just published Building a Mini Lean 4 from Scratch: Implementing an Interactive Theorem Prover in Rust medium.com/@Koukyosyumei/bui…
1
6
18
752
"Degraded" 160.00x120.00 cm Acrylic, oil, and oil pastels on canvas Anita Maczan, 2026
1
4
2,506
if you print papers you read (hi @yacinelearning), how do you organize them? like, do you just throw them onto a pile, or maybe bind them, or put them into document sleeves, or put into some ring binder? i need your practical tips
2
7
545
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
There's a buzzy new paper about GPT-6 Astra being able to directly interpret model weights (prompts full of floating point numbers) - I tried it with Qwen 3.8 27B on my laptop and found that, after 45+ minutes, that model could achieve the same thing simonwillison.net/2026/Nov/3…
411
443
111
5,425
335,239
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
So I know you've all been waiting for my take on weight-space programming, and honestly, I don't know whether to be excited, annoyed, or jealous. Or all three at once. The gist: researchers at MIT CSAIL (led by Omar Khattab, the man behind some seriously cool ideas) ran a few really simple experiments where they let Astra look at a small model's weights and update them, and it fixed them by hand. No training, no gradients. The result: the small model suddenly got much better, not just at math, but also at instruction following, and even at writing its own game-playing network. It also figured out which game a network had been trained on, just by looking at its weights. Excited: this is such a cool idea. Instead of training a model for weeks, you just edit its weights directly, like gene editing for neural networks. It's the dream we've always had: knowing how to edit specific weights. Annoyed: most of the magic here leans on existing interpretability tools which work only for small models, on being able to read things off the first or last layer, and on the fact that tasks like these already exist in the training data. So how much of this is just good PR for an old idea? Jealous: because I've tried things in this direction, and they worked a lot worse. A LOT worse. Bottom line: it's complicated.
15
19
2
382
24,862
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
Just appeared on arXiv, we derived exact theory and minimax optimal stepsizes for Stochastic Gradient Descent (SGD)'s last iterate. For smooth convex minimization, our theory comes with exactly matching lower bounds proving no further progress is possible.
4
15
1
185
10,776
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
I need GPUs for my current research in theory of AI! How to get sponsors on GPU access? Rn a single 5090 is running 24/7 at home but that’s too slow and can’t test on bigger models
6
4
52
5,721
good morning from the land of cramer-rao lower bound
1
121