「有监督学习」共找到 7121 篇相关文章
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。
狂揽 18.9K star！这款开源、免费、功能超强的物联网 IoT 平台项目，太6了！
物联网技术成行业发展关键，但构建系统挑战大。开源项目ThingsBoard应运而生，提供一站式解决方案，功能强大，如规则引擎、告警管理等，安装部署简单，值得开发者尝试。
胡俊杰、吴佳俊、刘子纬等获奖，微软学者奖学金公布
2026 年微软学者奖学金名单公布，获奖者研究聚焦面向全球与社会影响的人工智能等前沿领域，项目汇聚创新社区推动协同演进，还介绍了入选的华人学者及其研究方向。
科学进步实际上很大程度依赖于实打实的实验结果，而不仅仅是理论智力｜AI 自我提升不会突然“起飞”，而是逐渐加速的过程
如今未实现AI自我提升，一旦实现将是重大突破。但它不会突然飞跃，而是缓慢持续的过程。不同领域提升难度有别，科学进步受现实实验速度限制，AI自我提升更可能是缓慢加速进程。
刚刚2岁的Llama，「爸妈」都跑了！小扎手拆Meta AI，LeCun保持独立
面对谷歌、OpenAI等劲敌及Llama 4翻车、人才流失困境，小扎决定重组Meta GenAI团队，设三大架构。2023年Llama首版论文14名作者只剩3人，Llama 4也问题不断，而LeCun坚持自己的路线。
刚刚，Thinking Machines出手！首款交互模型来了，翁荔出镜实测
Thinking Machines Lab推出首个大模型TML - Interaction - Small，打破传统人机交互模式，实现全自然交互。它训练范式独特，采用双模型架构等设计，评测表现超GPT - Realtime 2.0等模型，后续还会推出更大尺寸模型。
ICLR 2026｜与上海AI实验室里约相见：北极星X星启交流会邀约全球AI英才
ICLR 2026 将于 4 月 23 日至 27 日在巴西里约热内卢召开，收到超 1.9 万篇有效投稿，录取率约 28%。同期上海 AI 实验室将举办交流会，邀全球 AI 英才，搭建学术与产业对话桥梁。
第 2 章 主流 Agent 模式深度解析
文章深度解析主流 Agent 模式，用生活化类比介绍了 ReAct、Plan - and - Execute、Tool Use、Reflection / Self - Critique 四种模式，阐述其技术要点、优缺点及适用场景，还对多模式进行对比。
寻找最强具身大脑！全球机器人顶会ICRA开启报名，智元全程陪跑带你拿奖
由智元主办的AGIBOT WORLD CHALLENGE @ICRA 2026赛事开启报名，设推理 - 操作和世界模型两赛道。智元提供顶配硬件、仿真平台、数据集和基线模型，还有超百万美元奖金与资源，助力开发者。
本周推荐的6个超级6的Github开源项目！
本文推荐6个Github开源项目，包括Tabler（HTML仪表板UI工具包）、KrillinAI（AI视频工具）、Simple mind map（思维导图工具）、Sniffnet（网络流量监控工具）、Supabase（Firebase替代品）、FeHelper（开发者浏览器扩展），介绍了各项目特点与功能。