Prof. Donald Knuth opened his new paper with "Shock! Shock!"
Claude Opus 4.6 had just solved an open problem he'd been working on for weeks — a graph decomposition conjecture from The Art of Computer Programming.
He named the paper "Claude's Cycles."
31 explorations. ~1 hour. Knuth read the output, wrote the formal proof, and closed with: "It seems I'll have to revise my opinions about generative AI one of these days."
The man who wrote the bible of computer science just said that. In a paper named after an AI.
Paper: cs.stanford.edu/~knuth/paper…
Great work again by Microsoft Research on balanced ternary for AI applications.
marktechpost.com/2025/10/18/…
Steven Bos retweeted
Tenk deg å lage setningar med berre to bokstavar. Forskar Steven Bos meiner å bevise at tida er inne for at datamaskiner kan og bør gå over til det trinære alfabetet, altså bort frå berre 1 og 0 usn.no/forskning/doktorgrads…
@NTB_PRM
USB 4.2 standard uses ternary signals (PAM-3). Non-binary signalling is an ongoing and radical shift. PCI Express 6.0 uses quaternary signals (PAM-4). Changing
radix from binary to ternary gives ~60% bandwidth improvements.
graniteriverlabs.com/en-us/t…
Recently penta-level cell (5-bits/cell) SSD's were announced. At this point the interface is becoming a hassle as logic remains for the time being, binary.
tomshardware.com/news/solidi…
With emerging devices like memristors, multi-threshold CNTFET and others technologies shown on the industry roadmap things look wild for MVL despite not being named. It is a slow return to analog again, but now using the best parts of the digital world.
irds.ieee.org/editions/2022
Steven Bos retweeted
MMS: Massively Multilingual Speech.
- Can do speech2text and text speech in 1100 languages.
- Can recognize 4000 spoken languages.
- Code and models available under the CC-BY-NC 4.0 license.
- half the word error rate of Whisper.
Code+Models: github.com/facebookresearch/…
Paper: scontent-lga3-2.xx.fbcdn.net…
Blog: ai.facebook.com/blog/multili…
Steven Bos retweeted
Recreated #Tetris in #AugmentedReality during my commute on the train to and from work yesterday using #chatgpt4
Total development time: 1 hour ⏱️ Here's the breakdown:
54 min: Game Logic (this was a back and forth dialogue in which gpt4 planned out the best approach to take and wrote 100% of the game logic)
6 min: Game Aesthetics (generated a neon grid texture from midjourney and applied to an <a-plane> in the scene)
Steven Bos retweeted
Introducing segment-geospatial, A Python package for segmenting geospatial data with the Segment Anything Model (SAM)
GitHub: github.com/opengeos/segment-…
Docs: samgeo.gishub.org
Notebook: samgeo.gishub.org/examples/s…
#segmentanything #deeplearning #geopython
Introducing Segment Anything: Working toward the first foundation model for image segmentation ai.facebook.com/blog/segment…
Steven Bos retweeted
🎉 GPT-4 is out!!
- 📈 it is incredible
- 👀 it is multimodal (can see)
- 😮 it is on trend w.r.t. scaling laws
- 🔥 it is deployed on ChatGPT Plus: chat.openai.com
- 📺 watch the developer demo livestream at 1pm: youtube.com/live/outcGtbnMuQ…
Announcing GPT-4, a large multimodal model, with our best-ever results on capabilities and alignment: openai.com/product/gpt-4
Steven Bos retweeted
Very cool work from Google!!! – at San Mateo, CA
What happens when we train the largest vision-language model and add in robot experiences?
The result is PaLM-E 🌴🤖, a 562-billion parameter, general-purpose, embodied visual-language generalist - across robotics, vision, and language.
Website: palm-e.github.io
Steven Bos retweeted
#SiliWiz is finally publicly available! Try it here: app.siliwiz.com/
And make sure you take a look at the lessons: bit.ly/siliwiz-lesson















