Mathematics Without Mathematicians6 hours agohttps://borretti.me/article/mathematics-without-mathematiciansOpenAI 宣布了一个模型，解决了一个由数学家认为重要的十个开放性数学问题。人们会使用各种应对机制来淡化影响，但每一个都会被现实反驳。常见的应对方式包括：指导人工智能、教授人工智能发现、将结果规范化、成为人工智能数学的学生、要求人类理解、与象棋比较、以及继续以社交方式进行数学研究。反驳：人工智能在品味、教学和架构上将超越人类；前沿数学将变得过于庞大，人类难以掌握；将人类排除在循环之外的公司将更具竞争力；象棋是封闭的，而数学推动科学。更多...