ÐüÉÍ°ÙÍòµÄÎÊÌâ

[os]

ÐüÉÍ°ÙÍòµÄÎÊÌâ

Ô­Ìâ: Million-Buck Problems.
Òë×Ô: The Math. Intelligencer, Vol.~24(2002), No.~3, p.17--20.

Scott W.~Williams

ÒòApostolos DoxiadisµÄÐÂС˵¡¶Uncle Petros and Goldbach Conjecture¡·
(2000Äê)µÄ·¢±í,Ó¢¹ú³ö°æÉÌFaberºÍÃÀ¹úBloomsbury³ö°æÉçµÄ³ö°æÉÌFaberÄóö
100ÍòÃÀÔªÀŽÐüÉÍÄÇЩÄÜœâŸöGoldbach²ÂÏëµÄÈË.(2000Äê) 5ÔÂ10ÈÕ,ClayÊýѧŽÙœø»á
ÕýÊœ
Ðû²ŒÁËÒ»Ïî700ÍòÃÀÔªµÄǧìûÄꜱ,Ëü¶Ô7žöÖøÃûÎÊÌâÖÐÿžöÎÊÌâµÄœâŽðœ±ÒÔ100ÍòÃÀÔª
.ÄÑ
ÒÔÖÃÐÅ,ÕâÖÖ¹«¿ªµÄŸªÈ˳Ž×÷ŸÓÈ»ÔÚÊýѧÖÐÕŒŸÝÁËÓÅÏȵØλ.±ŸÎÄÊÇÎÒžöÈ˶ԌžžöÖøÃû
µÄÎŽ
œâŸöÎÊÌâµÄÀúÊ·ÆÀÂÛ,ËùÉ挰µœµÄÕâЩÎÊÌâ¶ÔÒ»žöŸßÓÐŽóѧÊýѧ³Ì¶È»òžüµÍһЩµÄÈË
¶ŒÄÜ
˒ω.

ÔÚÎÒ»¹ÊÇÒ»žöŽóѧÉúµÄʱºò,BurnsideÎÊÌâ,Æ浥Ⱥ²ÂÏë(1963Äê)ºÍÁ¬ÐøͳŒÙÉèžÕ
žÕµÃµœœâŸö,¶øRiemannŒÙÉè,ËÄÉ«×÷ÍŒÎÊÌâ,FermatŽó¶šÀí,Bieberbach²ÂÏë,
Poincare²ÂÏ댰Goldbach²ÂÏ붌ÊÇЩÓÐÃûµÄÎŽœâŸöÎÊÌâ.10ÄêÖ®ºó,ËÄÉ«ÎÊÌâºÍ
Alexandrov²ÂÏëµÃµœÁËœâŸö£»20Äêºó,Bieberbach²ÂÏëµÃµœÁËÖ€Ã÷¶ø30Äêºó
FermatŽó¶šÀíÒ²ÓÐÁËœá¹û.ֻʣÏÂÇ°ÃæÌᵜµÄŒžžöÎÊÌâÈÔÎŽœâŸö,ͬʱÆäËûһЩ
ÎÊÌâÓÖž¡³öÁËË®Ãæ.œâŸöÕâЩÎÊÌâÖÐÈκÎÒ»žö¶Œ»áÓ®µÃ``ÉùÓþ',²¢ÓÐʱ»¹»áŽøÀŽ
Ò»ÏîÖØÒªµÄÊýѧœ±,ÏóÊÇ145{,}000ÃÀÔªµÄSteeleœ±,50{,}000ÃÀÔªµÄWolfœ±,»¹Óб»·Ç

ÕýÊœ³Æ×÷``ŵ±Ž¶ûÊýѧœ±'µÄFieldsœ±,ºóÕßÊÚÓèÒ»¿éÌØÊâµÄœðÖÊœ±ÕÂ(²¢žœÒÔ
15{,}000ÃÀÔª),»òÕß»¹ÓŠÌᵜ±»ÎÒ³ÆΪÕæÕýÊýѧŒÒµÄ``ŵ±Ž¶ûœ±'µÄÈðµä»ÊŒÒ
¿ÆѧԺµÄ500{,}000ÃÀÔªµÄCrafoordœ±.

