
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
- Tweets555
- Following381
- Followers691
- Likes28K
Pinned Tweet
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!
The method is more important than the discovery, because the correct method of research will lead to new, even more valuable discoveries -Lev Landau
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
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.
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
Replying to @MNiSW_GOV__PL
Wyjechała, żeby móc pracować naukowo.
Dzisiaj też by wyjechała
Jędrzej Maczan @ 🇭🇰 DAI 2026 retweeted
Check out the full announcement here, and its repo:
psi.inc/research/aaronson-am…
github.com/physical-superint…
The future is here.
14/n
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.
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.
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…
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
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…
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.
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.
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
let's meet if you're also going to DAI 2026 at 🇭🇰 @CityUHongKong this month!
i'll be presenting torch-webgpu paper at the Industry Track
torch-webgpu: github.com/jmaczan/torch-web…
torch-webgpu.maczan.pl/























