ガロア第一論文と乗数イデアル他関連資料スレ18 (445ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
48(1): 死狂幻調教大師S.A.D.@月と六ベンツ [] 05/29(木)07:53:23.98 ID:XyGsRrHg(4/20)
楠公という神に従ってみませんか世界一おしゃれな文武両道。
89: 死狂幻調教大師S.A.D.@月と六ベンツ [] 05/31(土)14:47:23.98 ID:WPV278Mz(2/5)
美学なんかもレアでストレスに強いな。造形美。かっこいいとかきれいな表現を選ぶと自然とや信仰で存在がそうなっていくとか。建築や自然を好むものもいるだろう、ファッションや下着料理の盛り付け。ライフスタイルの問題だね。異性らしい魅力は。
254: 暇人 [] 06/29(日)08:57:45.98 ID:gukAFALT(3/12)
>>253
>笑われるのは ”あなた”ですよ
いや、あなた 現代数学の系譜 雑談 ◆yH25M02vWFhP
君、一度も、cos 2mπ/n とか i*sin 2mπ/n が、
べき根で表せるなんてこと言及してないよね
一度も、そこ考えたことないよな
要するにガウス以前 １８世紀
そりゃ現代数学全然無理だわ
次、生まれたら 数学と関係ないことやりな
そうすればGrokとの勝負なんかしなくていいから
420(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/10(日)12:28:10.98 ID:f12p+Q2v(1/4)
これ面白い
https://xtech.nikkei.com/atcl/nxt/mag/rob/18/00007/00090/
AI最前線
数学とAI、Terence Taoが語る未来
PFN岡野原氏によるAI解説：第122回
岡野原 大輔 Preferred Networks 共同創業者 代表取締役 最高技術責任者
2025.08.08
現代最高峰の数学者の一人である米University of California Los Angeles教授のTerence Tao（テレンス・タオ）氏は、数論から偏微分方程式、調和解析、組合せ論に至るまで、幅広い分野で世界的な成果を残してきた。
その彼が、AIが様々なことができるようになってきた中で、数学でAIをどのように活用できるのかについてLex Fridman氏のポッドキャストで述べている1）。Tao氏は以前より積極的にAIを数学の研究に使えるかを試している。
ここでは、数学の最前線の分野にAIがどのように使われているのか、今後どのような展望があるのかを通じて、今後のAIがどのように知的作業を必要とする分野で使われていくのかについて論じていきたい。
Lean：定理証明支援系
AIは文献探索や論文執筆校正など、研究活動で多く貢献しているが、ここでは特に数学に特化した例として定理証明支援を説明する。
はじめに、数学の分野における形式証明について説明する。今の数学の証明は自然言語と数式で書かれており、言語の曖昧性と、非常に多くの「行間」を読むことによって証明がされている。このような場合、機械的に証明を検証することは難しく、また、証明を支援することも難しい。そのため、形式証明および定理証明支援システムが注目され、その中でも「Lean」が注目されている。
この記事は日経Robotics購読者限定です。次ページでログインまたはお申し込みください。
次ページ
Lean自体はプログラミング言語であるが、数学の..
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s