Will natural language based proof assistants be in common use by 2026?

Will Transformer based architectures still be SOTA for language modelling by 2026?

Will any language model trained without large number arithmetic be able to generalize to large number arithmetic by 2026?

Will any 10 trillion+ parameter language model that follows instructions be released to the public before 2026?

By 2028, will there be a language model of less than 10B parameters that is superior to GPT-4?

Will we learn by EOY 2024 that large AI labs use something like activation addition on their best models?

By 2030, will large language models still be at the peak of AI? [DRAFT]

Most popular language model from OpenAI competitor by 2026?

By the start of 2026, will I still think that transformers are the main architecture for tasks related to natural language processing?

Will all of the publicly accessible parts of heavengames.com/aok.heavengames.com become part of a large language model like Claude or GPT by 2025?