In reply to @ramez

Hugo Bowne-Anderson

Hugo Bowne-Anderson

@hugobowne · Twitter ·

@ramez great! My statement was "Merely proving a theorem using AI doesn’t increase understanding at all" so it seems we agree.