人工智能

模型于10月18日生成自然语言证明，次日完成Lean形式化，两份材料已上传至公开GitHub仓库。 时间线上，模型于9月9日生成杨-米尔斯存在性证明，9月18日生成量子色动力学证明，10月16日完成前者Lean形式化。

10月26日，科技行业迎来多项重要动态：Anthropic公开提交IPO申请，苹果首次回应iPhone Duo内屏开裂问题，小鹏旗下悠游获批L4级示范运营。 招股书披露，其今年上半年营收为162.86亿美元，去年同期为11.63亿美元。

据彭博社报道，两只挂钩SK海力士的美国杠杆ETF将在上市数月后清盘，原因是市场对AI交易行情的投资热情降温。 Tradr ETF发行的SKHA为2倍做多产品，SKHN为2倍做空产品，二者均跟踪SK海力士美国存托凭证（ADR）。

结果显示，模型预测死亡风险最高10%区间的患者中，约有一半在90天内死亡；风险最低10%区间的患者中，这一比例约为2%。 接受放射治疗的患者中，面部看起来比实际年龄大至少5岁者，在平均约4年的随访期间死亡风险比其他患者高21%；面部看起来年轻至少5岁者，死亡风险低17%。

一名安全爱好者因逆向分析自己购买的三星智能电视，在帖子爆火42小时后被OpenAI以“网络滥用（Cyber Abuse）”为由封禁ChatGPT账号，直接损失约500美元。