AI Wiki: the encyclopedia of artificial intelligence

4,491 cited articles across 100 categories, updated daily and open for anyone to edit.

This week in AI

50 new articles and 93 substantive revisions since Aug 31, each written from primary sources and cited.

All 143 changes →

How this encyclopedia is checked

Live signals from across AI

Model coverage

404

model pages

16 added in the last seven days, with context limits, pricing and lifecycle state.

Compare models →

Spotted, not yet covered

New model repositories published by labs we watch, with no article here yet.

  • microsoft/VibeVoice-ASR-Streaming-7B
  • microsoft/VibeVoice-ASR-Streaming-1.5B
  • Qwen/Qwen-Drive-1.0-4B
  • allenai/ACE2S-SHiELD-plus-supplemental-checkpoints
Help cover these →

Fact-checked Jul 27

AlphaProof

AlphaProof is a reinforcement-learning system from Google DeepMind that finds and verifies formal mathematical proofs in the Lean 4 theorem prover, and in July...

4,823 words, about 24 min readlinked from 33 articlesone of 376 verified articles in rotation

Read the article →

Recently revised

Existing articles rewritten with new facts. Routine link and formatting maintenance is excluded.

Free calculators and trackers built on the same sourced data as the articles.

Explore by goal

Choose a path based on what you want to learn or build.

Browse all categories →

Help build AI Wiki

Choose a vetted gap, propose sourced content, or report a correction.

Sourcing standards →
Found something inaccurate? Review corrections or use the report button on any article.