New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks. Read our research in full h

New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collabo…

Solo un extracto — este editor licencia su texto. Lea el comunicado completo en la fuente.

Crear cuenta gratis →Leer en la fuente ↗

Plan Gratis · Plus 29 CA$ o Pro 99 CA$/mes

Pausa

Más de Anthropic (@AnthropicAI) / Twitter

hace 4 díasWe’re committing a portion of Anthropic’s shares to the Anthropic Public Benefit Fund, a new wholly owned entity dedicated entirely to the public benefit. It will start off with 5% of our shares. For every 50% increase in the company’s value over a set baseline, we can contribute up to an extra 2%, subject to our board’s discretion. In total, this means that roughly 20% of Anthropic’s shares are committed to the public good. Our co-founders have already pledged to donate 80% of their equity, and
hace 6 díasNew from our STEM Fellows Program: Designing more efficient quantum circuits with Claude. Given plain-language instructions, Claude Mythos 5 designed quantum circuits that improve on the best published ones, sometimes by an order of magnitude or more. More efficient circuits reduce the resources needed by quantum algorithms, which could bring quantum computing applications in chemistry and materials science within reach sooner. Read more:
hace 7 díasWorking out how best to use AI in mathematics research—and in science more generally—will take time, effort, and resources. We’re eager to support mathematicians as they drive scientific progress and define the future of their field. We’ve committed $5 million of funding, compute, and Claude access to help the math community navigate the massive changes that AI brings. We’re partnering with @SimonsFdn, who will manage the award through a community-driven approach, supporting workshops, conferenc
hace 7 díasWe’ve committed to having evaluators assess our safety practices. We're in discussions with multiple organizations, and have now given employee-like access to a team from @METR_Evals. In this post, we describe how we work with third-party evaluators:
hace 8 díasApplications are now open for two new Anthropic Fellowships. STEM Fellows (science and engineering) and Conceptual Reasoning Fellows (philosophy, cognitive science, economics, policy, and law) will spend four months at Anthropic from January 2027, working to help Claude reason well about some of the hardest problems in those fields. For more information, see the descriptions below. The application deadline is October 28. Conceptual Reasoning Fellows: STEM Fellows:

El resto de este hilo es para suscriptores

Cada comunicado de esta fuente en cuanto sale — y más de 80 hilos más, búsquedas guardadas y alertas instantáneas.

Crear cuenta gratis →Iniciar sesión

Plan Gratis · Plus 29 CA$ o Pro 99 CA$/mes

Esto es PPN World

Gobiernos, reguladores, bancos centrales, empresas y cables — en una sola pantalla en directo, con búsqueda, filtros y alertas sobre lo que usted sigue.

fuentes: 1,400+
cables: 80+
países: 190+
idiomas: 25+

El flujo en vivo del cockpit de PPN World, limitado a fuentes gubernamentales en español: los últimos comunicados oficiales, cada uno con su fecha, hora, sector, país y fuente.

01
En directo, no un resumen
Cada comunicado en cuanto sale — sin correo diario, sin 24 horas de retraso.
02
Alertas sobre lo que sigue
Guarde una búsqueda y sepa al instante cuándo llega un comunicado que coincide.
03
Todo el archivo
Busque en todos los comunicados por país, sector, fuente e idioma.

Ver

1,400+ fuentes — en directo en PPN World ahora mismo

No se entere el último.

Los comunicados como este llegan a PPN World en cuanto se publican, desde más de 190 países. Lea el próximo primero.

Crear cuenta gratis →

Plan Gratis · Plus 29 CA$ o Pro 99 CA$/mes

¿Su anuncio después? Distribuya su comunicado en los cables globales con PPN Source — y siga su repercusión aquí, en directo.

PPN Source →

Compartido vía PPN World — inteligencia de comunicados en tiempo real.

Ahora mismo en el flujo· fuentes oficiales

Más de Anthropic (@AnthropicAI) / Twitter

Acaba de leer un comunicado. Nuestros suscriptores los ven todos — en cuanto salen.

PPN World en 30 segundos

No se entere el último.