Bontedance introduces seed formula: a proof of advanced formal reasoning systems for automatic mathematical theorems August 4, 2025