œâŸöÆäÖÐÒ»žöÎÊÌâ±ãÄÜŽÓClayÊýѧŽÙœø»á(http://www.claymath.org)µÃµœ°ÙÍò
ÃÀÔªµÄÄÇ7žöÎÊÌâÊÇ£ºÏÂÃ滹ҪÌᵜµÄPoincare²ÂÏëÒÔŒ°RiemannŒÙÉè,PÓëNPÎÊ
Ìâ,Hodge²ÂÏë,Yang -- MillsŽæÔÚÐÔÓëÖÊÁ¿È±Ê§,Navier -- StokesŽæÔÚÐÔ
Óë¹â»¬ÐÔ,ÒÔŒ°BirchŒ°Swinnerton -- Dyer²ÂÏë.ÓëÕâЩÎÊÌâÒ»ÆðµÄ»¹ÓÐÒ»×é
ÎÄÕÂ,ËüÃÇÓÉStephen Cook, Pierre Deligne, Enrico Bombieri, Charles
FeffermanºÍAndrew WilesËùÐŽ.$^{1)}$\footnotetext{\songti\ssmall\zihao{-5}

{1)}¹ØÓÚClayÊýѧŽÙœø»áÉ蜱µÄ7ŽóǧìûÄêÎÊÌâµÄÖÐÒëÎÄ£¬Çë²ÎŒû±Ÿ¿¯2000Äê
µÚ1, 2ÆÚ.---$\!$---Уע}

°ÑœðÇ®ºÍÊýѧÎÊÌâÁ¬ÆðÀŽ²¢·ÇÐÂÏÊÊÂ.1908Äê,µÂ¹ú¹€ÒµŒÒPaul Wolfskehl±ãΪFermat
Žó¶š
ÀíµÄÖ€Ã÷ÉèÁ¢ÁËÒ»Ïî100,000Âí¿Ë(ÄÇʱŽóԌֵ100ÍòÃÀÔª)µÄœ±Ïî(ŒûNotices A.~M.~
S. 4
4 no.10(1997), 1294 -- 1302).¿Éϧ,Íš»õÅòÕÍÁœð±áÖµ,µœ1997ÄêWilesÄõœµÄÖ»
ÓÐ5
0{,}000ÃÀÔªÁË.µ«ÊÇÈðµä»ÊŒÒ¿ÆѧԺ°ÑSchockœ±ÊÚÓèÁËWiles,Ëû»¹ŽÓPaul Sabatier
Žóѧ
µÃµœÁËFermatœ±.DeBrangesÒòÖ€Ã÷ÁËÒ»žöœÏBieberbach²ÂÏëҪǿºÜ¶àµÄ²ÂÏë»ñµÃÁËOstro

vskiϱ.

±»³Æ×÷``œâÎÊÌâÍõ×Ó,ÌáÎÊÌâŽóÍõ'µÄÒÑÊŵÄPaul Erd{\H o}s»ñµÃÁË50{,}000ÃÀÔªµÄ
Wolf
Êýѧœ±.Ëû»¹ÎªÄÇЩÄÜœâŸöËûËùÌá³öµÄһЩÎÊÌâµÄÊýѧŒÒÉèÁ¢ÁËœ±Ïî,ŽÓ¶ø¹ãΪÈËÖª.
ÕâЩ
œ±œðŽÓ10{,}000ÃÀÔªµœ25ÃÀÔª²»µÈ.œ±10{,}000ÃÀÔªµÄÊÇÊýÂÛÖб»Ëû³Æ֮Ϊ``ûÓÐÏ£
Íû'»á
µÃµœœâŸöµÄÎÊÌâ,¶øœ±25ÃÀÔªµÄÔòÊÇЩËûÈÏΪ²¢²»ÌرðÀ§Äѵ«ÈŽÈԟߌŒÇÉÐÔµÄÎÊÌ⣻
ÕâЩ
ÎÊÌâÊÇÔÚÆ䜲ÒåÖÐÌá³öÀŽµÄ.ÓÉÓÚErd{\H o}sÔÚ1996ÄêÊÅÊÀ,ÆäËûһЩÊýѧŒÒÈÔÈ»ŒÌÐø
ÁËÕâ
ÏîÔË×÷.ÏÖÔÚ,Ò»žö¹«ËŸÌṩÁË100ÍòÃÀÔª¶øÁíÒ»žöŽÙœø»áÉõÖÁÌṩÁËžü¶àµÄÉÍœð.

Fieldsœ±²»žøÓèÄÇЩÄêÁ䳬¹ý40ËêµÄÈË.ÒòÓëœâŸöÖøÃûÎÊÌâÓйضø»ñµÃFieldsœ±µÄÈË
Ê¿ÓÐ
£º

