SangBin Cho

1/ muse spark 1.1 is an industry-competitive agentic and coding model. across many agentic evals it rivals gpt-5.5 and opus-4.8. available now through the new meta model api and in meta ai. 🧵

GPT-5.6 Sol Ultra produced a proof of a 50 year old math conjecture. Unlike the Erdős Unit Distance Problem, this was done with a model publicly available *today*. I look forward to seeing what scientists and researchers are able to do with this model!

More test-time compute leads to greater intelligence. But as we push ttc from seconds to weeks, latency becomes a bottleneck. GPT-5.6 Sol Ultra scales parallel ttc. The time taken to generate a proof to a 50-year-old problem drops from perhaps a whole day to a single hour.

Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we're sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under one hour. We're sharing the prompt and proof below. We're excited to see what you all do with Ultra!

Super excited to bring Muse Spark 1.1 to the world! ✨✨✨ A solid agentic + coding + multimodal model, built to be really capable and incredibly affordable . I’ll forever cherish the days and nights grinding with my incredibly talented and driven teammates. What an amazing team to build with! Please try it out and let us know what you think! We’d love to hear your feedback. ❤️❤️❤️

@ananyaku Same for me! Also learned a lot from you guys! 🙏

@Saaaang94 So fun working with you!

Small update: I joined Meta this Feb, and it’s been fun scaling up this model! 🚀Highly recommend to try and give us feedback!

We’re releasing Muse Spark 1.1 today with a big step up in agentic capabilities. Also releasing the API, and it is really, really cheap! I hope this opens up agentic intelligence to more people. The rate at which intelligence is getting cheaper still feels underrated

We've trained our best coding model yet, and it's also incredibly token-efficient. Give Grok 4.5 a try!

🤝

The team did amazing work with Grok 4.5. I've been using the model as my daily driver and the accuracy + speed make it possible to build things faster than I can think of what is required next. We are iterating fast so any feedback is helpful

My favorite thing about this model is how light/fast it feels for the level of capability. We focused on extracting as much intelligence-per-latency as we could. Many more bigruns to run and RL recipes to scale.

Excited to release Grok 4.5 with @SpaceXAI. It's an Opus-class model that's fast and low cost. It's a significant step up over any model we've developed so far, including Composer 2.5, and has become the daily driver for many on our team. First of many releases. More soon.

🚀I'm excited to share that I will be joining Meta Superintelligence Labs (MSL) as Vice President of AI Research, together with many members of the Virtue AI team. I will help shape Meta's AI safety and AI security efforts, advancing the safety and security of frontier AI models and agentic AI systems that will serve billions of people and organizations around the world. Throughout my career, I have been driven by a simple belief: for AI to realize its full potential, it must be secure, trustworthy, and beneficial. That belief has guided my research for many years and ultimately led us to co-found Virtue AI in 2024. Our goal was to translate advances in trustworthy AI research into practical solutions and build the trust layer for AI systems and agents, enabling organizations to deploy AI with confidence. I am incredibly proud of what the Virtue AI team has accomplished. Together, we built technologies for AI security and agent security, partnered with leading enterprises and frontier AI labs, and contributed research, benchmarks, and open platforms that have helped advance the science and practice of trustworthy AI. Most importantly, we assembled an exceptional team united by a shared mission: making AI more secure, trustworthy, and beneficial. I am deeply grateful to our team, customers, collaborators, advisors, and investors for their trust and support throughout this journey. In particular, I would like to thank Lightspeed Venture Partners, Walden Catalyst Ventures, Prosperity7 Ventures, Factory, Osage University Partners, Lip-Bu Tan, and all of our supporters who helped us turn an ambitious vision into reality. Your trust, guidance, and partnership have been instrumental in shaping Virtue AI's journey. As AI systems become increasingly capable and autonomous, ensuring their security, trustworthiness, and alignment will be one of the defining challenges of our time. I am inspired by Alex, Nat, Prashant, and the broader MSL team’s vision of building AI and AI agents that benefit billions of people, and I look forward to helping make that vision a reality through advances in AI safety and security. The future of AI will not be defined solely by how intelligent our systems become, but by how secure, trustworthy, and beneficial we make them. I believe we have an extraordinary opportunity and responsibility to shape that future together and bring the benefits of AI to billions of people around the world. We're just getting started. If you're passionate about advancing frontier AI while building the foundations of AI safety, security, and trust, I'd love to hear from you. Come join us on this extraordinary journey to help shape the future of AI.

RT @gdb: Rust is great

I'm always thrilled to have more Noams at @OpenAI, but I'm especially thrilled to welcome @NoamShazeer!

I’m excited to share that I’ll be joining OpenAI and look forward to working with the exceptional team there. It was a difficult decision to move on. I’m incredibly proud of the amazing team at Google and everything we’ve built together. It has been an honor and a pleasure to work with all of you.

Lots to do together. Excited to be joining forces with @SpaceX to build useful AI.

📢 Three incoming faculty members at KAIST AI, starting in August 2026✨ Dr. Sehoon Kim from xAI (@sehoonkim418), Dr. Hyunwoo Kim (@hyunw_kim), and Dr. Seung Wook Kim (@seungkim0123), both from NVIDIA, will be joining KAIST AI as Assistant Professors Check their websites below🧵

SpaceX is redefining industries on Earth and aiming to create new ones beyond it. On June 11, it successfully priced its $75B IPO. Goldman Sachs is honored to have served as lead left bookrunner.