「科研工具」共找到 2203 篇相关文章
前两天刚被群嘲，ChatGPT转头就解决了一个数学难题
前些天，OpenAI研究员宣称GPT - 5‘发现’数学难题解法被指只是检索文献引群嘲。但加州大学洛杉矶分校教授用ChatGPT解决凸优化未决问题，还有教授用其发现命题反例，甚至要将其列为论文一作，AI正成研究伙伴。
数学界地震！GPT-5连破10道「百年悬案」，陶哲轩：AI革命才刚开始
两位研究人员用GPT - 5仅一个周末就解决10个埃尔德什难题，GPT - 5还在另外11个问题有显著进展。数学家陶哲轩称AI最有成效应用是处理琐碎耗时环节，重塑数学研究。
首创“AI+真人”双保障模式！刚刚，百度健康推出7x24小时「能聊、有料、会管」AI管家
百度健康推出7x24小时AI管家，首创“AI+真人”双保障模式，提供全链路服务。它能精准咨询、推荐就医、管理健康档案，靠三层模型架构支撑，标志医疗AI向“智能健康伙伴”跃迁。
Thinking Machines 发布 Tinker API，实现灵活的模型微调
Thinking Machines公司发布Tinker API用于开放权重语言模型微调，可减少开发者基础设施开销。支持多种模型架构，集成LoRA，还发布开源存储库。虽有竞品，但Tinker侧重暴露低级原语，尚处封闭测试。
AI「学不会」竟成相变探针！UCSD华人联手谷歌等，曝光量子纠缠秘密
加州大学圣地亚哥分校华人学者Wanda Hou等与Google Quantum AI合作，在谷歌超导量子处理器实验，发现机器学习模型‘学不会’对应量子体系测量诱发相变，AI失效成物理探针，还展望了量子AI前景。
Murati翁荔陈丹琦公司发布首个产品，让大模型微调门槛暴降，要重新发明一个OpenAI
Thinking Machines Lab发布首个产品Thinker，让模型微调像改Python代码一样简单。它是用于微调语言模型的灵活API，降低了大模型微调门槛，受到业界关注。此外，该公司还尝试重新发明OpenAI，而OpenAI正打造社交模式。
SceneWeaver：面向通用三维环境生成的反思型智能体框架
室内场景合成在具身智能兴起下愈发重要，现有方法存在局限。BIGAI提出SceneWeaver框架，通过基于工具的迭代优化统一多样场景合成范式，具有高保真模拟、强健物理交互等优势。
狂揽17.1K Star!!开源逆向工程神器，Rizin引擎驱动、跨平台调试反编译、图形化操作，爽翻了！
在信息安全等领域，传统逆向工具价格贵或操作复杂。开源君分享免费开源逆向工程神器Cutter，由Rizin框架驱动，有强大功能与现代化界面，在GitHub获17.1K Star。
IBM推出轻量多模态文档神器！OCR与QA超GPT-4o，识别率高达98%！
日常文档处理麻烦，现有工具或体积大、算力消耗高，或识别精度不够。IBM 开源轻量多模态文档处理模型 Granite - Docling，仅258M参数，性能超 GPT - 4o，适用于多场景。
37岁获诺奖、遭受10年学术不端争议，逆转录酶发现者大卫·巴尔的摩去世，生前最后一周还在发表论文
37岁就获诺奖的大卫·巴尔的摩去世，享年87岁。他1970年发现逆转录酶，颠覆传统遗传“中心法则”，还在免疫学等多领域贡献卓越，虽曾陷“巴尔的摩事件”学术争议，但最终合作者指控被撤销。