simplicial
@simplicial.bsky.social
Discrete; enjoys mathematics; oracular numinance
So, how are we feeling about AI for proofs? Good or no good?
February 25, 2025 at 9:15 PM
So, how are we feeling about AI for proofs? Good or no good?
Compass? CHECK Straightedge? CHECK
Time to construct.
Time to construct.
February 16, 2025 at 7:45 PM
Compass? CHECK Straightedge? CHECK
Time to construct.
Time to construct.
Manifold hypothesis? Nope, just one hypoth.
February 13, 2025 at 9:06 PM
Manifold hypothesis? Nope, just one hypoth.
I <3 geometry
I <3 topology
I </3 analysis
I <3 topology
I </3 analysis
February 11, 2025 at 2:01 AM
I <3 geometry
I <3 topology
I </3 analysis
I <3 topology
I </3 analysis
The purpose of a theorem is what it does.
February 9, 2025 at 3:07 PM
The purpose of a theorem is what it does.
Whoops, I did some math today (j/k, it's the weekend).
February 8, 2025 at 6:20 PM
Whoops, I did some math today (j/k, it's the weekend).
It's a beautiful day for doing Mathematics
February 7, 2025 at 11:03 AM
It's a beautiful day for doing Mathematics
Mathematics is the apex psychofauna.
February 6, 2025 at 12:20 PM
Mathematics is the apex psychofauna.