RecodeX 重构消息，一篇关于学习Lean定理证明器的技术文章在Hacker News上获得108分和14条评论。
一篇关于学习Lean定理证明器的技术文章在Hacker News上获得108分和...
原始信息来源rkirov.github.iorkirov.github.io
查看原文 ↗更多快讯
查看全部 →人工智能
调查称超半数英国企业遭遇AI代理失控并影响业务或客户
RecodeX 重构消息，一项调查显示，超过半数的英国企业表示曾遭遇AI代理（AI agent）失控的情况，并因此对自身业务或客户造成影响。该结果反映出企业在部署自主运行AI工具时面临的实际风险。
科技
巴黎航天商业周：卫星厂称日产可达两颗，太阳能电池板交期长达18个月
RecodeX 重构消息，在世界航天商业周上，泰雷兹阿莱尼亚宇航公司和MDA的高管介绍了可日产一到两颗卫星的工厂产线。同一会议上，零部件制造商表示其产线已处于或超过满负荷状态，太阳能电池板的交付等待时间长达18个月。
地缘局势
中东局势跟踪：以军打击黎巴嫩真主党目标，胡塞称24小时内遭沙特空袭26次
RecodeX 重构消息，以色列军方称打击黎巴嫩南部多地真主党目标，以军在加沙各地射杀四名巴勒斯坦人。也门胡塞武装称24小时内遭沙特空袭26次。伊朗军方发言人表示，美国可能因其“糟糕的处境”发动新一轮袭击，伊朗已准备好对抗。 伊朗总统称愿促胡塞与沙特和谈。特朗普表示美国将在与伊朗的军事和经济战中获胜，称伊朗通胀率已达3…
科技
沃尔玛CEO致信顾客：不会利用客户数据实施个性化定价
RecodeX 重构消息，沃尔玛首席执行官约翰·弗纳（John Furner）于9月25日（周五）向顾客发出公开信，明确表示公司没有利用客户数据设定个性化价格的计划。 信中称，个性化定价做法将违背沃尔玛“天天低价”（EDLP）的经营理念，并强调“价格可以变动，我们会在能够把节省让利给顾客时下调价格”。
体育
林多尔轰出生涯第300支本垒打，大都会系列赛收官战负于国民
RecodeX 重构消息，美职棒大都会队游击手弗朗西斯科·林多尔在系列赛收官战中击出个人职业生涯第300支本垒打。不过大都会队最终仍不敌华盛顿国民队，输掉该场比赛。
体育
勒诺曼德顶替受伤的加西亚入选西班牙国家队
RecodeX 重构消息，西班牙国家队宣布，后卫勒诺曼德被补招入队，顶替因伤退出的加西亚。此次调整发生在球队集结备战期间，加西亚因伤无法继续随队。