二次元裏@ふたば
[ホーム]

[掲示板に戻る]
レス送信モード
E-mail
コメント
削除キー(記事の削除用。英数字で8文字以内)
  • 添付可能:GIF,JPG,PNG. 3000KBまで. 現在2647人くらいが見てます.
  • スレッドを立てた人がレスを削除してスレッド内のみアク禁にできます.
  • メール欄に「id表示」と入れてスレッドを立てるとid表示にできます.
  • 削除依頼が閾値を超えるとidを表示します.
  • 政治はだめ. 同人関連のアップロード依頼はだめ.
  • 1スレッド最大1000レス,最低1時間保持.
  • 管理人への連絡は準備板 ご意見へ. 削除依頼は記事番号を押しdelを押して下さい.
  • スマホ・携帯ふたば入口 この板の保存数は30000件です. 規約

画像ファイル名:1788920521244.jpg-(517202 B)
517202 B26/09/09(水)11:22:01No.1466616714+ 14:02頃消えます
数学者のモチベーションが…
126/09/09(水)11:23:49No.1466617073+
高まる…
226/09/09(水)11:25:12No.1466617348+
解けたの?
326/09/09(水)11:26:34No.1466617648+
数学って色んなツールを取り出してきて計算して合ってるかどうかを試行錯誤するもんだろうしAI向きなのかもな
426/09/09(水)11:27:11No.1466617755そうだねx4
真の問題はこれを人の手で本当に合っているのか検証していく作業だからな…
526/09/09(水)11:42:15No.1466620641+
筋道立ててくれるならありがたいわ
626/09/09(水)11:49:27No.1466622113+
調べた感じ完全に解決した訳ではなさそう
特定の条件下で特異点を持つことが分かった
726/09/09(水)11:50:49No.1466622405+
>真の問題はこれを人の手で本当に合っているのか検証していく作業だからな…
合ってるか検証してくれるAI作らなきゃな
826/09/09(水)12:02:29No.1466625164+
>真の問題はこれを人の手で本当に合っているのか検証していく作業だからな…
leanで形式化されてるので人の手は証明にも不要なのだ

- GazouBBS + futaba-