「わかりやすい証明」にAIはもちろん貢献できると思う。ただ、わかりやすさは教育(…

jrf> 「わかりやすい証明」にAIはもちろん貢献できると思う。ただ、わかりやすさは教育(過程)によっても作られる…という側面もある。そういう意味では「政治的」で、そこに監査=注意労働のヒントがあるのかもしれない。