@tomkalei@machteburch.social @tao@mathstodon.xyz That's an interesting possibility, but would a scientifically-oriented (and not purely profit-oriented) organisation really set up such systems to produce theorems without mathematical "stewardship"? What would their reason (read: profit) be for that? And even if there were legitimate non-mathematical but scientific motivations, wouldn't the relevant scientists still want to keep mathematicians in the loop at least to the extent that those scientific motivations could be better addressed?