陶哲轩转赞！40多年忙碌海狸数学难题获突破，4万行Coq代码立大功
「忙碌海狸」难题困扰了计算机科学家40多…
分类： 综合
海淀家长疯抢的AI神器，有人用它高考前60天提分100+ 星火4.0打造
如何才是一台能真正帮到孩子的AI学习机？…
苹果为什么要用小模型？
WWDC 2024上，苹果推出了Apple Intelligen…
Gen-3开放内测！魔都时装秀一绝，却依旧不懂物理世界
Gen-3 Alpha终于开启测试了！第一时间拿到…
ECCV 2024揭榜，录用率或创新低！2395篇论文中选，网友晒出成绩单
两年一届的ECCV录用结果终于揭晓了！刚刚…
AI惨遭阉割，1600万美国年轻人集体失恋？ Character AI资金断裂
最近，在美国00后中爆火的Character AI，…
中关村开启仿生机器人大战？撸猫弹跳各显神通，两院院士坐镇
2024年中关村仿生机器人大赛，今日正式启…
菲尔兹奖得主亲测GPT-4o，经典过河难题失败！Claude 3.5回答离谱
LLM能否解决「狼-山羊-卷心菜」经典过河难…
全美TOP 5机器学习博士：痛心，实验室H100数量为0！用GPU得靠抢
全美TOP 5的机器学习博士痛心发帖自曝，自…
首个多模态视频竞技场Video-MME来了！Gemini全面超越GPT-4o
近日，首个多模态LLM视频分析综合评估基准…