Selberg(1950),ÒòÆäÔÚRiemannŒÙÉè·œÃæµÄ¹€×÷;Smale(1966),ÒòÆäÔÚ$n>4$µÄ¹ãÒåPoinca

re²ÂÏë·œÃæµÄ¹€×÷;Thompson(1970),ÒòÆäÔÚœâŸöÆ浥Ⱥ¹€×÷ÖеÄ×÷ÓÃ;Bombieri(1974
),Òò
ÆäÔÚŸÖ²¿Bieberbach²ÂÏëÖеĹ€×÷;Faltings(1986),ÒòÆäœâŸöÁËMordell²ÂÏë;Freedman
(
1986),ÒòÆäÔÚ$n=4$µÄ¹ãÒåPoincare²ÂÏëÉϵĹ€×÷;Borcherds(1998)ÒòÆäœâŸöÁË¿ÕÏë
ħȺ
²ÂÏë(Monstrous Moonshine Conjecture).

»òÐíÍš¹ýœâŸöÒ»žöÎÊÌâ¶ø»ñµÃµÄ``ÉùÓþ',»áŽøžøһЩÈËÊʵ±µÄ²Æž».ÏÂÃæÕâЩΎœâŸö
µÄÎÊ
ÌâÈ«¶ŒŸßÓÐŒòµ¥µÄ±íÊö,ËüÃÇÊÇ£ºGoldbach²ÂÏë,KolakoskiÐòÁÐ,$3x+1$ÎÊÌâ,Schanuel
²Â
Ïë,¿ò»ý(Box-Product)ÎÊÌâ,ÆæÍêÈ«ÊýÎÊÌâ,RiemannŒÙÉè,ÂÏÉúËØÊý²ÂÏë,ÁÖÖÐÃÔ·(Lost
-
in-a-Forest)ÎÊÌâ,»ØÎÄ(Palindrome)ÎÊÌâÒÔŒ°Poincare²ÂÏë.Íš³£ÈÏΪÆäÖÐһЩÎÊÌâ
(Ri
emannŒÙÉèºÍPoincare²ÂÏë)¶ÔÊýѧÁìÓòµÄŒÛÖµ±ÈÆäËûµÄÒªŽó.È»¶øÔøŸ­ÓйýһЩŽÎÒª
µÄÎÊ
Ìâ,ËüÃDz»ÊÇÍš¹ýŒòµ¥µØœ«ÏֳɵČŒÇÉ×÷Á˱ÈÆäËûÈËžüœøÒ»²œµÄÍÆœø¶øœâŸöµÄ,¶øÊÇÒý
œøÁË
žß¶ÈµÄÔ­ŽŽËŒÏë,ÕâЩˌÏ뵌ÖÂÁËÐí¶àеķ¢Õ¹.ÒòŽË,ÎÒ³ÆËüÃǶŒÊÇ°ÙÍòÉÍœðµÄÎÊÌâ
,ÒòΪ
ÎÒÏàÐÅËüÃǵĜâŸö(°üÀšÆäÉ挰µÄŒŒÇÉ)¶ÔÊýѧµÄ·¢Õ¹¶øÑÔÖÁÉÙÖµ100ÍòÃÀÔª.

1. Goldbach²ÂÏë

1742Äê6ÔÂ7ÈÕ,ChristianGoldbachÐŽÁËÒ»·âÐÅžøL.~Euler,Ìá³öÁËÿžöÅŒÕûÊýÊÇÁœžö
ËØÊý
µÄºÍÕâÒ»ÃüÌâ,ËäÈ»ÒÑÖªËü¶Ôµœ4 $\cdot$ 10$^{13}$Ç°µÄËùÓÐÊý¶Œ³ÉÁ¢,µ«ÈÔÎŽµÃµœ
Ö€Ã÷
.×îœÓœüœâŸöGoldbach²ÂÏëµÄÊdzŸ°ÈóµÄœá¹û,ŒŽÃ¿žö``³ä·ÖŽó'µÄÅŒÊýŸßÓÐ$p+qr$µÄ
ÐÎÊœ
,ÆäÖÐ
$p, q, r$ŸùΪËØÊý.Ó¢¹úµÄFaberºÍÃÀ¹úBloomsbury³ö°æÉçµÄFaberÌá³öÁËһЩÑÏžñÒª
Çó,
°üÀšÒªÇóÕýÊœ·¢±í¶ÔGoldbach²ÂÏëµÄÖ€Ã÷.²ÎÓ럺ÕùµÄÈË»¹ÐèÒªÔÚ2002ÄêµÄ3ÔÂÇ°µÝœ»
ËûÃÇ
µÄÉêÇë,²¢ÓÚ2004ÄêµÄ3ÔÂÇ°·¢±íÆäÎÄÕÂ.Èç¹ûÓÐÈË»ñÊ€,Ôòœ«ÔÚ2004Äêµ×µÃµœœ±œð.

