Monitor della ricerca · Pagina 15

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