标签： 文献

陶哲轩亲自曝光：AI破解数学难题，竟全是“抄”的？

新智元报道 编辑：YHluck 【新智元导读】数学大神陶哲轩近期发现，AI声称破解的Erdos难题，实则是多年前已被人类解决但被遗忘的「旧闻」。这揭示了AI当前的核心能力并非从0创新，而是利用超强算力 … Continue reading 陶哲轩亲自曝光：AI破解数学难题，竟全是“抄”的？

达到金牌分数线：字节跳动推出新一代数学推理专用模型Seed Prover 1.5

凤凰网科技讯 12月24日，字节跳动Seed团队近日推出新一代形式化数学推理模型Seed Prover 1.5。该模型基于大规模智能体强化学习训练，在数学竞赛题的形式化证明能力上有所提升。 据官方信息 … Continue reading 达到金牌分数线：字节跳动推出新一代数学推理专用模型Seed Prover 1.5

研究显示：用AI的科研人员论文产出量暴增，但质量隐忧浮现

IT之家 12 月 22 日消息，科学领域正迎来一场大规模的论文发表热潮，这在很大程度上要归功于人工智能技术。发表于《科学》期刊的一项新研究显示，在诸多学科领域中，使用 ChatGPT 等大语言模型（ … Continue reading 研究显示：用AI的科研人员论文产出量暴增，但质量隐忧浮现

网易《逆水寒》手游迄今为止“最贵”版本12月26日上线

IT之家 12 月 21 日消息，网易《逆水寒》手游官宣将于 12 月 26 日迎来跨年版本，这是该游戏迄今为止“最贵”版本，玩家将踏入宏大西域，沉浸式感受敦煌文化。 在新地图【敦煌】中，玩家将沉浸感 … Continue reading 网易《逆水寒》手游迄今为止“最贵”版本12月26日上线

马斯克的AI百科全书Grokipedia引争议：部分内容逐字照搬维基百科

IT之家 10 月 28 日消息，马斯克旗下 xAI 推出的类维基百科在线百科全书“Grokipedia”现已上线，其与维基百科的相似程度远超预期。 目前 Grokipedia 的设计极为基础：与维基 … Continue reading 马斯克的AI百科全书Grokipedia引争议：部分内容逐字照搬维基百科

百川发布循证增强大模型M2 Plus，号称“医生版 ChatGPT”

IT之家 10 月 22 日消息，据百川大模型官方微信公众号消息，今天，百川发布了循证增强医疗大模型 Baichuan-M2 Plus，同步升级配套应用百小应并开放 API。这是百川自 8 月开源 B … Continue reading 百川发布循证增强大模型M2 Plus，号称“医生版 ChatGPT”

OpenAI研究人员夸大GPT-5数学能力后删帖，遭杨立昆等业界人士批评

IT之家 10 月 19 日消息，近日，OpenAI 研究人员在社交媒体平台 X 上宣称取得了一项重大数学突破，但很快在学界批评声中撤回了这一说法。批评者包括 DeepMind 首席执行官德米斯・哈萨 … Continue reading OpenAI研究人员夸大GPT-5数学能力后删帖，遭杨立昆等业界人士批评