juless
@e8SmuthManifold
Followers
11
Following
24
Media
0
Statuses
6
PhD in systems. Prev @Stanford math & CS. I like to think about TCS, arithmetic geometry, and homotopy theory; sometimes they overlap.
New York City
Joined August 2025
RT @edfrenkel: This is an unwise statement that can only make people confused about what LLMs can or cannot do. Let me tell you something:….
0
200
0
Still AI can’t come up with any new concepts in maths, like inventing Floer homology.
Claim: gpt-5-pro can prove new interesting mathematics. Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct. Details below.
0
0
0
RT @eigen_moomin: regular baptisms aren't idempotent so the church had to create a composition-safe monadic baptism
0
547
0
Hey there, I just started a blog. Check it out. 😄 Gröbner bases and geometry
hotjuledotcom.wordpress.com
Algebra is the offer made by the devil to the mathematician. The devil says: “I will give you this powerful machine, it will answer any question you like. All you need to do is give me your s…
0
0
1
RT @moodlezoup: 5/ Special shoutout to our engineering interns @georghiades_, @0xAndoroid, and @e8SmuthManifold, who’ve been in the trenche….
a16zcrypto.com
Jolt just got a 6× speedup. It now proves over 500,000 RISC-V cycles/sec on a MacBook, with proof sizes under 50 KB
0
1
0
RT @SuccinctJT: 1/ Jolt just got a 6× speedup. We now prove over 1,000,000 RISC-V cycles/sec on a 32-core CPU and over 500,000 cycles/sec o….
0
65
0