进展中科学与数学10月26日 00:00 UTC 研究人员开始核查OpenAI和Anthropic关于AI推翻指数时间假设的说法 WIRED 两家实验室均在GitHub发布了经Lean检验的证明,但尚无独立专家核实;据WIRED报道,理论学者已在为FOCS会议修改论文,OpenAI已请该假设的提出者组织审查,并表示愿资助一场会议。 在 WIRED 阅读全文 →分享 来源WIREDAnthropic formal-math repository 主编: Haydn Snape