陶哲轩用GPT5-Pro跨界挑战!3年无解的难题,11分钟出完整证明

梦晨 鹭羽 发自 凹非寺 量子位 | 公众号 QbitAI 陶哲轩与GPT-5 Pro这对搭档再大发神威,解决了一个3年无人解决的难题。 而且是“不太在自己专业范围内”的问题:微分几何领域的开放问题。 … Continue reading 陶哲轩用GPT5-Pro跨界挑战!3年无解的难题,11分钟出完整证明

高通宣布收购Arduino:加码机器人与物联网生态布局

DoNews10月8日消息,当地时间周二,高通宣布收购意大利开源硬件和软件公司 Arduino,以进一步深入机器人与物联网开发生态,加速其在边缘计算和人工智能(AI)领域的开发者战略布局。 高通未披露 … Continue reading 高通宣布收购Arduino:加码机器人与物联网生态布局

编程语言排行榜公布:Python蝉联榜首 C语言重返第二

快科技10月7日消息,近日,TIOBE官网公布了最新的编程语言排行榜,Python依旧蝉联榜首。 据悉,TIOBE编程社区指数是一个衡量编程语言受欢迎程度的指标,评判的依据来自世界范围内的工程师、课程 … Continue reading 编程语言排行榜公布:Python蝉联榜首 C语言重返第二

Meta开源MobileLLM-R1系列小语言AI模型:参数量不到10亿、专攻数学编程科学问题

IT之家 9 月 22 日消息,Meta 现已公布了 MobileLLM-R1 系列小语言模型,分别提供 1.4 亿、3.6 亿和 9.5 亿不同参数版本,强调能够在本地移动平台等轻量级设备上运行。 … Continue reading Meta开源MobileLLM-R1系列小语言AI模型:参数量不到10亿、专攻数学编程科学问题

用代码帮微信瘦身?官方工作人员:非常粗暴,可能导致文件打不开

凤凰网科技讯 9月18日,有网友分享了一串能帮助微信“去重瘦身”的Python代码,专门针对微信“每一次转发都会重新保存一份”的情况,删除重复的文件。 对此,腾讯微信员工“客村小蒋”回应:“非常不建议 … Continue reading 用代码帮微信瘦身?官方工作人员:非常粗暴,可能导致文件打不开