What are the limits of the AI mathematician? — Warptech Lab News