#xAI

AIAman Sanger of Cursor says each AI product wave produced a dominant player, naming OpenAI for chat, Anthropic for coding, and welcoming SpaceXAI for general knowledge work. The post links to Grok Bot, described in quoted context as an early-beta AI teammate that signs into tools, uses them like a person, and returns finished work.

AIGrok Bot is now available in early beta as an AI teammate that signs in to your tools, uses them as you would, and returns finished work. The post frames it as an early step toward capable, delightful digital colleagues.

AICursor's Aman Sanger says the new model is an enormous improvement over Composer 2.5 and was trained entirely from scratch with the SpaceXAI team. The quoted Cursor post identifies it as Grok 4.5, Cursor's most powerful model yet and the first built for more than software engineering.

AICursor co-founder Michael Truell announced Grok 4.5, a model trained with SpaceXAI that the post calls Opus-class, fast, and low cost. He says it is a significant step up over Composer 2.5 and has become the daily driver for many on the Cursor team. A benchmark table shows Grok 4.5 at 83.3% on Terminal-Bench 2.1 and 78.0% on SWE-Bench Multilingual, with the post saying more releases will follow.

AISpaceX has exercised its option to acquire Cursor in an all-stock transaction, with the stated goal of building the world's most useful AI models. Over the past few months, SpaceXAI has been jointly training a model with Cursor, which will be released in Cursor and Grok Build soon.

AICursor's Michael Truell says the company is partnering with the SpaceX team to scale up Composer, calling it a meaningful step toward building the best place to code with AI. The quoted SpaceX post says Cursor gives SpaceX the right to acquire Cursor later this year for $60 billion, or pay $10 billion for the work together. It also cites SpaceX's Colossus training supercomputer, described as a million H100-equivalent system, as a source of training capacity.

AIARC Prize reports that the top Kaggle entry reached 24% on the ARC-AGI-2 private dataset at $0.20 per task, and that all winning solutions and papers are open source. The top verified commercial model, Opus 4.5 (Thinking, 64k), scored 37.6% at $2.20 per task, while a Poetiq refinement on Gemini 3 Pro reached 54% at $30 per task. The author argues that refinement loops are the main driver of 2025 progress, and says ARC-AGI-3 is planned for early 2026.

Why it matters: The post links 2025 competition results to a broader argument about refinement loops, showing how benchmark outcomes are being read as evidence of AI reasoning progress.