ぷりんの雑記帳

6年ほど前に考えていた「黒峰問題」という整数問題があります。一時解けたと思っていたのですが、その後証明に欠陥が見つかり、現在も未解決のままとなっています。 smooth-pudding.hatenablog.comこの記事からまだ何も進展していないのですが、最近は AI が未解決問題を解いたといった報告も出つつある状況で、近い将来 AI…