ÈÔÎŽœâŸöµÄÒ»žöGoldbach²ÂÏëµÄÍÆÂÛÊÇËùÎœµÄ{\kaishu ÆæÊýGoldbach²ÂÏë},ŒŽ``Žó
ÓÚ5µÄ
ÿžöÆæÕûÊýÊÇ3žöËØÊýÖ®ºÍ'.ÒÑŸ­Ö€Ã÷¶ÔÓÚŽóÓÚ10$^{7{,}000{,}000}$µÄÆæÕûÊýŽË²Â
Ïë³É
Á¢,Èç¹ûÓÐÁ˺ÏÊʵČÆËãÄÜÁŠ,ÀŽŒÆËãСÓÚ10$^{7{,}000{,}000}$µÄËùÓÐÇéÐÎ,Õûžöœá
ÂÛÒ²
¿ÉÄܳöÎÊÌâ.

2. Beal²ÂÏë

ÕâÊÇFermatŽó¶šÀíµÄÒ»žöÍƹã.Èç¹û$A^x+B^y=C^z$,ÆäÖÐ$A, B, C, x,y$ºÍ$z$ΪÕýÕû
ÊýÇÒ
$x, y$ºÍ$z$¶ŒŽóÓÚ2,Ôò$A, B, C$±ØÓй«Òò×Ó.AndrewBealÊÇλÒøÐÐŒÒ,Ò²ÊÇλҵÓàÊý
ѧŒÒ
.ËäÈ»ËûÒѶԎ˲ÂÏëµÄœâŸöÌṩÁË75,000ÃÀÔª,µ«ÔÚ1997Äê²ÅµÚÒ»ŽÎ¶ÔÍâÐû²Œ.ÆÀœ±Î¯
Ô±»á
ÓÉCharles Fefferman,Ron GrahamºÍR.~Daniel Mauldin×é³É,»ùœðÓÉÃÀ¹úÊýѧ»áÍйÜ
.

3. SchanuelµÄÁœžö²ÂÏë

(²»ÒªÓëSchanuelÒýÀí»òAx--Schanuel¶šÀíÏà»ìÏý)

ÔÚ20ÊÀŒÍ60ÄêŽú³õ,SchanuelÌá³öÁËÓ랎֞Êýº¯ÊýÓйصĎúÊýÐÔÖʵÄÁœžö²ÂÏë.Schanuel

¶ÔÕâÁœžö²ÂÏë·Ö±ðÌṩÁË2{,}000ÃÀÔªºÍ1{,}000ÃÀÔªµÄœ±œð,ÒÔœ±ÀøÔÚËûµÄÓÐÉúÖ®Äê
Öз¢
±íµÄ¶ÔÕâÁœžö²ÂÏëµÄœâŽð.{\kaishu Schanuel²ÂÏë}ÊǹØÓÚ$(\C, e^z)$µÄ{\kaishu
ÎÞ¹Ø
ÐÔÖÊ}µÄ£ºÈç¹û$z_1, z_2, \ldots, z_n$ΪÔÚÓÐÀíÊýÉÏΪÏßÐÔÎ޹صÄ$\C$ÖОŽÊý,Ôò
$z_1
, z_2, \ldots, z_n,e^{z_1}, e^{z_2}, \ldots,e^{z_n}$ÖÐij$n$žöΪŽúÊýÎÞ¹Ø.{
\kai
shu ÄæSchanuel²ÂÏë}˵,ûÓОü¶àµÄÇéÐλá³öÏÖ.Ã÷È·µØ˵,Èç¹û$F$ÊÇžöÌØÕ÷ÁãµÄ¿É
ÊýÓò
,$E: F \to F$ÊÇÓɌӷšÈºµœ³Ë·šÈºµÄ̬ͬ,²¢ÇÒËüµÄºËΪѭ»·×ÓȺ.ÔòŽË²ÂÏëÊÇ˵,Èç
¹û$
(F, E)$ŸßÓÐÎÞ¹ØÐÔÖÊ,ÔòÓÐÒ»žöÓòŒä̬ͬ$h: F \to \C$,ʹµÃ$h(E(x))=e^{h(x)}$.
ÀýÈç
ÕâÁœžö²ÂÏëÖÐÈÎÒ»žö¶ŒÔ̺­ÁË$e$ºÍ$\pi$µÄŽúÊýÎÞ¹ØÐÔ.[ÔÚµÚÒ»žö²ÂÏëÖÐÈ¡$z_1=1,
z_2
=\pi i$;ÔÚµÚ¶þžöÖÐ,ÈËÃDZØÐè¹¹Ôì$(F, E)$,ËüÓÐÒ»žöÔª$p$ʹµÃ$E(ip)=-1$,ŽÓ¶ø$
E(1)
$ºÍ$p$ΪŽúÊýÎÞ¹Ø.]Ä¿Ç°,ÎÒÃÇÉõÖÁ»¹²»ÖªµÀ$e+\pi$ÊÇ·ñΪÎÞÀíÊý.

