🐦 Twitter Post Details

Viewing enriched Twitter post

@dair_ai

NEW paper from Google DeepMind. (bookmark it) AI Co-Mathematician is an agentic research workbench for mathematicians, and it just hit 48% on FrontierMath Tier 4, a new high score among AI systems evaluated. The system is an asynchronous, stateful environment that supports ideation, literature discovery, computational analysis, theorem verification, and knowledge development. It manages uncertainty, clarifies intentions, records unsuccessful attempts, and emits formal mathematical outputs. Early applications yielded solved open problems, fresh research angles, and recovered overlooked citations during active research sessions. This is one of the cleanest demonstrations that agentic AI moves the frontier on genuinely hard mathematical research, not just problem-solving but discovery support. The asynchronous stateful workbench design is interesting to adopt if you are building agents for any expert workflow. Paper: https://t.co/C1ro3mGPQi Learn to build effective AI agents in our academy: https://t.co/LRnpZN7L4c

Media 1

📊 Media Metadata

{
  "media": [
    {
      "type": "photo",
      "url": "https://crmoxkoizveukayfjuyo.supabase.co/storage/v1/object/public/media/posts/2054224343551639958/media_0.jpg",
      "filename": "media_0.jpg"
    }
  ],
  "processed_at": "2026-05-12T15:46:08.307338",
  "pipeline_version": "2.0"
}

🔧 Raw API Response

