时间线
评论
访谈
公司
人物
融资
关于
EN
← 人物
PC
Peter Chocian
研究者
最新记录
时间线 · 9月22日
一份主要借助 Codex 完成的证明,称 x^3+y^5=z^7 没有非零互素解
时间线上提到
2026-09-22
一份主要借助 Codex 完成的证明,称 x^3+y^5=z^7 没有非零互素解
这一页有错误或遗漏?告诉我,会更正或撤下。
联系 →