AI数学“大考”：最佳模型勉强及格
“首次证明”项目对AI研究级数学能力进行严格测试。最佳模型（IMProofBench）在10道题中答对6-7道，ChatGPT-5.5 Pro答对4-5道，整体表现为“C-”。AI在文献检索和技术应用方面展现优势，但仍存在大...
2026-06-11
72
0
标签主题：研究辅助
学术索引
- 共1页/1条
推荐研究
-
细毛与瘙痒：揭示慢性瘙痒新通路
密歇根大学研究团队在小鼠中发现一条意想不到...
-
大黄蜂自主解题：小脑展现高级认
芬兰研究团队在《科学》杂志上发表了一项突破...
-
AI视网膜影像，数十年前预警阿尔茨
一项开创性研究利用人工智能（AI）分析常规视网...
-
山雀雌鸟择偶策略：为后代智力“
一项发表于《eLife》的新研究揭示了山雀（一种社...
-
反其道而行之：过度激活生长信号
胰腺导管腺癌（PDAC）是最常见且最难治的胰腺癌...
-
AI编码加速理论神经科学：模型探索
AI智能编码框架正以前所未有的速度重塑理论神经...