科研人」共找到 1403 篇相关文章

新闻资讯8

刚刚,神话级Fable 5.1来了!

今天,Claude Fable 5.1全平台上线,Mythos 5.1专供特定团队。新模型跑分有断层式代差,还降低了算力门槛。通过重绘金星、设计蛋白等案例展示其科研能力,在编程上也表现出色,同时在安全上采取‘一松一紧’策略。

新智元
开源动态8

ScienceDiscovery实现树搜索驱动RSI,加速科学发现,小时级写出通用积分器,低成本找出物理科学规律

openJiuwen社区的ScienceDiscovery把科研试错交给程序,通过树搜索实现科研场景产物RSI。它能在多个案例中高效产出成果,成本低、耗时短,且底座灵活,可换算法和任务,但推广需解决验证速度和可信度问题。

量子位
推荐文章8

Gemini:约束

本文围绕“约束”展开探讨,通过对话形式深入剖析其内涵。指出约束不仅是限制,更是塑造和成全;它存在于多个层面,影响着、组织和事物的发展。还通过公司和的具体案例,构建了分析约束的框架。

李继刚
新闻资讯7

字节即梦张楠:帮类提升创造力,才是更有意义的「目标函数」

在极客公园IF 2026创新大会上,张鹏与字节跳动即梦张楠探讨与AI等内容。还放映AI短片《老妈的心愿》,全程由AI创作。张楠介绍合作计划,谈及创作挑战、AI与关系、Sora与抖音差异等内容。

Founder Park
新闻资讯7

离谱!晒出Claude退订截图就送你200刀:Cursor抢抢疯了

Cursor员工Lauren公开喊话,让考虑切换到Cursor加Grok Bot的发取消其他订阅截图,送一个月免费Ultra(每月200美元)。大量网友行动,但很多私信石沉大海,有吐槽处理慢。这或是Cursor借被SpaceX收购之势进攻Claude Code。

新智元
推荐文章7

AI时代,这些已经掉队

AI时代存在两类,一类用落后AI,认为其是骗局;另一类用先进AI,兴奋于其进步。前者因‘消费者心态’陷入‘跟我无关’和‘不值得付费’陷阱,已掉队。

newtype AI
推荐文章7

太多误解了「苦涩的教训」

《“苦涩的教训”》一文常被误解,其核心观点是能充分利用计算资源扩展的方法会超越不能扩展的方法。类知识短期易获好结果,但长远看,唯有随算力增长的方法最终胜出,如深蓝、AlphaGo Zero的案例。

宝玉AI
新闻资讯8

计算机安全第一宋晓冬,加入Meta

本周四,UC Berkeley 计算机教授宋晓冬宣布加入 Meta 超级智能实验室,任 AI 研究副总裁。她是计算机安全领域顶尖学者,其团队也一同加入。此外,AI 推理大牛 Denny Zhou 数月前也已加入 Meta。

机器之心
新闻资讯7

沐曦过会,投资已赚麻

10月24日,沐曦股份科创板IPO申请过会,与摩尔线程争夺“国产GPU第一股”。其5年发展迅速,产品有竞争力,融资超百亿,估值超210亿。未上市前,投资已获利,葛卫东浮盈约2亿,相关上市公司股价也上涨。

芯师爷
新闻资讯8

陶哲轩,用AI爆改科研范式

菲尔兹奖得主陶哲轩让ChatGPT把数学论文翻译成Lean代码,与AI合作完成埃尔德什第613号问题反例的形式化证明。机配合虽有波折,但AI节省了时间。此外,两位数学家也用AI验证第707号问题反例,数学证明正进入‘AI辅助时代’。

新智元