OpenAI Begins Astra Rollout to Pro and Business Users
Tibo from OpenAI announces that the Astra rollout is underway, with Pro and Business subscriptions getting access first across ChatGPT Work and Codex, followed…
Global AI Digest
-
-
GPT-6 Astra Recreates a Person in Blender, and the Digital Simulacrum Can Be Scaled, Rotated, and Moved
A post from Kit Langton describes how GPT-6 Astra created a 3D version of Dax Raad in Blender, allowing the model to be scaled, rotated, and moved along any axi…
-
CommandCodeAI v1.47.0 Adds Native Support for Complex Office File Formats
CommandCodeAI releases v1.47.0 with native support for most file formats, addressing user requests for better handling of complex office docs. Update via 'cmd u…
-
OpenCode Reaches 1,000 Contributors, Thanks Its Open-Source Community
OpenCode, the open-source AI coding agent, celebrated a new milestone by thanking its 1,000 contributors, highlighting growing momentum behind community-driven…
-
Omen Alpha 'Stealth Model' Launches Exclusively for OpenCode Go Subscribers
Omen Alpha, a new stealth AI model, is exclusive to OpenCode Go subscribers with a $10-for-$100 usage promo. A developer's 'LMFAO' reaction highlights the buzz.
-
Mistral Brings the aiDotEngineer Event Back to Paris
Mistral is bringing the sold-out aiDotEngineer event back to Paris, featuring speakers from Mistral, BFL AI, Cognition, and Hugging Face.
-
MiniMax & Together Compute Host London AI Event on Open Model Economics
MiniMax and Together Compute have opened registration for their London event, 'Open by Design: The Economics of AI in Production,' set for September 16.
-
MiniMax and Together Compute to Explore Open Model Economics in London
MiniMax and Together Compute are hosting an event in London on September 16 to discuss how open models change the cost dynamics of production AI.
-
LiteLLM Hosts Weekly Discord Office Hours Every Friday at Noon PT
LiteLLM invites users to join its official Discord server every Friday at noon PT for Q&A, feedback, and suggestions.
-
Claude Produces First Formalized Proof of Fermat's Last Theorem in Lean
Anthropic's Claude completed the first formalized proof of Fermat's Last Theorem using the Lean proof assistant, producing the largest Lean proof ever written—a…
