新闻首页 / “2025年02月19日”的新闻
1
0
老友记搬沙发难题终结,60年数学谜题破解!119页论文惊人证明:有最优解
新智元报道 编辑:Aeneas 英智 《老友记》中难倒 Ross 和 Racheal 的移动沙发难题,经历 60 年后终于有最优解了!韩国一位年轻的博士后研究员 Baek 用 119 页论文证明,世界上存在一种沙发,是能顺利通过拐角的最大面积。 臭名昭著的「搬沙发」难题,已经困扰了数学家们 60 年
0
LLM推理暴涨,数学逻辑开挂! DeepSeek等华人团队新大招,Ai2大牛狂点赞
新智元报道 编辑:编辑部 HNYZ DeepSeek 团队最新力作一上线,就获得 Ai2 研究所大牛推荐,和 DeepSeek 铁粉们的热情研读!他们提出的 CodeI/O全新方法,通过代码提取了 LLM 推理模式,在逻辑、数学等推理任务上得到显著改进。 如今,DeepSeek 团队成员的一举一动,
0
OpenAI掀「百万美金」编程大战!Claude 3.5 Sonnet狂赚40万拿下第一
新智元报道 编辑:犀牛好困 OpenAI 刚刚发布 SWE-Lancer 编码基准测试,直接让 AI 模型挑战真实外包任务!这些任务总价值高达 100 万美元。有趣的是,测试结果显示,Anthropic 的 Claude 3.5 Sonnet 在「赚钱」能力上竟然超越了 OpenAI 自家的 GPT