26/07/23 15:32:31.64 lgip6xiL.net
ヒーハー
30:１３２人目の素数さん
26/07/23 17:06:10.04 n/8j5UZO.net
>>21
使えるかな
かなり面倒よ
31:１３２人目の素数さん
26/07/23 17:07:31.40 n/8j5UZO.net
>>21
使えるかな
分かってても
かなり面倒よ
32:１３２人目の素数さん
26/07/23 19:06:52.24 f6ptqEQN.net
コンセビッチによるお気持ち表明まだ？
33:１３２人目の素数さん
26/07/23 19:15:02.82 ba21B9d6.net
もしも、AIが、臨界線上にないリーマンゼータｰの自明で無い零点のうちで絶対値が一番小さい物は
これです、といって複素数を数値で有効数字30桁ぐらいで出してきたら、それがもしも本当ならリーマン
予想は終わりだな。
34:１３２人目の素数さん
26/07/23 21:21:55.66 OmvENjcs.net
>>33
別にAIに限らず
反例出れば終わり
35:１３２人目の素数さん
26/07/24 04:04:27.74 D/crVsG2.net
ヤコビアン予想に関しては
ここからの新しい展開が期待できる
36:１３２人目の素数さん
26/07/25 13:07:54.68 ZWwLXc7o.net
これってハーツホーンの演習問題？
37:１３２人目の素数さん
26/07/25 13:11:14.78 bmdqsgm3.net
全然？
38:１３２人目の素数さん
26/07/26 10:52:16.08 k8jFKr2v.net
はい、ヤコビアン予想はロビン・ハーツホーンの著書『Algebraic Geometry』第1章第3節の演習問題（Exercise I.3.19）として掲載されています。
ただの演習問題が解けただけで何を騒いでるの？
39:１３２人目の素数さん
26/07/26 14:48:31.95 GAZVSuj5.net
>>38
解けた？
40:１３２人目の素数さん
26/07/26 14:59:30.53 lrDPWBzw.net
2変数の場合は依然として未解決
ポアンカレ予想も高次元が先に解けて3次元が本丸として残った
41:１３２人目の素数さん
26/07/26 16:00:52.48 GAZVSuj5.net
>>36,38
鬼の首は取れた？
42:１３２人目の素数さん
26/07/27 01:14:27.89 ZGf8DfVE.net
R^2からR^2の多項式写像で、ヤコビアンは各点で正でありながら単射ではない例がある
最初に構成された例ではヤコビアンの下界が0だったが、後に各点のヤコビアン>εとなるε>0が存在するような例が構成された
URLﾘﾝｸ(www.dm.ufscar.br)
43:１３２人目の素数さん
26/07/29 19:02:13.02 Qzo7NHHU.net
3次元のポアンカレ予想ってペルレマンによって既に解かれたのじゃなかった？
44:１３２人目の素数さん
26/07/29 19:08:07.70 1shV38D4.net
だね
45:１３２人目の素数さん
26/07/29 20:08:19.26 eiA0p9Dm.net
反例が見つかったら、次は必要十分条件を求めること
だが実際は放置される事が多い
46:１３２人目の素数さん
26/07/29 20:21:05.64 /Y25x5rA.net
元手にする三次式を高次にすればいくらでも反例作れるみたいね
47:１３２人目の素数さん
26/07/30 18:55:21.93 9qqxShcG.net
もしかして一流の数学者になるにはAnthopicやOpenAIに入社して無制限最先端モデルを使うって時代になるのか
48:１３２人目の素数さん
26/07/30 19:59:58.64 kg3CqsX2.net
ティマーマンなら最低でも年俸数億クラスの契約だろうな
49:１３２人目の素数さん
26/08/03 07:32:14.86 u61Le9Yc.net
シャファレヴィッチは
2次元の場合は正しいかもしれないが
３次元では反例があるだろうと
予想していたそうだ