科研辅助」共找到 582 篇相关文章

新闻资讯8

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

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

新智元
新闻资讯8

刚刚,OpenAI发布「科研写作神器」Prism,Overleaf危

今天凌晨,OpenAI推出专为科学家打造的AI原生协作平台Prism,由GPT - 5.2驱动,解决科研工具碎片化问题。即日起向ChatGPT个人账户用户免费开放,功能或覆盖Overleaf,也引发数据安全等讨论。

机器之心
新闻资讯8

谷歌卷Gemini模型,OpenAI刷GPT-5科研论文

谷歌推出Gemini 3 pro等模型,来势汹汹。OpenAI CEO称其带来经济阻力,还挖掘GPT - 5应用价值并发表89页论文,展示在科研流程中的表现,也提及失败风险与可用Prompt模板。

PaperAgent
新闻资讯7

刚刚,MOSS孙天祥创业,直播AI4AI大规模科研

创业公司Analemma将全球公开直播部署端到端AI研究系统FARS,目标是全自动完成100篇论文,直播预计持续一个月。FARS是无人类干预、纯AI驱动的系统,能完成科研全流程。其创始人是孙天祥,团队年轻且获数千万美元融资。

机器之心
新闻资讯8

Anthropic发布Fable 5.1:科研、编程能力翻倍,成本最高降45%

当地时间9月1日,Anthropic推出Claude Fable 5.1和Claude Mythos 5.1。Fable 5.1科研、编程能力翻倍,成本最高降45%,还能解决实际问题,此次模型竞争转向多方面综合较量。

DeepTech深科技
产品应用8

Claude Science几周干完两年活,10倍科研提速真来了?

2026年6月30日,Anthropic发布Claude Science,定位面向科学家的AI工作台。它将科研拆成可审计流水线,整合工具链,自带可追溯代码,有协调与审查智能体,首落生命科学领域,与Google、OpenAI玩法不同。

新智元
新闻资讯8

Anthropic深夜连放两弹:Sonnet 5、全新AI科研App重磅上线

Anthropic 深夜发布两个重磅更新:Claude Sonnet 5和面向科研人员的AI工作台Claude Science。Sonnet 5性能接近Opus 4.8,提升Agent能力且价格低;Claude Science整合科研工具,支持复现产出、自动管理算力、多学科查询。

AI寒武纪
新闻资讯7

OpenAI发布权威AI科研基准,扯下AI遮羞布:奥赛金牌≠一流科学家!

OpenAI在2025年12月16日发布FrontierScience基准,用超700道题从物理、化学、生物维度考验AI科研推理能力。评测分竞赛和研究赛道,初测显示GPT - 5.2领先,但前沿模型仍有诸多问题。

新智元
新闻资讯8

Anthropic这两天真没闲着:上线网页版Claude Code,还让Claude搞科研

Anthropic推出Claude Code网页版,无需本地安装命令行工具,还提供Claude iOS应用预览版。其有并行处理多任务等亮点。此外,还发布Claude生命科学版,搭载Claude Sonnet 4.5模型,能助力科研

AI前线
新闻资讯8

博士80小时熬夜改代码,Codex 2小时交卷!科研奇点来了

近日,Agentic AI工程师Dan McAteer实验发现,OpenAI Codex的Goal Mode完成机械可解释性研究任务,效率比博士高40倍。Codex /goal模式能自主循环,契合科研流程。此外,递归自我改进证据涌现,AGI或早已实现。

新智元