实体
STOC 2026
STOC 2026
PulseAugur coverage of STOC 2026 — every cluster mentioning STOC 2026 across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
Bolzano系统使用AI代理解决了200个开放数学问题
一个名为Bolzano的新开源系统展示了解决数学开放问题的能力。这个多代理系统利用并行证明代理和验证代理来维护人类可读的研究状态。在初步测试中，Bolzano解决了从各种学术论文中提取的大约200个开放问题，包括在STOC 2026会议论文中提出的四个问题，并得到了作者的确认。
-
Google Gemini工具为科学论文提供自动化反馈
Google Research开发了一款名为论文助手工具（PAT）的实验性AI工具，该工具利用Gemini 2.5 Deep Think的先进版本，为理论计算机科学论文提供自动化反馈。PAT已在STOC 2026会议上进行测试，旨在帮助研究人员在人类同行评审之前严格验证其工作并识别错误。早期结果显示用户满意度很高，超过80%的参与者认为反馈有帮助，97%愿意再次使用该工具。