My 5978 Likes

Today we're announcing Gauss, our first autoformalization agent that just completed Terry Tao & Alex Kontorovich's Strong Prime Number Theorem project in 3 weeks—an effort that took human experts 18+ months of partial progress.

'GAIA' Solarpunk 3D Environment built using houdini solaris, karma, blender, gaea and nuke #cgi #3danimation #solarpunk #houdini #blender3d https://t.co/CoKx7D3Q8w

Today Thinking Machines Lab is launching our research blog, Connectionism. Our first blog post is “Defeating Nondeterminism in LLM Inference” We believe that science is better when shared. Connectionism will cover topics as varied as our research is: from kernel numerics to… https://t.co/jMFL3xt67C

AI agents can prototype apps… But shipping real software takes hours of testing, debugging, and refactoring. Agent 3 is 10× more autonomous — it keeps going where others get stuck. The “Full Self-Driving” moment of software. https://t.co/z66nxQKieO

LIVE: We're sharing the latest findings from our Perseverance rover, which is studying Mars for signs of ancient life. Tune in: https://t.co/kLNbjdzUIt

Introducing checkpoint-engine: our open-source, lightweight middleware for efficient, in-place weight updates in LLM inference engines, especially effective for RL. ✅ Update a 1T model on thousands of GPUs in ~20s ✅ Supports both broadcast (sync) & P2P (dynamic) updates ✅… https://t.co/hurvLPDW1n

Introducing Oboe. Out now. Human beings are getting stupider. We all know it.  Meanwhile, we’ve spent trillions to make the most incredible technology in the history of humanity, and we’ve outsourced all of our individual agency in the process. (1/3) https://t.co/WimeY624Cn

Today, as part of our effort to make our platform transparent, we are open-sourcing the latest code used to recommend posts on the For You timeline. Our algorithm is always a work in progress. We will continue to refine our approach to surface the most relevant content to our…

lock in inspo https://t.co/ocQ3HjSfYO

The next gen @Starlink Direct to Cell system will deliver unparalleled performance with the world’s most advanced satellites, exclusive spectrum, and Starship’s unprecedented payload capacity → https://t.co/Bh5l6DRaay https://t.co/qeyRZ4abh9

X Article: https://t.co/Mg0oHBVoxf

Robotics is stuck in big, expensive, corpo land. Just like computers were in the 1970s... until Apple came along and built some in a garage. This is the new era of robotics: personal. https://t.co/KUhZyKi56L https://t.co/GVNEELJnYZ

what if one person’s curiosity could spark the entire digital revolution? > this book tells the story of claude shannon; the genius who invented information theory and quietly built the foundation of the information age. > perfect for engineers, mathematicians, and anyone who… https://t.co/cqjXLLJ43K

Great thread about investment post-AGI I've been thinking a lot about it recently and switching my investments up a bit Post-AGI there's a prediction the prices of almost everything will go to close to zero Think for example the food you eat, if it can be farmed fully… https://t.co/QuvSCr6WU7

💥 I’m starting something new inside OpenAI! It’s called OpenAI for Science, and the goal is to build the next great scientific instrument: an AI-powered platform that accelerates scientific discovery.

current chat interfaces suck, so i built a canvas for llms https://t.co/s0vAq0g8aH https://t.co/94RvYgIrGV

a new study came out on AI job interviews and the results are not what ANYONE expected. 70,000 people in the philippines applied for customer service roles. some were interviewed by human recruiters, some by an AI voice agent. the recruiters running the study predicted the AI… https://t.co/LeYZvyO8oa

what’s going on https://t.co/7j7hrepKSO

Some thoughts on the utility of knowledge graphs. The knowledge graph shown is a *model* of how mathematical knowledge is organized. A crucial thing to understand is that all models have their strengths and weaknesses, including some of the most celebrated models ever… https://t.co/SuFAJo61Tm

Introducing Grok Code Fast 1, a speedy and economical reasoning model that excels at agentic coding. Now available for free on GitHub Copilot, Cursor, Cline, Kilo Code, Roo Code, opencode, and Windsurf. https://t.co/3tMbmLbxOP

Gamescom 2025 is a wrap, but we have one more epic prize announcement from our GeForce On Community Update: Jensen Huang signed GeForce RTX 5090 Want it?! Comment "GeForce RTX 5090" below for your chance to WIN! https://t.co/4USXBxyZ4H

Introducing the Environments Hub RL environments are the key bottleneck to the next wave of AI progress, but big labs are locking them down We built a community platform for crowdsourcing open environments, so anyone can contribute to open-source AGI https://t.co/urAv2hGPCQ

🔍 How do we teach an LLM to 𝘮𝘢𝘴𝘵𝘦𝘳 a body of knowledge? In new work with @AIatMeta, we propose Active Reading 📙: a way for models to teach themselves new things by self-studying their training data. Results: * 𝟔𝟔% on SimpleQA w/ an 8B model by studying the wikipedia… https://t.co/z5f3qfWXbd

Artificial Societies has raised $5.3m. We are building the Thinking Machine that can see all potential societal outcomes of any given actions, and help humanity find the golden paths. Yes, we are here to build Psychohistory. And we are just getting started. https://t.co/4rMYtbfkCE

🚀Introducing Wan2.2-S2V — a 14B parameter model designed for film-grade, audio-driven human animation. 🎬Going beyond basic talking heads to deliver professional-level quality for film, TV, and digital content. And it’s open-source! ✨ Key features: 🔹 Long-video dynamic… https://t.co/yTevJrDWl5

Just when you thought we were done for the day... 🎬 Introducing Vortek – the multi-color solution you've been waiting for. Up to 7 materials, zero purge waste, wireless reliability. Finally, multi-color printing that actually makes sense. Coming Q4 2025! ✨ #Bambulab #Vortek… https://t.co/ZsXqVgjL9T

How do educators use Claude? We ran a privacy-preserving analysis of 74,000 real conversations to identify trends in how teachers and professors use AI at work. https://t.co/U7K8eS92GR

Introducing Asta—our bold initiative to accelerate science with trustworthy, capable agents, benchmarks, & developer resources that bring clarity to the landscape of scientific AI + agents. 🧵 https://t.co/ygOCTw495d

Starlink satellites are designed, built, launched and operated from the United States to provide connectivity anywhere on the planet https://t.co/NkcjJw4nDT

Reminder that mathematics and music, now totally disconnected domains that never interact, were deeply linked at one point in history. Almost inseparable https://t.co/QrXD3RI062