AI 资讯

跟进 AI 的项目、产品与讨论

已同步 31525 条公开资讯，来源和发布时间保留在每条记录中。

AIGOOD 已同步公开来源；每条资讯详情保留来源和原文链接。

社区讨论V2EX 技术

Python 3.15 正式发布, 添加不少新东西

https://www.python.org/downloads/release/python-3150/ 板块真是冷清了, 这么重大消息也没人发啊 貌似确实添加不少有用特性 最重要得可能时默认 utf8 了 终于不怕有时候忘了写编码, 结果乱码了

查看详情打开原文
社区讨论V2EX 技术

Python 3.15 正式发布, 添加不少新东西

https://www.python.org/downloads/release/python-3150/ 板块真是冷清了, 这么重大消息也没人发啊 貌似确实添加不少有用特性 最重要得可能时默认 utf8 了 终于不怕有时候忘了写编码, 结果乱码了

查看详情打开原文
社区讨论V2EX 技术

Python 3.15 正式发布, 添加不少新东西

https://www.python.org/downloads/release/python-3150/ 板块真是冷清了, 这么重大消息也没人发啊 貌似确实添加不少有用特性 最重要得可能时默认 utf8 了 终于不怕有时候忘了写编码, 结果乱码了

查看详情打开原文
社区讨论V2EX 技术

Python 3.15 正式发布, 添加不少新东西

https://www.python.org/downloads/release/python-3150/ 板块真是冷清了, 这么重大消息也没人发啊 貌似确实添加不少有用特性 最重要得可能时默认 utf8 了 终于不怕有时候忘了写编码, 结果乱码了

查看详情打开原文
技术社区博客园首页

布客技术评论：为什么国产模型的数学研究能力不行？ - 绝不原创的飞龙

【摘要】结论先行：数学能力，特别是前沿问题的解决能力，不是解应用题，而是形式化验证。国产模型数学能力不足，核心原因不是代码能力差，而是没有在Lean形式化证明方向上进行足够的特化训练。这个判断有数据支撑，而且能解释一个看似矛盾的现象——国产模型在竞赛数学和代码生成上表现不错，却在研究级数学证明上乏善可陈。 阅读全文

查看详情打开原文
技术社区开源中国

AI 让代码量涨了 30%，软件产出却纹丝不动 —— 瓶颈卡在人类 Code Review

让 AI 写代码，公司真的产出了更多软件吗？一份对超 700 家公司真实工程数据的分析给出了一个反直觉的答案：代码是多了，软件没多。哈佛的两位学者 Fiona Chen 和 James Stratton 用 Jellyfish 的工程团队聚合数据做研究，覆盖 3 亿个独立工作事件（commit、PR 等）、超过 70 万名员工的记录、700 多家软件公司，时间从 ...

查看详情打开原文