sager

computational scientist. worked in spacetech, medtech, AI research. got bored, now a founder

[sager @LaSager]

found 3 new infinite families of 3D einstein tiles using Opus 5.5

Lean proofs on Github

[Natalie Wolchover @nattyover]

Breaking math news: The first-ever 3D Einstein tile, an object that tiles space in a never-repeating pattern, has been found by independent researcher Ioannis Tsiokos using GPT Astra. Resembles a chair. Mathematicians have de-slopped the proof. @kkakaes: https://t.co/KOMjtwluoH

[sager @LaSager]

@sebastemp @ylecun @Noahpinion yeah, to be fair when managing people you often have the case of "I told you to do X, why in the world didn't you consider Y?", so even grown adults are guilty of following instructions instead of stopping and thinking "wait, does the way I'm tackling this even make sense?"

[sager @LaSager]

@hackaday Still a long way to take down the FPGA incumbents, but one step closer

[hackaday @hackaday]

FPGA for All — CERN Releases “colibri” VHDL Library https://t.co/zqnAA24KCI

[sager @LaSager]

@mattshumer_ not LLMs, but every single device has local TTS, image segmentation, and soon general classifiers (Jev; but open-weights)

[mike grace @_mikegrace]

shooting guns in the desert

see you space cowboy

[sager @LaSager]

I haven't seen a single LLM be good at "wait a second, this doesn't make sense," like any human can do.

E.g., if the task is "send a message to X person", it needs to realise:
1) is the person awake now?
2) the person maybe doesn't speak english?
3) the message doesn't make sense given the person's profile
4) etc.

I'd love to hear if there is research on this. The closest thing I found is Pragmatic Reasoning, but is not the same thing

[sager @LaSager]

@youwillmakemaps engineering has historically been more of an art than a science. All of this was done before the precision of CAD. Beautiful

[sager @LaSager]

@SaiMandhan stealth is the new FAANG

[sager @LaSager]

@karpathy @mitsuhiko Perfect time to invest in .si domains. Slovenia is getting rich

[Daniel Dominguez @dominguezdaniel]

Turning open-source robotics repositories into an interactive 3D library.

Real robots. Real CAD. From source to robot. 🤖

The Robots Are Coming!

[Gabe @gabednconfused]

Slow mo speeds (100mm/s)…

We designed and built our own print heads too, which takes away the logistical stressors of sourcing heads from Europe at 5x the cost. This is our first test of the new head.

[Gappy (Giuseppe Paleologo) @__paleologo]

More mathematicians needed

https://t.co/ALhYZVhVRV

[sager @LaSager]

@Polymarket Isaac Asimov talked about this in his 1957 short story “The Feeling of Power”

[sager @LaSager]

@TheChiefNerd same logic as computers “driving events” that cause a billion deaths, nothing special about AI

[sager @LaSager]

fixing peer-review crisis in research:
1. If you submit, you review
2. Use fast classifier like Laya to match reviewers to papers
3. Reviewers are anonymous, but they get marketplace-style reviews from the other reviewers of the same paper

[sager @LaSager]

@eurofounder UK is truly at the forefront of "pacing the frontier"

[sager @LaSager]

@trq212 having Claude brainstorm with me, occasionally ask questions, and let it plan only through a todo-list is very useful for quick exploratory tasks. It allowed Opus 5.5 find for me families of infinite solutions to the 3D einstein tiles:
https://t.co/TLfpxMcWq0

[sager @LaSager]

found 3 new infinite families of 3D einstein tiles using Opus 5.5

Lean proofs on Github

[sager @LaSager]

these 3 families of solutions are examples. They come from one general Lean theorem: bend space in any tiny way that respects Chair44's symmetries and you get a new tile. So there are infinitely many families of infinite solutions

[sager @LaSager]

found 3 new infinite families of 3D einstein tiles using Opus 5.5

Lean proofs on Github

[Natalie Wolchover @nattyover]

Breaking math news: The first-ever 3D Einstein tile, an object that tiles space in a never-repeating pattern, has been found by independent researcher Ioannis Tsiokos using GPT Astra. Resembles a chair. Mathematicians have de-slopped the proof. @kkakaes: https://t.co/KOMjtwluoH

[sager @LaSager]

Interactive visualization: https://t.co/SaylheZI5b
Lean proofs: https://t.co/bCYBmOPKfw