OpenAI says it will reach AGI by year's end — using its own definition
According to a TIME report, leadership believes the goal is within reach. But the term has no precise definition, and OpenAI's is economics-driven.
Companies
Model capability
Gowers: the maths problems models have solved were solved by counterexample, not proof
Fields Medallist Timothy Gowers says almost all the famous mathematics problems solved by language models so far were solved with counterexamples rather than proofs.
Research