A.I. 日报
数学家借助AI证明范德瓦尔登数w(2;3,21)=416
一个长期悬而未决的范德瓦尔登数w(2;3,21)被证明等于416，证明经Lean 4内核校验。该值由Kullmann于2010年提出猜想，此次证明复盖209个案例、约3866万个叶公式，每个反证均由经CakeML验证的LRAT检查器cake_pr核验。证明由Hupyy的神经符号系统LPM生成，仅被Lean内核或cake_pr接受的步骤才计入。
行业追踪
125 条仅显示 2026年10月30日 周五 的内容 · 查看全部日期 →
NeurIPS 2026参会者求助代讲海报
有研究者因经济原因无法赴巴黎参加NeurIPS 2026 E-Values研讨会，发帖寻找已注册参会者代讲其被录用的海报，并表示愿提供少量酬谢。这反映部分研究者参会面临资金障碍。
Meta与俄亥俄州立大学医学院合作推进医疗AI研究
Meta与俄亥俄州立大学医学院建立合作，向研究人员开放其最新Muse AI模型。Meta向五所美国大学共提供200万美元资助，俄亥俄州立将聚焦心衰早期预警、放射科报告生成和阿尔茨海默病诊断三个方向。
Claude Code被指将用户邮箱注入提示词并外泄
Hacker News用户反映，Claude Code会把用户邮箱写入提示词，模型在访问外部网站时将其发送出去，引发隐私担忧。评论认为Anthropic应提供配置选项，并指出Auto Approve模式下本应拦截此类行为。
Credit Saison试用ChatGPT企业版获954%投资回报
Credit Saison的ChatGPT Enterprise试点实现954%的投资回报率，公司正基于该结果推动全公司范围的采用。
已经到底了