{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreifufwfbcdk3ep76xgmw6rwqrgsui5cr5x5r2tjva7dbm6namdi6u4",
    "uri": "at://did:plc:lk3jfj3zq4k4wxnk474axylu/app.bsky.feed.post/3mnndkzy43rw2"
  },
  "path": "/t/oh-yey-oh-yey-vibe-math/1382903#post_1",
  "publishedAt": "2026-06-06T18:49:27.000Z",
  "site": "https://community.openai.com",
  "tags": [
    "https://rocq-prover.zulipchat.com/",
    "https://github.com/hotdocx/emdash/blob/main/docs/emdash3_2.pdf",
    "https://github.com/hotdocx/emdash/blob/main/emdash2/emdash3_2.lp",
    "https://academy.openai.com/public/clubs/higher-education-05x4z/events/codex-for-faculty-and-researchers-lm708a7oum",
    "@markchen",
    "@markchen90",
    "@sebastienbubeck",
    "@wjmzbmr1",
    "@polynoamial",
    "@thomasfbloom",
    "@alexwei",
    "@Hongxunwu",
    "@mehtaab_sawhney",
    "@wtgowers",
    "@littmath",
    "@sherylhsu01"
  ],
  "textContent": "Hey, who is doing vibe math in this forum?\n\nDo you believe Codex/GPT-5.5 is ready for vibe math?\n\nDo 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/\n\nPersonally, I am experimenting on this `emdash` project; here is the recent update:\n\nhttps://github.com/hotdocx/emdash/blob/main/docs/emdash3_2.pdf\nhttps://github.com/hotdocx/emdash/blob/main/emdash2/emdash3_2.lp\n\n**`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… `emdash`is co-authored by Codex, what do you think?**\n\nSome upcoming vibe math events I will be at:\n\nLIVESTREAM\n11:00 PM, Jun 12 - 12:00 AM, Jun 13 JST\nCodex for Faculty and Researchers\n\nhttps://academy.openai.com/public/clubs/higher-education-05x4z/events/codex-for-faculty-and-researchers-lm708a7oum\n\nAnd I collected here some X/Twitter people for reminders:\n\n\n    Mark chen @markchen90\n\n    Sebastien bubeck  @sebastienbubeck\n\n    Lijie chen @wjmzbmr1\n\n    Noam brown  @polynoamial\n\n    Thomas bloom @thomasfbloom\n\n    Alexander wei  @alexwei\n\n    Hongxun wu  @Hongxunwu\n\n    Mehtaab sawhney  @mehtaab_sawhney\n\n    Timothy gowers @wtgowers\n\n    Daniel litt  @littmath\n\n    Sheryl hsu  @sherylhsu01\n\n\n\n@markchen\n\nvoilà!\n\nCHRISTOPHER MARY KOUAM\n\nmy other fun project: Shareable.Pro",
  "title": "Oh yey! oh yey! vibe math"
}