DeepMind AlphaProof Nexus登《Science》:AI自主破解多道56年未解Erdős数学难题
最近,AI 数学圈的戏很足。10 月 6 日,OpenAI 往 GitHub 上一次性倾倒了 722 篇 AI 生成的数学手稿,数学界当场炸锅,陶哲轩牵头的人类数学协会(AHM)发声明呼吁抵制。 就在同一个星期,Google DeepMind 的一篇论文登上了 10 月 8 日的《Science》,走完了正经的同行评审。 据媒体报道,这篇论文的主角叫 AlphaProof Nexus,一个自动寻找数学证明的系统。成绩是:353 道悬而未决的 Erdős 问题,它自主解出了 9 道,其中两道从 1970 年摆到现在,有 56 年。 论文地址:https:/
- 玩家心得
- 2天前
- 12
eBay、闹翻天、杰森娱乐、吾流:在ASCC看见亚洲超级收藏家的兴起
十月的澳门,空气里都弥漫着体育的荷尔蒙。 从飞机落地开始,NBA中国赛的气息便扑面而来,激情与热血从威尼斯人综艺馆赛场延伸到场外。韦德现身ASCC与粉丝一起拆球星卡,足坛传奇贝克汉姆与篮坛新星弗拉格线下同框,张家齐也闪现澳门挑选火箭队同款宠物周边…… 赛事、球星活动与收藏消费在此交汇,一幅体育兴趣消费图谱由此生动展开。 弗若斯特沙利文统计,2025年中国国内卡牌市场规模达273 亿元,超越美国成为全球最大卡牌市场。随着交易活跃和商业更新,市场走到了“引进来、走出去”的新节点。 ASCC正是一个鲜活注脚。伴随2022 年以来中国收藏卡市场的爆发,国内头部球
- 玩家心得
- 2天前
- 12
多项新技术新产品亮相第六届中国(宁夏)国际葡萄酒文化旅游博览会
中新社银川10月12日电 (记者 杨迪)第六届中国(宁夏)国际葡萄酒文化旅游博览会12日在宁夏银川开幕,“科创领航·智汇宁夏”贺兰山东麓葡萄酒科产融合成果展同期举办,多项新技术新产品亮相。 成果展汇聚中国40余家高校院所、科技企业、产区酒庄的科创成果,展品170余件覆盖葡萄种植、智能装备、酿造工艺、产品创新、数字溯源全产业链等领域。 10月12日,第六届中国(宁夏)国际葡萄酒文化旅游博览会在银川开幕,图为参展商介绍AI综合作业机器人。中新社记者 杨迪 摄 记者在展区看到,扫码下单后,数智AI侍酒师机器人可按照顾客需求调配葡萄酒;在酿酒葡萄种植领域,AI综
- 玩家心得
- 2天前
- 12
宏观投资者失去最后一块指路牌:石油与债券的联动悄然瓦解
债券市场的急速抛售正在动摇宏观投资者的信心,而令他们更为不安的,是一个沿用多年的交易锚点正在失效。 据高盛GSX交易台董事总经理Louis Miller在其最新《全球反思》报告中披露,过去一周他走访多家宏观客户,得到三个核心反馈: 利率上行的速度比终点位置更令人担忧;石油与利率这对曾经形影不离的资产,已悄然脱钩;没有人能够预判中东局势的降级路径。这三点叠加,意味着宏观投资者不仅要承受债市的剧烈波动,还同时失去了最重要的前瞻性指标。 与此同时,高盛内部数据显示,2026年表现最佳的系统性策略,恰恰是大规模做空波动率——即押注市场不会出现剧烈波动。这与客户对
- 玩家心得
- 2天前
- 12