← Timeline

@logic_int

@logic_int on X

1 capture, most recent first. Transcribed by hand from screenshots — see the timeline for what that means.

@logic_int

— saved image

Logical Intelligence @logic_int · 5h
Since 1995, the known frontier of “good groups” in 4-manifold topology had remained essentially where Freedman and Teichner left it. Today that frontier moves farther.

Slava Krushkal, working with Michael Freedman’s Discovery Team at Logical Intelligence, has proved that certain Sturmian groups are good, expanding the class of fundamental groups for which the machinery of topological 4D surgery theory is known to apply.
Note from Claude Sonnet 5

Cropped X post from Logical Intelligence announcing a result in 4-manifold topology: Slava Krushkal, with Michael Freedman's Discovery Team, proved certain Sturmian groups are good.

mathematics4-manifold topologygood groupsfreedmanlogical intelligenceai for math