4. KolakoskiÐòÁÐ

¿ŒÂÇÓÉ1ºÍ2×é³ÉµÄÐòÁÐ
$$\sigma = \langle 1221121221221121122121121221121121221221121221211
21122122112 \rangle.$$
$\sigma$µÄÒ»žö{\kaishu
¿é}ÊÇÒ»žö×îŽóµÄ³£Öµ×ÓÐòÁÐ.¿ŒÂÇÕâЩ¿éºÍËüÃǵij€¶È.ÀýÈç,ŽÓ×ó¶Ë¿ªÊŒ,µÚÒ»¿é$\
lang
le 1 \rangle$Ÿß³€¶È1.µÚ¶þ¿é$\langle 22 \rangle$Ÿß³€¶È2.µÚÈý¿é$\langle 11\
rang
le$Ÿß³€¶È2.ÕÕŽËŒÌÐøÏÂÈ¥²¢×¢ÒⵜÓÉÕâЩ¿éµÄ³€¶ÈÊý¹¹³ÉµÄÐòÁÐ$\lambda=\langle
122
1121221\ldots \rangle$Ç¡ÊÇ$\sigma$µÄÇ°ÃæµÄ²¿·Ö.KolakoskiÐòÁÐÊÇÖžÓÉ1ºÍ2¹¹³É
µÄ(
ΚһµÄ)ÎÞÇîÐòÁÐ$\sigma$,ËüÓÉ1¿ªÊŒ²¢ÇÒËüµÄ¿éµÄ³€¶ÈÊý¹¹³ÉµÄÐòÁÐ$\lambda$Âú×ã
$\l
ambda =\sigma$. Chris Kimberling(Ξhttp://cedar.evansville.edu/\~{}ck6/index
.
html)
ÔÊŵ200ÃÀÔªÒÔœ±ÀøµÚÒ»žö·¢±íœâŸöÏÂÃæÈ«²¿5žöÎÊÌâµÄÎÄÕµÄÈË(Ëû˵Èç¹ûÄãœâŸöÁË
ÆäÖÐ
Ò»žö,ÄDZãÓÐÁË»ú»á,ÒòΪÄã±ã»áÃ÷°×ÈçºÎœâŸöÆäËûŒžžöÎÊÌâ).°Ñ×îºóµÄ4žöÎÊÌâ¿Ž³É
ÊÇÒ»
žöÎÊÌâ¿ÉÒÔʹKolakoskiÐòÁÐÎÊÌâÏÔµÃÓÐЩȀζ£º

i.¶Ô$\sigma$µÄµÚ$n$ÏîÊÇ·ñŽæÔÚ±íŽï¹«Êœ£¿

ii.Èç¹ûÒ»Ž®Êý(ÀýÈç212211)³öÏÖÔÚ$\sigma$ÖÐ,ËüÊÇ·ñ±Ø¶š»áÔÙ³öÏÖ£¿

iii.Èç¹ûÒ»Ž®Êý³öÏÖÔÚ$\sigma$ÖÐ,ÊÇ·ñÆäÄæÒ²±Ø¶š³öÏÖ£¿(112212³öÏÖ)

iv.Èç¹ûÒ»Ž®Êý³öÏÖÔÚ$\sigma$ÖÐ,²¢œ«ÆäÖеÄ1Óë2»¥»»,ÊÇ·ñеÄÊýŽ®Ò²±Ø³öÏÖ£¿(12112

2³öÏÖ)

v.ÊÇ·ñ1ÔÚ$\sigma$³öÏÖµÄƵÂÊŽæÔÚŒ«ÏÞ,ËüÊÇ·ñΪ1/2£¿

5. ¿ò»ýÎÊÌâ

