Oh yey! oh yey! vibe math

Hey, who is doing vibe math in this forum?

Do you believe Codex/GPT-5.5 is ready for vibe math?

Do you believe the existing math forms are ready for Codex/GPT-5.5? What do you think of the math in the form of Coq/proof-assistants https://rocq-prover.zulipchat.com/

Personally, I am experimenting on this emdash project; here is the recent update:

https://github.com/hotdocx/emdash/blob/main/docs/emdash3_2.pdf https://github.com/hotdocx/emdash/blob/main/emdash2/emdash3_2.lp

emdash is a new programming language where functions are functors, etc… it is a bit subtle, but of high stakes, on par vs homotopy type theory… emdashis co-authored by Codex, what do you think?

Some upcoming vibe math events I will be at:

LIVESTREAM 11:00 PM, Jun 12 - 12:00 AM, Jun 13 JST Codex for Faculty and Researchers

https://academy.openai.com/public/clubs/higher-education-05x4z/events/codex-for-faculty-and-researchers-lm708a7oum

And I collected here some X/Twitter people for reminders:

Mark chen @markchen90

Sebastien bubeck  @sebastienbubeck

Lijie chen @wjmzbmr1

Noam brown  @polynoamial

Thomas bloom @thomasfbloom

Alexander wei  @alexwei

Hongxun wu  @Hongxunwu

Mehtaab sawhney  @mehtaab_sawhney

Timothy gowers @wtgowers

Daniel litt  @littmath

Sheryl hsu  @sherylhsu01

@markchen

voilà!

CHRISTOPHER MARY KOUAM

my other fun project: Shareable.Pro