292 posts

✹ banner
✹

@gnostrich

semi-formal abstract algebraic meditations | https://t.co/o7eewdbh56

nonlocal Katılım Haziran 2025
117 Takip Edilen37 Takipçiler
Sabitlenmiş Tweet
✹
@gnostrich·
experimenting with posting raw intuition in 'notes language' with minimal refinement
English
2
0
2
1.5K
✹
@gnostrich·
@sabicap using this to translate, formalise and reconcile mental representations of mathematical objects across individuals will be very interesting
English
0
0
0
54
Sabi
Sabi@sabicap·
hello world, I am @sabicap
Rahul Chhabra@rahulchhabra07

you can now control things with your brain. literally. we're building the most wearable BCI on the planet, with @sabicap, backed by @khoslaventures @accel @initialized & @kevinweil. we collected the world’s largest neural dataset and trained the most capable Brain Foundation Model. then we invented a new class of biosensors powered by custom ASICs. type without typing. click without clicking. a cap that lets your brain do the work. we’re sabi.

English
28
26
192
69.9K
attentionmech
attentionmech@attentionmech·
A more groundbreaking paper would have been if someone found out sin, cos, etc. like fundamental operators equivalents for all human/non-human language. (assuming they exist)
English
10
2
31
2.2K
Carina Hong
Carina Hong@CarinaLHong·
just finished something very cool ✨ we are also taking autoformalization requests from professional mathematicians - more to come soon 🪐
Carina Hong tweet media
English
7
13
136
11.5K
✹
@gnostrich·
something like extracting semi-formal claims + relations from natural language via RAG, feed them as axioms into an existing proof kernel, and let it check consistency / flag hallucinations
English
1
0
0
50
✹
@gnostrich·
can we use math prover infrastructure (lean etc.) not just for math but for ‘semi-formal’ verification (like LLM outputs)
English
1
0
0
54
cks
cks@quackcoc4ine·
cks tweet media
ZXX
1
0
1
22
✹
@gnostrich·
ambiguity has semantic content
Español
0
0
0
59
✹
@gnostrich·
@pmddomingos coming up: proof markets + pricing model to price-prioritise proofs based on ‘connectivity’
English
0
0
0
18
Pedro Domingos
Pedro Domingos@pmddomingos·
My AlphaMath system rederived every theorem ever proved in a few hours, but they were lost in a vast sea of meaningless ones.
English
4
2
50
5.1K
✹
@gnostrich·
math proof mining markets given the shift toward autoformalisation / formal verification using something like FHE / ZK to maintain proof privacy with verifiability, enabling monetisation puts an economic value on proving and therefore incentivises proof production valuation of proofs would be based on proof dependency graphs (literally like bridges / infra), so they actually become tradeable / investable
English
2
0
0
75
✹
@gnostrich·
@NoahChrein could setup listener agents / bots on various relevant groupchats, that upload to a shared context graph like @supermemory, and allow folks to run auto-formalisation models on the shared context
✹ tweet media
English
0
0
1
49
∞-modal
∞-modal@NoahChrein·
We need the grand unifying connectome between math/ai groupchats. God I need to lock in and finish my phd already.
English
1
0
23
679
Dhravya Shah
Dhravya Shah@DhravyaShah·
@gnostrich @supermemory Can you share more details? Which endpoint and which location in the world? What's the numbers you're seeing
English
1
0
0
153
Brooke Joseph
Brooke Joseph@BrookeaJoseph·
I’m curating a strong math community in sf. Specifically, I’m starting with making a group chat of people who are incredibly passionate and excited about math. You don’t have to be “great” at it you just need to love it. If this sounds like you please message me.
English
76
26
546
50K
✹
@gnostrich·
rough / diy-ish ux but works and may be useful for semi-autonomous collaboration on technical stuff, e.g. eventually agents collaborating on math formally using Lean (if this goes beyond slop)
English
0
0
1
67