Anders Sandberg noted a desire to understand theorems that have been proved. Reports indicate researchers employ AI for validating ideas and rapid prototyping. They limit its involvement in work intended for final publication. The exchange references a post by random_walker and appears among visible replies on the platform. This pattern shows academics separating tool use in initial stages from the content they release under their names. No broader claims about adoption rates or field-wide shifts are confirmed in the available posts.