全部 AI 动态

I have some big news to share. Workera is being acquired by Pearson! Over six years ago, I was teaching at Stanford and thinking about a simple question: what if we could understand everyone's skills as precisely as the best teachers understand their students? I believed it could lead to a more meritocratic world. People could be recognized for what they can actually do, not just their credentials or network. They could understand their strengths and gaps, and rapidly develop the skills they need next. Organizations could discover talent they might otherwise overlook and manage their workforce with trusted skills data. What felt like a dream at the time is now a reality. Workera brought together experts in AI, psychometrics, and enterprise execution to build AI systems that reinvent how skills are measured. Our team pioneered AI-native skills intelligence, agent-led multimodal assessments, and even ambient skill measurement. We've established skills benchmarks across organizations, industries, and roles. And this mission feels more important today than ever! AI is changing work as we speak. Some roles are disappearing, new ones are emerging, and we need to help billions of people develop new skills and navigate what comes next. When I first spoke with @omarabbosh, it became clear that our companies shared the same mission. Pearson has helped generations of people learn and prove what they know. If you're reading this, there's a good chance you've taken a Pearson assessment, learned from their educational materials, earned a professional credential through them, read their psychometrics research, or benefited from their enterprise products in many other ways. Bringing together Workera's technology and AI talent with Pearson’s global scale and deep expertise in learning and assessment means we can pursue our mission at a scale we could only imagine on our own. To our customers and partners, thank you for believing in us. Expect even more innovations coming out of Workera and Pearson. To the Workera team, I’m incredibly proud of what you've built, and your continued dedication to our beautiful mission. To our board and our chairman @AndrewYNg, thank you for your belief, support, and mentorship. To everyone, we have big plans for this next chapter, so please stay tuned. We're just getting started! 😊

How we think about securing frontier RL training runs: https://openai.com/index/towards-safety-cases-for-frontier-ai-training/

One step closer to 4-8x faster Ethereum finality! It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one. Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified! What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed. The work wasn't limited to just: Design the protocol -> Formally verify it Instead, the loop became more like: Design -> Formal Model -> Find exactly what breaks and why -> Redesign it. For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process. A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol. Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them. In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.

我们听到了你们的声音，非常清楚。ChatGPT Voice 现在可以： - 使用插件，比如你的电子邮件、日历和 Slack。 - 由 GPT-6 Astra、Sol 和 Luna 提供支持。 - 在网页和移动端的 ChatGPT Work 中使用，这样你就可以通过说话来创建文档、演示文稿、网站和电子表格，或在浏览器中处理复杂任务。 今天起在全球最新版应用中逐步推出。

欢迎 GPT-6 Sol 和 GPT-6 Luna 加入 GPT-6 宇宙。 GPT-6 Sol 和 Luna 基于 GPT-6 Astra 背后的进展构建，将其许多优势带入更快、更实惠的模型，以支持大规模工作。 我们还提高了缓存和推理效率，并直接将节省的成本传递给你：与 GPT‑5.6 促销定价相比，Sol 和 Luna 的 API 价格降低了 50%。

Starting today, you can connect multiple accounts with most plugins in ChatGPT! 🎉 Bring context from your work and personal accounts into the same conversation. Connect your accounts in the plugin directory: http://chatgpt.com/plugins Devs: this works automatically, with no changes needed. But, to make the experience for users of your plugin even better, add a profile tool to your MCP server so ChatGPT can label the accounts: https://developers.openai.com/plugins/build/auth#support-multiple-accounts

Astra for Law: Frontier intelligence built for your practice. A new offering powered by GPT-6 Astra with tools, settings, and context to support the expertise and judgment of lawyers and legal technology firms.

no way it's yet another webpage: https://transformative-ai.eu fits right next to https://accelerate-europe.org/ https://aichampions.eu/ https://euro-stack.eu/ https://openeurollm.eu/ https://digital-strategy.ec.europa.eu/en/policies/european-approach-artificial-intelligence https://digital-strategy.ec.europa.eu/en/news/eu-launches-investai-initiative-mobilise-eu200-billion-investment-artificial-intelligence https://digital-strategy.ec.europa.eu/en/news/commission-launches-resource-ai-science-europe