RE: https://mathstodon.xyz/@highergeometer/117138699333469907 I've heard the same. Let it serve as a reminder that the goals of AI companies are not the same as the goals of the mathematical community.