18:42IT之家(博客/媒体)菲尔兹奖得主、芝加哥大学教授邓煜透露,他在数学研究中常用GPT辅助,曾解决一个连续几天未能突破的数学特例。邓煜表示AI已让研究环节方便不少,会让AI给出基本确定结论的证明后再检查。在近期一项工作中,GPT针对一个特殊情形给出了简单证明,虽因无法推广未写入论文,但提供了有价值思路。邓煜期待未来人类负责框架、AI完成技术推导,但强调学生不能跳过独立判断和严格核验。行业菲尔兹奖邓煜GPT推荐理由:菲尔兹奖得主邓煜亲述:GPT帮他解决了卡了几天的数学特例,但独立思考依然是关键。原文稍后读已读值得跟进有用关注 菲尔兹奖
03:09elvis@omarsar0独立研究员@omarsar0在@dair_ai上预告了多款AI研究工具。这些工具覆盖假设生成、研究方向发现、研究问题制定、文献编译、使用编码代理复现工作等环节。计划在未来数月内陆续推出。具体工具名称和发布时间尚未公布。AI产品dair_ai研究工具AI辅助研究推荐理由:@dair_ai 要出系列AI研究工具了,能自动找研究方向、整理文献、甚至用代码复现论文,做科研的抓紧关注。原文稍后读已读值得跟进有用关注 dair_ai
00:27官方账号Anthropic@AnthropicAIAnthropic 发布了一项研究,分析 AI 在科研决策中的表现。他们选取了人类研究人员在实验中走错方向的案例,将实验过程展示给 Claude,并询问它下一步该怎么做。结果显示,Claude 的 Mythos Preview 版本在 64% 的情况下做出了比人类更好的决策,而 2024 年这一比例仅为 22%。这表明 AI 在辅助科研决策方面取得了显著进步,有望帮助研究人员避免错误路径,加速科学发现。AI模型AnthropicClaude科研决策10 个信源在谈事件专题推荐理由:科研人员常因路径依赖错过更好方案,Claude 的决策能力提升意味着 AI 能成为靠谱的科研副驾驶,做实验规划或论文研究的团队值得关注这个趋势。原文稍后读已读值得跟进有用关注 Anthropic
03:14官方一手OpenAI Blog(博客/媒体)OpenAI举办的Parameter Golf活动吸引了超过1000名参与者和2000多份提交,旨在探索在严格约束下AI辅助机器学习研究、编码智能体、量化及新型模型设计。活动揭示了AI在极端资源限制下的科研潜力,强调了人与AI协作的创新边界。关键成果包括对量化技术的优化和新型模型架构的涌现,表明AI不仅能加速常规任务,还能激发人类研究者的创意。行业AI辅助研究编码智能体量化推荐理由:该活动为AI辅助研究提供了实证,展示了在严格约束下人类与AI协作所能达到的效果,对理解AI在科研中的角色有参考价值。原文稍后读已读值得跟进有用关注 AI辅助研究