Imperial College London

Researchers from Stanford and the Internet Archive found that approximately one-third of new websites created since 2022 are AI-generated or AI-assisted. The study highlights how the rapid proliferation of AI-generated text is reshaping the digital landscape and impacting the diversity of web content.

The article discusses the emergence of Numina-Lean-Agent, an AI system capable of advanced mathematical reasoning. This tool uses general foundation models to solve complex problems, such as those in the Putnam competition, and assist in formalizing mathematical theorems.