AI·学术
公开信要求OpenAI立即公布其宣称的杨-米尔斯理论、量子色动力学及标准模型完备性存在性证明的自然语言与Lean形式输出,以便数学界验证并推动相关研究。
来源:原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成,内容仅供参考,不构成任何建议。