Onderzoeksmonitor · Pagina 19

An AI policy tool for today: Invest in NIST

AI models · provider_announcement

Anthropic urges Congress to ambitiously fund NIST to build AI measurement tools, standards, and testbeds.

Anthropic's core views on AI safety

Evaluation & safety · provider_announcement

Transformative AI may arrive within a decade, and we don't yet know how to make it safe. We outline the research directions we're pursuing to

Anthropic partners with Google Cloud

Compute & efficiency · provider_announcement

Anthropic selects Google Cloud as preferred cloud provider, using its GPU and TPU clusters to train, scale, and deploy AI systems.

Anthropic raises Series B to build robust AI

Evaluation & safety · provider_announcement

Anthropic raised $580 million in Series B funding to build infrastructure for studying and improving the safety of large-scale AI models.

Solving (some) formal math olympiad problems

Formal verification · provider_announcement

We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from the AMC12 and

A mathematical framework for Transformer Circuits

Complexity theory · provider_announcement

Reverse-engineering small attention-only transformers reveals how induction heads form via head composition.

Solving math word problems

Mathematical reasoning · provider_announcement

We’ve trained a system that solves grade school math problems with nearly twice the accuracy of a fine-tuned GPT-3 model. It solves about 90% as

Anthropic raises $124 million Series A

AI models · provider_announcement

Anthropic's Series A, led by Jaan Tallinn, funds research toward steerable, interpretable, and robust large-scale AI systems.

Generative language modeling for automated theorem proving

Formal verification · provider_announcement

GamePad: A learning environment for theorem proving

Formal verification · provider_announcement