Oct 26
Oct 26
Monday
Monday · 1 items
OpenAI
Announcement
Chinese only
OpenAI宣布在数学、计算机科学和物理学方面取得突破,并表示正与专家合作决定如何分享这些成果。
Oct 18
Oct 18
Sunday
Sunday · 1 items
OpenAI 于2026年10月18日获得AI生成的全维度局部光滑猜想证明,并于次日完成Lean形式化证明。
Oct 16
Oct 16
Friday
Friday · 1 items
OpenAI 于2026年10月16日生成关于指数时间假设不成立的自然语言证明,并于次日完成Lean形式化证明。
Time unknown
Time unknown
· 16 items
Time unknown
OpenAI将关于欧几里得波动方程局部平滑性的研究结果上传至GitHub。
Time unknown
OpenAI 邀请三位算法设计和计算复杂性理论专家牵头验证、研究和解释指数时间假设相关成果。
Time unknown
OpenAI 公开了AI生成的局部光滑猜想自然语言证明和Lean形式化证明。
Time unknown
OpenAI发布了700多道开放性数学问题的AI解答。
Time unknown
OpenAI
Announcement
Chinese only
OpenAI 表示将组建外部研究小组解读计算机科学成果,并由外部专家团队决定物理学成果后续的发布形式。
Time unknown
OpenAI宣称其AI提出了涉及指数时间假设、局部平滑猜想及卡凯亚猜想,以及杨–米尔斯存在性与质量间隙问题部分内容的新证明。
“Yang-Mills Existence and Mass Gap”
Quoted by Rohan Paul (@rohanpaul_ai)
Time unknown
OpenAI以不同方式安排三个学科的解答发布,其中计算机科学领域的工作组要求公开证明并请求OpenAI资助会议讨论。
Time unknown
OpenAI发布了内部前沿模型在数学开放问题上的新结果,并在GitHub分享Lean证明形式化内容和研究细节。
Time unknown
OpenAI
Announcement
Chinese only
OpenAI声称其人工智能提出了关于指数时间假说、局部平滑猜想及卡凯亚猜想,以及杨–米尔斯存在性与质量间隙问题部分内容的新证明。
Time unknown
Anthropic和OpenAI等公司宣布了一系列关于人工智能行业自我约束的自愿承诺。
Time unknown
OpenAI与PerturbAI、Scripps Research使用分布式AI智能体,从数百万个脑细胞的数据中发现了有前景的研究线索。
Time unknown
OpenAI
Announcement
Chinese only
OpenAI 提出量子场论存在性研究成果,并邀请大卫·格罗斯牵头研究;该成果仍在接受专家审查。
Time unknown
OpenAI 在公开GitHub代码仓库发布了关于指数时间假设不成立的自然语言证明和Lean证明。
Time unknown
OpenAI
Announcement
Chinese only
OpenAI 宣布其AI模型在数学、计算机科学和物理学领域取得三项研究成果,相关成果仍需学术界独立确认。
Time unknown
OpenAI 公开了数学方向成果的 AI 生成推导内容,供学界研究者解读。
Time unknown
OpenAI发布了三个数学难题的解答,其中一个声称推翻了指数时间假说。
You're all caught up for this view · Nov 02 01:02