AlphaProof News

YES

Transformer-based architecture

Developed by OpenAI

Over 1T parameters

Part of the GPT-N family of models (GPT-5, GPT-6, and variations)

Developed by Google Deepmind

It is #1 in Elo according to Chatbot Arena Leaderboard at any time

Part of the o1 family of models (o1, o2, etc. and variations)

Developed by a non-British and non-American company

Narrow domain of knowledge. ie Does not know random facts such as when Google was founded, or who won the 1960 presidential election.

Part of the AlphaProof family of models (AlphaProof N and variations)

Based on Symbolic AI (https://en.wikipedia.org/wiki/Symbolic_artificial_intelligence)

Transformer-based architecture

Over 1T parameters

Part of the AlphaProof family of models (AlphaProof N and variations)

Developed by OpenAI

Narrow domain of knowledge. ie Does not know random facts such as when Google was founded, or who won the 1960 presidential election.

Developed by Google Deepmind

Part of the o1 family of models (o1, o2, etc. and variations)

Developed by a non-British and non-American company

Part of the GPT-N family of models (GPT-5, GPT-6, and variations)

Based on Symbolic AI (https://en.wikipedia.org/wiki/Symbolic_artificial_intelligence)

Developed by OpenAI

Transformer-based architecture

Part of the o1 family of models (o1, o2, etc. and variations)

Narrow domain of knowledge. ie Does not know random facts such as when Google was founded, or who won the 1960 presidential election.

Developed by Google Deepmind

Part of the GPT-N family of models (GPT-5, GPT-6, and variations)

Part of the AlphaProof family of models (AlphaProof N and variations)

Over 1T parameters

Developed by a non-British and non-American company

Based on Symbolic AI (https://en.wikipedia.org/wiki/Symbolic_artificial_intelligence)

YES

March 31, 2025

June 30, 2025

September 30, 2025