{
  "type": "tweet",
  "id": "2054224343551639958",
  "url": "https://x.com/dair_ai/status/2054224343551639958",
  "twitterUrl": "https://twitter.com/dair_ai/status/2054224343551639958",
  "text": "NEW paper from Google DeepMind.\n\n(bookmark it)\n\nAI Co-Mathematician is an agentic research workbench for mathematicians, and it just hit 48% on FrontierMath Tier 4, a new high score among AI systems evaluated.\n\nThe system is an asynchronous, stateful environment that supports ideation, literature discovery, computational analysis, theorem verification, and knowledge development.\n\nIt manages uncertainty, clarifies intentions, records unsuccessful attempts, and emits formal mathematical outputs.\n\nEarly applications yielded solved open problems, fresh research angles, and recovered overlooked citations during active research sessions.\n\nThis is one of the cleanest demonstrations that agentic AI moves the frontier on genuinely hard mathematical research, not just problem-solving but discovery support. The asynchronous stateful workbench design is interesting to adopt if you are building agents for any expert workflow.\n\nPaper: https://t.co/C1ro3mGPQi\n\nLearn to build effective AI agents in our academy: https://t.co/LRnpZN7L4c",
  "source": "Twitter for iPhone",
  "retweetCount": 1,
  "replyCount": 1,
  "likeCount": 7,
  "quoteCount": 0,
  "viewCount": 316,
  "createdAt": "Tue May 12 15:37:03 +0000 2026",
  "lang": "en",
  "bookmarkCount": 6,
  "isReply": false,
  "inReplyToId": null,
  "conversationId": "2054224343551639958",
  "displayTextRange": [
    0,
    276
  ],
  "inReplyToUserId": null,
  "inReplyToUsername": null,
  "author": {
    "type": "user",
    "userName": "dair_ai",
    "url": "https://x.com/dair_ai",
    "twitterUrl": "https://twitter.com/dair_ai",
    "id": "889050642903293953",
    "name": "DAIR.AI",
    "isVerified": false,
    "isBlueVerified": true,
    "verifiedType": null,
    "profilePicture": "https://pbs.twimg.com/profile_images/1643277398522187778/31dedbLo_normal.jpg",
    "coverPicture": "https://pbs.twimg.com/profile_banners/889050642903293953/1773242460",
    "description": "",
    "location": "",
    "followers": 111726,
    "following": 1,
    "status": "",
    "canDm": true,
    "canMediaTag": true,
    "createdAt": "Sun Jul 23 09:12:45 +0000 2017",
    "entities": {
      "description": {
        "urls": []
      },
      "url": {}
    },
    "fastFollowersCount": 0,
    "favouritesCount": 4441,
    "hasCustomTimelines": true,
    "isTranslator": false,
    "mediaCount": 218,
    "statusesCount": 3191,
    "withheldInCountries": [],
    "affiliatesHighlightedLabel": {},
    "possiblySensitive": false,
    "pinnedTweetIds": [
      "2053866106151182419"
    ],
    "profile_bio": {
      "description": "Democratizing AI research, education, and technologies. New AI learning portal: https://t.co/LRnpZN7L4c",
      "entities": {
        "description": {
          "urls": [
            {
              "display_url": "academy.dair.ai",
              "expanded_url": "https://academy.dair.ai/",
              "indices": [
                80,
                103
              ],
              "url": "https://t.co/LRnpZN7L4c"
            }
          ]
        },
        "url": {
          "urls": [
            {
              "display_url": "dair.ai",
              "expanded_url": "https://www.dair.ai/",
              "indices": [
                0,
                23
              ],
              "url": "https://t.co/lkqPZtMU5s"
            }
          ]
        }
      }
    },
    "isAutomated": false,
    "automatedBy": null
  },
  "extendedEntities": {
    "media": [
      {
        "display_url": "pic.twitter.com/6qV3ZrK9AQ",
        "expanded_url": "https://twitter.com/dair_ai/status/2054224343551639958/photo/1",
        "ext_media_availability": {
          "status": "Available"
        },
        "features": {
          "large": {
            "faces": []
          },
          "orig": {
            "faces": []
          }
        },
        "id_str": "2054224340003307520",
        "indices": [
          277,
          300
        ],
        "media_key": "3_2054224340003307520",
        "media_results": {
          "id": "QXBpTWVkaWFSZXN1bHRzOgwAAQoAARyCEidK28AACgACHIISKB5bAZYAAA==",
          "result": {
            "__typename": "ApiMedia",
            "id": "QXBpTWVkaWE6DAABCgABHIISJ0rbwAAKAAIcghIoHlsBlgAA",
            "media_key": "3_2054224340003307520"
          }
        },
        "media_url_https": "https://pbs.twimg.com/media/HIISJ0rbwAAMac3.jpg",
        "original_info": {
          "focus_rects": [
            {
              "h": 783,
              "w": 1398,
              "x": 0,
              "y": 0
            },
            {
              "h": 1398,
              "w": 1398,
              "x": 0,
              "y": 0
            },
            {
              "h": 1594,
              "w": 1398,
              "x": 0,
              "y": 0
            },
            {
              "h": 1790,
              "w": 895,
              "x": 0,
              "y": 0
            },
            {
              "h": 1790,
              "w": 1398,
              "x": 0,
              "y": 0
            }
          ],
          "height": 1790,
          "width": 1398
        },
        "sizes": {
          "large": {
            "h": 1790,
            "w": 1398
          }
        },
        "type": "photo",
        "url": "https://t.co/6qV3ZrK9AQ"
      }
    ]
  },
  "card": null,
  "place": {},
  "entities": {
    "hashtags": [],
    "symbols": [],
    "urls": [
      {
        "display_url": "arxiv.org/abs/2605.06651",
        "expanded_url": "https://arxiv.org/abs/2605.06651",
        "indices": [
          935,
          958
        ],
        "url": "https://t.co/C1ro3mGPQi"
      },
      {
        "display_url": "academy.dair.ai",
        "expanded_url": "https://academy.dair.ai/",
        "indices": [
          1011,
          1034
        ],
        "url": "https://t.co/LRnpZN7L4c"
      }
    ],
    "user_mentions": []
  },
  "quoted_tweet": null,
  "retweeted_tweet": null,
  "isLimitedReply": false,
  "communityInfo": null,
  "article": null
}