数学家Nestor Guillen撰文主张,大语言模型应被视为类似市场、官僚体系和科学文献的“文化技术”,而非智能主体。其输出若含新数学思想,应视为数千年人类数学遗产的结晶,是学科骄傲而非威胁。他呼吁区分LLM技术与AI公司产品,推动开放模型,并借鉴滑板运动应对危机的经验,让数学界在动荡中变得更强大。
OpenAI宣称用AI解决纳维-斯托克斯等千禧年难题,引发数学界不安。数学家批评其重竞赛轻合作,未充分致谢前人成果,并担忧研究人员数据被用于训练。学界发起《莱顿宣言》,呼吁理性看待AI,抵制企业炒作与对学术生态的冲击。
GPT-6 Astra在FrontierMath-Erdos测试中仅解决68道埃尔德什开放问题中的2道,成功率3%,成本超22万美元。对比其FrontierMath Tier 4的98分,凸显AI在“解已知题”与“发现新问题”间的巨大差距。测试采用Lean形式化验证,确保结果可靠,但63道题仍无解,显示AI数学发现能力有限且成本高昂。
王虹、邓煜获2026年菲尔兹奖,成为首批获此荣誉的中国籍数学家,分别证明三维挂谷猜想和推进希尔伯特第六问题。丘成桐称这标志中国数学界走向成熟。其他新闻包括iOS 27限制逾期分期iPhone、手机涨价、荣耀Robot Phone、特斯拉投资周期、AI行业动态等。
数学家们推翻了双层床猜想,证明在某些图中,从下铺到上铺的路径概率并不总是更高。这一结果挑战了数学直觉,强调了质疑假设的重要性,并引发了对数学证明本质的讨论。
两位高中生Ne’Kiya Jackson和Calcea Johnson在《美国数学月刊》上发表了勾股定理的新证明方法,提出了十种基于三角学的新证明,挑战传统观点,受到数学界的赞赏。
完成下面两步后,将自动完成登录并继续当前操作。