OpenAI 宣布三項 AI 科學證明成果,交由學界獨立檢驗
OpenAI 10 月 26 日公布模型產出的三項研究成果,分別涉及局部平滑與 Kakeya 猜想、指數時間假說,以及四維量子場論的存在性證明。公司公開部分自然語言與 Lean 形式化材料,並邀請外部學者組成獨立研究小組釐清證明及其意涵。
與「Kakeya conjecture」相關的科技新聞。
OpenAI 10 月 26 日公布模型產出的三項研究成果,分別涉及局部平滑與 Kakeya 猜想、指數時間假說,以及四維量子場論的存在性證明。公司公開部分自然語言與 Lean 形式化材料,並邀請外部學者組成獨立研究小組釐清證明及其意涵。