6. CollatzµÄ3{\mbox{\boldmath $x$}}+1²ÂÏë

7. ÆæÍêÈ«ÊýÎÊÌâ

8. RiemannŒÙÉè

9. ÂÏÉúËØÊý²ÂÏë

10. Poincare²ÂÏë

11. »ØÎÄÎÊÌâ

12. ÁÖÖÐÃÔ·ÎÊÌâ

œ÷œ«±ŸÎÄÏמøJohn Isbell.ÓйØÕâƪÎÄÕÂ,ÎÒÔøÓëWilliam Massey,
Mohan Ramachandran, Samuel SchackºÍStephen SchanuelœøÐÐÁËËœÈËÍš
ÐÅ.È»¶øËùÓеĎíÎó¶ŒÓÉÎÒžºÔð.

ñãÃùΰ Òë
·ëÐ÷Äþ У

--
ÎÒÊÇÒµÓàžãÊýѧµÄ£¬ÎÒ×îœüµÄÐËÈ€Ö÷ÒªÊÇÔÚ×éºÏÊýѧÖеÄRamseyÀíÂÛ
¡ù ÀŽÔŽ:¡€å«º£ÐÇÔÆ bbs.ustc.edu.cn¡€

[СÓã¶ù]

【 在 ***@bbs.ustc.edu.cn (os) 的大作中提到: 】
: 悬赏百万的问题
: 原题: Million-Buck Problems.
: 译自: The Math. Intelligencer, Vol.~24(2002), No.~3, p.17--20.
: Scott W.~Williams
: 因Apostolos Doxiadis的新小说《Uncle Petros and Goldbach Conjecture》
: (2000年)的发表,英国出版商Faber和美国Bloomsbury出版社的出版商Faber拿出
: ...................

--
※ 来源:．一塌糊涂 BBS ytht.net．[FROM: 202.38.72.205]

[СÓã¶ù]

【 在 ***@bbs.ustc.edu.cn (os) 的大作中提到: 】
悬赏百万的问题

原题: Million-Buck Problems.
译自: The Math. Intelligencer, Vol.~24(2002), No.~3, p.17--20.

Scott W.~Williams

因Apostolos Doxiadis的新小说《Uncle Petros and Goldbach Conjecture》
(2000年)的发表,英国出版商Faber和美国Bloomsbury出版社的出版商Faber拿出
100万美元来悬赏那些能解决Goldbach猜想的人.(2000年) 5月10日,Clay数学促进会
正式
宣布了一项700万美元的千禧年奖,它对7个著名问题中每个问题的解答奖以100万美元
.难
以置信,这种公开的惊人炒作居然在数学中占据了优先地位.本文是我个人对几个著名
的未
解决问题的历史评论,所涉及到的这些问题对一个具有大学数学程度或更低一些的人
都能
理解.

在我还是一个大学生的时候,Burnside问题,奇单群猜想(1963年)和连续统假设刚
刚得到解决,而Riemann假设,四色作图问题,Fermat大定理,Bieberbach猜想,
Poincare猜想及Goldbach猜想都是些有名的未解决问题.10年之后,四色问题和
Alexandrov猜想得到了解决；20年后,Bieberbach猜想得到了证明而30年后
Fermat大定理也有了结果.只剩下前面提到的几个问题仍未解决,同时其他一些
问题又浮出了水面.解决这些问题中任何一个都会赢得``声誉',并有时还会带来
一项重要的数学奖,象是145{,}000美元的Steele奖,50{,}000美元的Wolf奖,还有被非

正式称作``诺贝尔数学奖'的Fields奖,后者授予一块特殊的金质奖章(并附以
15{,}000美元),或者还应提到被我称为真正数学家的``诺贝尔奖'的瑞典皇家
科学院的500{,}000美元的Crafoord奖.

解决其中一个问题便能从Clay数学促进会(http://www.claymath.org)得到百万
美元的那7个问题是：下面还要提到的Poincare猜想以及Riemann假设,P与NP问
题,Hodge猜想,Yang -- Mills存在性与质量缺失,Navier -- Stokes存在性
与光滑性,以及Birch及Swinnerton -- Dyer猜想.与这些问题一起的还有一组
文章,它们由Stephen Cook, Pierre Deligne, Enrico Bombieri, Charles
Fefferman和Andrew Wiles所写.$^{1)}$\footnotetext{\songti\ssmall\zihao{-5}

{1)}关于Clay数学促进会设奖的7大千禧年问题的中译文，请参见本刊2000年
第1, 2期.---$\!$---校注}

