乎有心事的样子。
“乔哥，今天不开心吗？”
“没有，就是看之前的论文感觉有些累。”乔泽微微摇了摇头道。
“累了啊，那不如这几天休息下脑子，换个有意思的问题呗。”苏沐橙如往常般建议道。
不熟悉乔泽的人，听到他觉得有些累了，一定是建议他多休息。或者出门转转，放松下大脑。
但苏沐橙对乔泽太熟悉了。
她男人休息的方式就是换个思路，去解决其他问题。
事实也的确如此。
乔泽已经点了点头，说道：“我也是这么想的，但最近没什么感兴趣的题目。”
“最近没有，可以从以前的老课题里找啊。比如你可以思考下怎么解决……嗯，哥猜？”苏沐橙想了想，然后一脸期待的看向乔泽，给出了建议。
“证明哥猜的强形式么？”乔泽自语了句。
“嗯，其实弱形式也可以啊。反正老教授说过，现在弱形式也只是部分证明。”苏沐橙耸了耸肩道。
强形式是指哥猜的最初的表述，每一个大于2的偶数都可以表示为两个素数之和。据说当时哥德巴赫提出这个猜想后，自己无法证明就将这个问题给了欧拉。
欧拉穷尽一生也未能解决这个命题，后来数学界又不再使用1也是素数的约定，于是便有了弱表述：每一个大于5的奇数都可以表示为三个素数之和。
对于强形式，虽然已经有大量的数值验证支持这个猜想，尤其是超算时代，许多数学家已经用计算机程序验证了直到非常大的数字所有偶数都可以分解为两个素数之和。
这从侧面说明了这个猜想大概率是对的，但依然没有一个能被学界普遍接受的数学证明。
也恰恰因为这个命题的表述并不像现代的数学难题那样题干都让人难以理解，甚至可以说小学生都能看懂，这个世界性的难题恰好是全球民间数学家最喜欢讨论的问题之一。
就好像想弄懂黎曼猜想题干部分到底是什么意思，起码得先有数论跟复变函数理论的基础，比如得了解渐进分析理论，函数级数跟乘积这些概念，但哥猜完全不需要。
乔泽甚至想起有次在寝室里，陈艺文在网上看到的那篇论文，宣称证明了哥猜……
然而对方却在证明过程中很隐蔽的用0作为除数，来保证了逻辑的连贯性，同时也极具欺骗性。
现在想想，用这种数字游戏来放松一下大脑，的确是件很有意思的事。
…。。