AI causes uproar in mathematics after OpenAI shares 722 manuscripts and proofs | Dark Hacker News