把金钱和数学问题连起来并非新鲜事.1908年,德国工业家Paul Wolfskehl便为Fermat
大定
理的证明设立了一项100,000马克(那时大约值100万美元)的奖项(见Notices A.~M.~
S. 4
4 no.10(1997), 1294 -- 1302).可惜,通货膨胀令奖金贬值,到1997年Wiles拿到的只
有5
0{,}000美元了.但是瑞典皇家科学院把Schock奖授予了Wiles,他还从Paul Sabatier
大学
得到了Fermat奖.DeBranges因证明了一个较Bieberbach猜想要强很多的猜想获得了Ostro

vski奖.

被称作``解问题王子,提问题大王'的已逝的Paul Erd{\H o}s获得了50{,}000美元的
Wolf
数学奖.他还为那些能解决他所提出的一些问题的数学家设立了奖项,从而广为人知.
这些
奖金从10{,}000美元到25美元不等.奖10{,}000美元的是数论中被他称之为``没有希
望'会
得到解决的问题,而奖25美元的则是些他认为并不特别困难但却仍具技巧性的问题；
这些
问题是在其讲义中提出来的.由于Erd{\H o}s在1996年逝世,其他一些数学家仍然继续
了这
项运作.现在,一个公司提供了100万美元而另一个促进会甚至提供了更多的赏金.

Fields奖不给予那些年龄超过40岁的人.因与解决著名问题有关而获得Fields奖的人
士有
：

Selberg(1950),因其在Riemann假设方面的工作;Smale(1966),因其在$n>4$的广义Poinca

re猜想方面的工作;Thompson(1970),因其在解决奇单群工作中的作用;Bombieri(1974
),因
其在局部Bieberbach猜想中的工作;Faltings(1986),因其解决了Mordell猜想;Freedman
(
1986),因其在$n=4$的广义Poincare猜想上的工作;Borcherds(1998)因其解决了空想
魔群
猜想(Monstrous Moonshine Conjecture).

或许通过解决一个问题而获得的``声誉',会带给一些人适当的财富.下面这些未解决
的问
题全都具有简单的表述,它们是：Goldbach猜想,Kolakoski序列,$3x+1$问题,Schanuel
猜
想,框积(Box-Product)问题,奇完全数问题,Riemann假设,孪生素数猜想,林中迷路(Lost
-
in-a-Forest)问题,回文(Palindrome)问题以及Poincare猜想.通常认为其中一些问题
(Ri
emann假设和Poincare猜想)对数学领域的价值比其他的要大.然而曾经有过一些次要
的问
题,它们不是通过简单地将现成的技巧作了比其他人更进一步的推进而解决的,而是引
进了
高度的原创思想,这些思想导致了许多新的发展.因此,我称它们都是百万赏金的问题
,因为
我相信它们的解决(包括其涉及的技巧)对数学的发展而言至少值100万美元.

1. Goldbach猜想

1742年6月7日,ChristianGoldbach写了一封信给L.~Euler,提出了每个偶整数是两个
素数
的和这一命题,虽然已知它对到4 $\cdot$ 10$^{13}$前的所有数都成立,但仍未得到
证明
.最接近解决Goldbach猜想的是陈景润的结果,即每个``充分大'的偶数具有$p+qr$的
形式
,其中
$p, q, r$均为素数.英国的Faber和美国Bloomsbury出版社的Faber提出了一些严格要
求,
包括要求正式发表对Goldbach猜想的证明.参与竞争的人还需要在2002年的3月前递交
他们
的申请,并于2004年的3月前发表其文章.如果有人获胜,则将在2004年底得到奖金.

仍未解决的一个Goldbach猜想的推论是所谓的{\kaishu 奇数Goldbach猜想},即``大
于5的
每个奇整数是3个素数之和'.已经证明对于大于10$^{7{,}000{,}000}$的奇整数此猜
想成
立,如果有了合适的计算能力,来计算小于10$^{7{,}000{,}000}$的所有情形,整个结
论也
可能出问题.

2. Beal猜想

这是Fermat大定理的一个推广.如果$A^x+B^y=C^z$,其中$A, B, C, x,y$和$z$为正整
数且
$x, y$和$z$都大于2,则$A, B, C$必有公因子.AndrewBeal是位银行家,也是位业余数
学家
.虽然他已对此猜想的解决提供了75,000美元,但在1997年才第一次对外宣布.评奖委
员会
由Charles Fefferman,Ron Graham和R.~Daniel Mauldin组成,基金由美国数学会托管
.

3. Schanuel的两个猜想

