AI + 可能提前到来？

任意一个大于2的偶数，都可以写成两个素数相加，比如
10 = 5 + 5
12 = 5 + 7
20 = 7 + 13
100 = 47 + 53
你能不能证明，无论数字有多大，永远存在两个素数拼成它？这就是哥德巴赫猜想。
生活中，
任意重量的一个箱子，都一定能用两个特殊积木刚好填满。
例如：
10公斤箱：
5公斤特殊积木 + 5公斤特殊积木
20公斤箱：
7公斤 + 13公斤
100公斤：
47公斤 + 53公斤
但是问题来了：

如果箱子重量是：
100000000000000000000000000000000公斤

你怎么证明：
一定还能找到两个特殊积木？
你不能一个一个试。
因为数字无限大。
这就是哥德巴赫猜想难的地方。

2024年，数学家 Alexander P. Mangerel 终于有了突破。在一篇论文中，他证明了：对于所有足够大的偶数，这个猜想是成立的。

目前ASTRA 解决的，是哥德巴赫猜想的刘维尔弱化版本。

从「质因数个数为奇数的合数」跨越到「纯正的质数」，中间仍然隔着天堑。经典的哥德巴赫猜想，依然是那颗高高悬挂的果实。