Michael Fitzke (@ButterKaffee) header
Michael Fitzke (@ButterKaffee) profile picture

Building AI to create a better world for pets @MarsGlobal

Germany
Joined November 2013
Photo by Michael Fitzke (@ButterKaffee)Photo by Michael Fitzke (@ButterKaffee)Photo by Michael Fitzke (@ButterKaffee)Photo by Michael Fitzke (@ButterKaffee)Photo by Michael Fitzke (@ButterKaffee)Photo by Michael Fitzke (@ButterKaffee)Photo by Michael Fitzke (@ButterKaffee)Photo by Michael Fitzke (@ButterKaffee)Photo by Michael Fitzke (@ButterKaffee)Photo by Michael Fitzke (@ButterKaffee)
Michael Fitzke retweeted
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
5,665
20,012
14,812
119,850
75,392,678
Michael Fitzke retweeted
looool the irony
The era of unprovable AI writing just ended. Starting August 2, every new Claude model weaves an invisible watermark into the words it generates. Copy it, paste it into an email, a blog post, a college essay, and the watermark travels with the text. Anthropic will publish the detection method so anyone can check, which means your professor, your boss, and the platform you post on can all run the same test you can. Here's the part almost nobody knows. Google has been doing this to Gemini since 2024. Every Gemini answer you've read for two years carried a hidden signature, and Google barely mentioned it. Claude joining means the two most-used writing models on earth now sign their own work. Think about what this ends. The entire appeal of AI writing was deniability. Your cover letter, your LinkedIn post, your term paper, your "personal" apology email. Nobody could ever prove a machine wrote it, and everyone quietly relied on that. The labs themselves just decided to hand out the proof. The mechanism is the wild part. The model tilts its word choices according to a secret key, and across a few hundred words those tilts form a pattern a detector can confirm. The writing carries its own confession in the sentence structure. Paraphrase hard enough and it washes out. Short snippets slip through too. But the default just flipped. AI text used to be innocent until proven guilty. Now it ships pre-confessed.
58
378
23
7,267
933,205
Michael Fitzke retweeted
Bremen, Reinsberger Cemetery
6
148
3
1,184
33,457
Hiking on Prince of Wales Island in Alaska. Took the photo of that fallen tree right before climbing over it.
This Post is from a suspended account. Learn more
2
47
Michael Fitzke retweeted
AI Models are valuable, but datasets and evals to train AI models are more valuable. Datasets are valuable, but automated data pipelines that generate the datasets are more valuable. *** Model < data < pipeline *** At least until the models start building pipelines. Still far and unsafe.
9
9
7
122
26,347
Michael Fitzke retweeted
Replying to @syntacrobat
> Mom, can we have a type system? > No, we have a type system at home The type system at home: # (B, C, T)
7
135
3,333
It's because ZIRP is over
Given the recent drama at Meta FAIR, I was wondering if people would be interested in hearing my opinions on why industrial research is hard. My credential is that all three industrial research labs I worked at have shut their doors. That may or may not have made me an expert😅
44
Michael Fitzke retweeted
why are all the most respectable software startups remote-first?
73
6
4
218
23,912
Michael Fitzke retweeted
DeepSeek finally released a new model and paper. And because this DeepSeek-OCR release is a bit different from what everyone expected, and DeepSeek releases are generally a big deal, I wanted to do a brief explainer of what it is all about. In short, they explore how vision encoders can improve the efficiency of LLMs in processing and compressing textual information. And the takeaway is that rendering text as images and feeding that to the model results in more efficient compression than working with text directly. My first intuition was that this sounds very inefficient and shouldn't work as well as using text tokenizers (or alternatives like Byte Latent Transformer) to prepare the input. It actually reminded me of the line of research I saw years ago, where researchers represented 3D molecules as 3D inputs or 2D images for ConvNets instead of using graph neural nets. This shouldn't work well and should be prone to overfitting. In the case of DeepSeek-OCR, why even try such an approach? I imagine it started as a curiosity, but then it may have turned into an interesting idea for long-context scaling in LLMs and how to make it cheaper by using vision tokens and representations. (An image can say more than a thousand words, but who would have thought that an image of text can say 1000 words more efficiently!) In any case, this DeepSeek-OCR approach turns out to be surprisingly efficient. In particular, they found that at a fixed  precision of 97% for long-context decoding (i.e., how well the model can compress information into a latent representation and reconstruct it), the OCR version needed 10 times fewer visual tokens than text tokens. In other words, the OCRed version can compress information 10x better than the text version. How is it different compared to other VLLM architectures? - They don't use a monolithic ViT as encoder, instead they fuse local and global vision features through a clever 16x convolutional compressor (this can handle high-resolution inputs efficiently in terms of memory and token counts). - They are (to the best of my knowledge) those who use an MoE as a decoder. I think it's an interesting, refreshing approach, and the twist here is that it works surprisingly well. However, I don't think that visual representations of text will solve the limitations of LLMs. Also, while it is popular to dislike text tokenizers like BPE, image representations are messy as well (one has to deal with aspect ratios, resolutions, croppings, color intensity variations, brightness levels, etc.). Still, it’s an interesting idea. Also, if this approach is more efficient than regular black&white text, I am curious to see compression ratios when we add syntax color to code. Regarding code, this may be an interesting alternative for storing contextual information, as spacing and subword tokenization remain challenges in traditional tokenizers. (Especially when working with code that uses many custom variable names that may not be represented in vocabularies and that have to be broken down into many individual subword tokens.) Overall, it’s still such an esoteric concept to encode text in images that I am (still) surprised it could do well (and may it would only make sense for very long documents or special domains like OCR or code, not general language modeling). (PS: Personally, I expected the DeepSeek team to follow up with a V4 model using the sparse attention mechanism they tried in V3.2 recently, but maybe that's still forthcoming. Now, after reading this paper, V4 is perhaps going to be a VLLM.)
74
316
35
2,062
158,274
Michael Fitzke retweeted
required reading for anyone who works with computers
38
382
14
4,767
288,884
Michael Fitzke retweeted
If you make your app 10% easier to use you'll get twice as many users.
288
364
101
5,400
303,428
Michael Fitzke retweeted
Wow! It only takes 2 TB of simulation data to rediscover a few equations!
32
84
15
1,139
98,386
Should be "what we wish they represent" as this intuition breaks for high-dim. data arxiv.org/abs/2110.09485 + the encoded features are biased from the decoder/rec. loss arxiv.org/abs/2402.11337. Use joint-embedding instead: arxiv.org/abs/2205.11508 -> recovers the data coordinates
“Everyone knows” what an autoencoder is… but there's an important complementary picture missing from most introductory material. In short: we emphasize how autoencoders are implemented—but not always what they represent (and some of the implications of that representation).🧵
8
59
1
433
74,548
Every tool is "superhuman", in the specific use cases relative to it. Otherwise we would not use it.
14
25
3
162
20,307
Both
YCombinator : “Build Something People Want” Steve Jobs: “People dont know what they want” Who to listen to ?
13
Incredibly important, often overlooked
Domain in ML projects, MLEs need domain knowledge from experts or product teams. As a beginner, it’s not critical unless you’re building MVPs or freelancing. Understanding data features matters more than just model accuracy. I’ve worked in real estate and e-commerce (Amazon marketing) and still need data context. Even if a model has high precision and recall in A/B testing, it’s useless if it doesn’t boost business revenue. We build models to make better decisions over large data patterns. Research domains and features, experiment with AI, and build real projects. In real work, collaborate with experts, product teams, or the CEO.
17
Michael Fitzke retweeted
i saw this guy’s video on simulating gravity in C++ and that pushed me into learning OpenGL (failure lol). now he’s back with another one simulating black holes. he incorporated ray tracing, Einstein’s field equation, Schwarzschild solution to the field equation, space-time, everything. what an insanely cracked man. @KavanSG
61
544
34
8,418
280,391
Really not a good sign if Gary Marcus is that gracious
GPT-5 hot take • took almost 3 years, many billions of dollars • good progress on many fronts • but still part of the pack, not a giant leap forward (e.g. Grok 4 beats it on ARC-AGI-2 results) • not the huge leap forward people long expected • lots of questions TBD about real-world performance • obviously not AGI Also: • pricing is good, but profits may continue to be elusive; still no clear technical moat. • what was up with those graphs (at least two) where the bars didn’t match the numbers? Did GPT-5 make them?? Quote of the day: “I dont wanna read anything about exponential progress anymore” - @flowersslop
63
Michael Fitzke retweeted
this screenshot from GPT-5 livestream has to be among the worst chart crimes of the century
84
141
103
2,071
845,440
Michael Fitzke retweeted
you don't need a framework to train models pretraining? for loop SFT? for loop RL? two for loops inside a for loop
27
17
7
488
48,081