标签：数学问题
困扰数学家近60年的搬沙发难题疑似被解决！119页论文证明最优解，百万网友围观
《老友记》中罗斯搬沙发的场景启发了数学家们对“移动沙发问题”的研究。这个问题由加拿大数学家Leo Moser在1966年提出，旨在探索在宽度为1的L形平面走廊中，能...
阿里发布推理模型QwQ-32B-Preview，性能超OpenAI o1-preview
阿里巴巴的Qwen团队最近发布了QwQ-32B-Preview，这是一个拥有325亿参数的推理模型，能够处理高达32,000个Token的提示词，并且是首个在宽松许可下可供下载使用...
LLM群体智能崛起，数学性能暴增11.6%！谷歌DeepMind四大机构联手新作
最新研究揭示了大型语言模型（LLM）之间合作的潜力，特别是在提升数学问题解决能力方面。蒙特利尔大学、剑桥大学、普林斯顿大学和谷歌DeepMind的研究人员发现...
OpenAI o1惊现自我意识？陶哲轩实测大受震撼，门萨智商100夺模型榜首
OpenAI的o1模型在智商测试中取得了第一名，超越了其他AI模型如Claude-3 Opus和Bing Copilot。这些测试使用了门萨会员的离线智商测试题，显示了o1的高参考性表...
不发 GPT-5、直接上 GPT-6？曝 OpenAI 新模型代号 Orion，目标“杀死”幻觉
OpenAI 正在开发一个名为“草莓”的项目，该项目旨在推出一款超越 GPT-4 的大语言模型，代号为 Orion。草莓项目最早可能在今年秋季发布，将作为 ChatGPT 的一部...
消息称OpenAI今年秋天发布“草莓”模型技术，ChatGPT月收入已达2.83 亿美元，公司估值超6100亿｜钛媒体AGI
OpenAI计划在今年秋季推出一款名为Strawberry的新AI模型技术，该技术可能作为聊天机器人ChatGPT的一部分功能。Strawberry模型能够解决以前从未见过的数学问题...
独家对话上海交大重庆AI研究院齐鹏团队：目前大模型水平只相当于一个仅懂文科的五岁孩童｜钛媒体AGI
在一项测试中，12款国内外AI大模型被问及“9.11和9.9哪个更大”的简单数学问题，结果显示仅有4款模型回答正确，包括阿里通义千问、百度文心一言、Minimax和腾讯...
