「开源找人工具」共找到 3492 篇相关文章
震撼全网，AlphaEvolve矩阵乘法突破被证明为真！开发者用代码证实
开发者用Claude写代码证实谷歌DeepMind的AlphaEvolve求解矩阵乘法的突破为真，它将4×4复数矩阵计算次数从49次减到48次。小哥测试代码各项指标与论文报告一致，还上传到GitHub。
微软裁撤 Python 之父的嫡系核心团队，CPython 团队没了
近日微软全球裁员，软件工程岗位受打击大。Faster CPython 团队多名核心人员被裁，该团队由 Python 之父牵头，推动了 Python 性能改进。同时，AI 总监 Gabriela de Queiroz 也被解雇，引发各方关注和讨论。
追忆左耳朵耗子
本文追忆技术人左耳朵耗子，讲述其创业故事，包括创业契机、方向选择等，还分享技术见解，如选技术语言、积累技术等，探讨成长问题，如996、大小公司权衡等，最后推荐书籍并谈对年龄危机看法。
聊一聊数据中心的投资现状
文章结合多份报告和访谈，分析国外大厂对IDC的态度。微软投资放缓，因资源消化、建设复杂等；OpenAI加速基础设施投入；其他巨头虽强调财务纪律，但核心AI投入未放缓，行业仍处增长早期。
6.1k星星！开源流式MoE推理框架，仅需2.5G内存就能运行350亿参数模型，手机电脑都能跑
本文介绍了获6.1k GitHub Star的开源流式MoE推理框架Edge0，该框架通过SSD专家卸载、路由预测和Recover-LoRA技术，仅需2.5G内存即可运行350亿参数大模型，支持多平台部署运行。
Meta最强模型跑分超越Opus 5.5？实测大翻车，作弊刷榜实锤了
本文报道Meta发布全新大模型Muse Wonder，官方宣称跑分超越GPT-6 Astra与Claude Opus 5.5，砸千亿冲击前沿大模型梯队，却遭开发者实测翻车，引发刷榜作弊争议，梳理了模型优缺点与Meta的AI战略布局。
闭源RSI的严父来了：18个Agent自主科研，Kimi K3靠Harness逼近Opus 5
开源AI基础设施公司Prime Intellect研究表明，借助多智能体Harness，让开源模型负责监控和实现，可让‘AI开发AI’更便宜、效果更好。实验中，Kimi K3搭配Harness逼近Opus 5。
数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”
OpenAI宣称其下一代AI模型推翻了Connes刚性猜想，第二天堪萨斯大学的J. L. Nielsen就发文回应，指出AI构造的群不满足附加条件，还逐行核对代码指出‘要证什么’有问题，强调人类审查对AI科研结果很关键。
Opus 5写代码全对，但说话让人想打人。
A社近日状况不断，Claude max 20x被免费薅，share链接隐私信息泄露，拥抱开源组织只剩Anthropic未签字。周五发布的Opus 5写代码出色，但说话啰嗦、判断力焦虑，值得细品。
一个场景吃掉700MB显存！3DGS存储焦虑怎么解？这篇综述划了五个方向
过去三年，3D Gaussian Splatting（3DGS）成实时3D场景重建与新视角合成“默认答案”，但场景拓展后有显存、带宽和功耗限制。香港科大等联合发布综述，从底层数据流组织技术版图，给出优化建议和未来方向。