tuncb··on A misalignment of AI in mathematicsIf the methods used for the solution are the valuable part, why can't we dig them out of the ai proof?