(不要与Schanuel引理或Ax--Schanuel定理相混淆)

在20世纪60年代初,Schanuel提出了与复指数函数有关的代数性质的两个猜想.Schanuel

对这两个猜想分别提供了2{,}000美元和1{,}000美元的奖金,以奖励在他的有生之年
中发
表的对这两个猜想的解答.{\kaishu Schanuel猜想}是关于$(\C, e^z)$的{\kaishu
无关
性质}的：如果$z_1, z_2, \ldots, z_n$为在有理数上为线性无关的$\C$中复数,则
$z_1
, z_2, \ldots, z_n,e^{z_1}, e^{z_2}, \ldots,e^{z_n}$中某$n$个为代数无关.{
\kai
shu 逆Schanuel猜想}说,没有更多的情形会出现.明确地说,如果$F$是个特征零的可
数域
,$E: F \to F$是由加法群到乘法群的同态,并且它的核为循环子群.则此猜想是说,如
果$
(F, E)$具有无关性质,则有一个域间同态$h: F \to \C$,使得$h(E(x))=e^{h(x)}$.
例如
这两个猜想中任一个都蕴涵了$e$和$\pi$的代数无关性.[在第一个猜想中取$z_1=1,
z_2
=\pi i$;在第二个中,人们必需构造$(F, E)$,它有一个元$p$使得$E(ip)=-1$,从而$
E(1)
$和$p$为代数无关.]目前,我们甚至还不知道$e+\pi$是否为无理数.

4. Kolakoski序列

考虑由1和2组成的序列
$$\sigma = \langle 1221121221221121122121121221121121221221121221211
21122122112 \rangle.$$
$\sigma$的一个{\kaishu
块}是一个最大的常值子序列.考虑这些块和它们的长度.例如,从左端开始,第一块$\
lang
le 1 \rangle$具长度1.第二块$\langle 22 \rangle$具长度2.第三块$\langle 11\
rang
le$具长度2.照此继续下去并注意到由这些块的长度数构成的序列$\lambda=\langle
122
1121221\ldots \rangle$恰是$\sigma$的前面的部分.Kolakoski序列是指由1和2构成
的(
唯一的)无穷序列$\sigma$,它由1开始并且它的块的长度数构成的序列$\lambda$满足
$\l
ambda =\sigma$. Chris Kimberling(见http://cedar.evansville.edu/\~{}ck6/index
.
html)
允诺200美元以奖励第一个发表解决下面全部5个问题的文章的人(他说如果你解决了
其中
一个,那便有了机会,因为你便会明白如何解决其他几个问题).把最后的4个问题看成
是一
个问题可以使Kolakoski序列问题显得有些趣味：

i.对$\sigma$的第$n$项是否存在表达公式？

ii.如果一串数(例如212211)出现在$\sigma$中,它是否必定会再出现？

iii.如果一串数出现在$\sigma$中,是否其逆也必定出现？(112212出现)

iv.如果一串数出现在$\sigma$中,并将其中的1与2互换,是否新的数串也必出现？(12112

2出现)

v.是否1在$\sigma$出现的频率存在极限,它是否为1/2？

5. 框积问题

6. Collatz的3{\mbox{\boldmath $x$}}+1猜想

7. 奇完全数问题

8. Riemann假设

9. 孪生素数猜想

10. Poincare猜想

11. 回文问题

12. 林中迷路问题

谨将本文献给John Isbell.有关这篇文章,我曾与William Massey,
Mohan Ramachandran, Samuel Schack和Stephen Schanuel进行了私人通
信.然而所有的错误都由我负责.

胥鸣伟 译
冯绪宁 校

--
我是业余搞数学的，我最近的兴趣主要是在组合数学中的Ramsey理论
※ 来源:・瀚海星云 bbs.ustc.edu.cn・


--
※ 来源:．一塌糊涂 BBS ytht.net．[FROM: 202.38.72.205]

[Ô²Á³]

真是诱人啊
【 在 os. 的大作中提到: 】
: 悬赏百万的问题
: 原题: Million-Buck Problems.
: 译自: The Math. Intelligencer, Vol.~24(2002), No.~3, p.17--20.
: Scott W.~Williams
: 因Apostolos Doxiadis的新小说《Uncle Petros and Goldbach Conjecture》
: (以下引言省略...)

--
现实最大的悲哀：
背面看，想犯罪；侧面看，想后退；正面看，想正当防卫
※ 来源:．一塌糊涂 BBS http://ytht.net [FROM: 162.105.173.158]