海外 数学曾是艺术,直到AI带着蛮力到来 数学长期被视为与绘画、诗歌并列的人类创造性活动:数学家追求优雅的证明与深刻的洞察,而非机械的穷举。但过去几年,AI在定理证明与竞赛数学上接连突破,其「暴力搜索」式的路径正在改写这门学科的面貌。一批数学家开始思考:如何在拥抱AI工具的同时,守 人工智能 数学 AlphaProof 形式化验证 2026年9月28日 363
海外 AI生成菜单为何让人倒胃口?同质化问题引关注 餐饮业主或许将生成式AI视为美化菜单的捷径,但顾客却能直观感受到食物有点不对劲。当AI开始批量制造菜单文案,餐厅的个性与温度正在消失,引发对技术应用与饮食文化碰撞的思考。 AI餐饮 生成式AI 菜单同质化 科技与人文 2026年9月4日 720