Mike Dupont@introsp3ctor

FOLLOWS YOU BACK. ca: BwUTq7fS6sfUmHDwAiCQZ3asSiPEapW5zDrsbwtapump Zero Ontology System Compiler Introspector ZOS-SFM #SOLFUNMEME @zos_sfm :)

 New Jersey, USA
linktr.ee/h4km
Joined July 2023
9,930 Photos and videos
thanks gemini #solfunmeme is deconstructing solana
8
329
3 6 9 is all you need, the notebooklm notebook.google.com/notebook… and podcast t.me/introsp3ctor/101871

Gemini Notebook | Your research and thinking partner, grounded in the information you trust

Use the power of AI for quick summarization and note taking, Gemini Notebook is your powerful virtual research assistant rooted in information you can trust.

notebook.google.com
1
54
you wanted some plan? #solfunmeme
Mike Dupont@introsp3ctor
30m
RFC LGM-0001: Lazy Goat Math (Grazing) Status: Draft for discussion. Date: 2026-11-03. Category: Informational / Proposed design. Lazy Goat Math is a demand-driven, cost-aware, content-addressed layer on top of Lake for building, checking and sharing very large Lean 4...
47
RFC LGM-0001: Lazy Goat Math (Grazing) Status: Draft for discussion. Date: 2026-11-03. Category: Informational / Proposed design. Lazy Goat Math is a demand-driven, cost-aware, content-addressed layer on top of Lake for building, checking and sharing very large Lean 4...
Made with AI
1
2
72
Thanks grothendieck share.gemini.google/OKIMb0c8…

‎Gemini - Architecture of Lazy Goat Math

Created with Gemini

gemini.google.com
7
Tesla 3,6,9 and Hecke words, not to be used lightly.
54
wip
57
I feel that when my zero spending spree on ai is over, we have to re-evaluate the market.
85
todays challenge : Y443 -> M*2, go!
Made with AI
2
3
172
does your ai struggle with this? I bet.
1
1
9
grok.com/share/c2hhcmQtMi1jb…

Y443 Two-Generator Trace Report | Shared Grok Conversation

can you visualize?

grok.com
6
share.gemini.google/CG6bITEp…

‎Gemini - Y443 Two-Generator Trace Report

Created with Gemini

gemini.google.com
1
8
chat.deepseek.com/share/ts54…
8
Sorry but your "AGI" in python is not really moving me to even try and install it.
79
GMTEEM still active, still struggling not giving up even if we have to fight for scraps. #SOLFUNMEME
55
Made with AI
2
2
8
338
CFSG agb2e lfg thx axiommath
Axiom
@axiommathai
11h
A magical corollary: EVERY FINITE SIMPLE GROUP IS GENERATED BY 2 ELEMENTS
Made with AI
3
4
329
Mike Dupont@introsp3ctor
9h
theorem twoGenerated_closure_pair {P : Type*} [Group P] (σ τ : P) : TwoGenerated (Subgroup.closure ({σ, τ} : Set P)) := twoGenerated_subgroup_of_closure_pair_eq _ σ τ (Subgroup.subset_closure (by simp)) (Subgroup.subset_closure (by simp)) rfl
14
Mike Dupont retweeted
Mike Dupont@introsp3ctor
9h
Replying to @SurmountSystems
1
1
2
34
theorem twoGenerated_closure_pair {P : Type*} [Group P] (σ τ : P) : TwoGenerated (Subgroup.closure ({σ, τ} : Set P)) := twoGenerated_subgroup_of_closure_pair_eq _ σ τ (Subgroup.subset_closure (by simp)) (Subgroup.subset_closure (by simp)) rfl
Made with AI
2
3
177
9
github.com/AxiomMath/CFSGCor…

CFSGCorollary/CFSGCorollary/Sporadic/Monster/Y443.lean at main · AxiomMath/CFSGCorollary

Lean 4 proof that every finite simple group is generated by two elements - AxiomMath/CFSGCorollary

github.com
9
Load more