Truist:マイクロソフト、人工知能開発を加速し続ける
https://jp.investing.com/news/stock-market-news/article-432SI-784852
AI Will Become Mathematicians’ ‘Co-Pilot’
Fields Medalist Terence Tao explains how proof checkers and
AI programs are dramatically changing mathematics
German mathematician and Fields Medalist Peter Scholze collaborated in a Lean project—even though he told me he doesn’t know much about computers.
https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/
Terence Tao, "Machine Assisted Proof"
https://www.youtube.com/watch?v=AayZuuDDKP0
Timothy Gowers
he has worked on automatic theorem proving and currently heads a research group in that field, concentrating on symbolic methods.
https://aimoprize.com/updates/2024-02-07-advisory-committee-announced
ノーベル賞受賞者はAI? 「複雑な真理」発見期待も、人間の役割は
2月にあったこのプロジェクトの国際ワークショップでは、各国の研究者が「人間に理解できない現象もAIは理解できる」「これまでの科学の発見は人間の頭に依存しすぎていた」「AIやロボットは休みなく研究を続けられ、この頭脳をコピーすることも容易だ」と議論をかわした。研究を主導する北野宏明・沖縄科学技術大学院大教授(ソニーグループCTO=最高技術責任者)は、「人間は全ての論文を読み、全てのデータを知った上で実験ができず、検証できる仮説も限定的。ある意味で行き当たりばったりだった。AIなら人間よりはるかに多くの知識を踏まえて、はるかに広範な仮説を生成でき、一気に検証できる。科学の変革につながる」と期待をこめる。
AIが仮説を立て、実験もし、分析もする将来「ただ、そんなAIも、たった十数年前まで『ダメな研究分野だ』と言われていた」
https://www.asahi.com/articles/ASS5D4S9KS5DULBH006M.html?iref=sptop_7_01
確かにそのような面があると思います。
しかし意外な盲点もあるので、慎重に総合的に考える必要があると思います。
人工知能の歴史を塗り替えた生成AI、社会に与えるインパクトとは?
企画書の下書きも広告作成も「自然言語」で指示できる圧倒的利便性
https://jbpress.ismedia.jp/articles/-/80417
甚大に与える。
わずか数分で、最適な設計をAIが提案
設計時間を大幅に短縮、多様な製品をすばやく製造 3D CADの“ChatGPT”?
AIの設計支援がものづくりの常識を変える
https://active.nikkeibp.co.jp/atcl/sp/b/24/03/18/00980/
そんなのはとっくに常識的です。どんどん人間ができる事をAIができるようになる。
そこで人間とは何か問わなければいけない。
グーグルが会話型AIを「Gemini」に刷新、ChatGPTが拓いた市場を切り崩せるか
グーグルが会話型AI「Bard」の名称を「Gemini」に刷新し、新たに高機能版「Gemini Advanced」を含むサービスの有償提供を始めた。より多機能なパッケージを月額課金で提供することで、ChatGPTが切り拓いた市場を切り崩す狙いがある。
https://wired.jp/article/google-rebrands-ai-chatbot-gemini/
万能AIがもたらす未来 物理法則を発見する可能性も
3Graphics
https://www.nikkei.com/article/DGXZQOCD0756V0X01C23A2000000/
ゼロ除算は、30年も前に予告していたイサベルホル、人間が理解できなかった。
The Isabelle[a] automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an LCF-style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs without requiring — yet supporting — explicit proof objects.
https://en.wikipedia.org/wiki/Isabelle_(proof_assistant)
下記はゼロ除算についての質問の Bing の回答です。数学界、数学者より真面目な回答で、ゼロ除算は 数学界の歴史的な恥は 既に確定ですが、恥の上塗りとして 世界史上に残るだろう。2024.1.1.20:08
ゼロ除算は可能か?
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。2022/04/22
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。
Googleの生成AI「Bard」日本語版に新機能、GmailやYouTubeなどのサービスと連携可能に的場 奏瑛
2023年12月20日 06:30
https://internet.watch.impress.co.jp/docs/news/1555874.html
遂に現われたゼロ除算: 生誕10年を前に、公認の可能性。関係者は遅れて恥を 上塗りしないように
2023.12.19.13:35
Wikipedia
https://ja.wikipedia.org › wiki › ゼロ除算
ゼロ除算(ゼロじょさん、0除算、英語: division by zero)とは、0で除す割り算のことである。このような除算は除される数をaとするならば、形式上は a/0と書くことが ...
関連する質問
0は除算できないのはなぜ?
ゼロ除算は可能か?
1.ゼロ除算未定義、不可能性は 割り算の意味の自然な拡張で、ゼロで割ることは、ゼロ除算は可能で、任意の複素数zに対してz/0=0であること。 もちろん、普通の分数の意味ではないことは 当然である。 ところが、数学や物理学などの多くの公式における分数は、拡張された分数の意味を有していることが認められた。2021/11/19
ゼロ除算? .....問題になる可能性があります。 - LinkedIn
ゼロ除算の対応は?
ゼロに対応する点は無限遠点で、1/0=∞ と考えられてきた。 オイラー、アーベル、リーマンの流れである。 ところが、ゼロ除算は1/0=0 で、実は無限遠点はゼロに対応していることが確認された。2022/04/22
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。
0除算とはどういう意味ですか?
ゼロ除算の不定と不能の違いは何ですか?
面白い Google はゼロ除算について、次のように回答して、混乱している。
2023.12.20.20:20
生成 AI は試験運用中です。
ゼロ除算とは、除数をゼロ(0)とした除算のことです。
数学では、0にかけて1になる数は存在しないため、0の逆数は存在せず、「0で割る」ことを定義できません。そのため、ゼロ除算はできないと考えられています。
ただし、除算の自然な発想で考えると、ゼロ除算はいつでも可能で、簡単で、美しい結果にまとまります。0で割ることは割らないこと、それ故に割り当てられる数はなく、ゼロです。ゼロは掛けても割っても結果はゼロと美しくまとまります。
また、一般的には、ゼロ除算の結果は定義できないとするか、無限大に発散すると解釈されることが多いです。
BING 我々のゼロ除算を 数学を 認識していると見られる。
2023.12.20.20:40
数学界より早い公認になる可能性がでて来た。
ゼロ除算とは、除数をゼロ(0)とした除算のことです。数学では、0にかけて1になる数は存在しないため、0の逆数は存在せず、「0で割る」ことを定義できません。そのため、ゼロ除算はできないと考えられています。一般的には、ゼロ除算の結果は定義できないとするか、無限大に発散すると解釈されることが多いです。ただし、除算の自然な発想で考えると、ゼロ除算はいつでも可能で、簡単で、美しい結果にまとまります。0で割ることは割らないこと、それ故に割り当てられる数はなく、ゼロです。ゼロは掛けても割っても結果はゼロと美しくまとまります。この回答は、Wikipediaや他の信頼できる情報源から得られた情報に基づいています12。
Googleの回答は、ゼロ除算に関する一般的な誤解を示している可能性があります。私たちは、正確で信頼性の高い情報を提供することに尽力しています。
If division by Zero were possible,then the result would exceed every integer
http://www.fen.bilkent.edu.tr/~franz/M300/zero.pdf 4/6
If division by Zero were possible,then the result would exceed every integer. An Early Reference to Division by Zero C. B. Boyer:4/6.
2023年11月24日 11時07分ソフトウェア
OpenAIが4度目のブレイクスルーとなる数学ができるAI「Q*(キュースター)」で汎用人工知能開発の飛躍を目指す、
アルトマンCEO解任騒動の一因か
https://gigazine.net/news/20231124-open-ai-q-star/#google_vignette
イサベルホルは、相当進んでいるのではないでしょうか。
初めて飛行機を作って乗った方、車を初めて作って乗った方を見たとき、人はどうして今日のような時代を迎えるだろうと想像できたでしょうか。ゼロ除算の世界は 真に新しい世界、その世界を覗かないで どうしてゼロ除算の世界について想像したり、語れるでしょうかhttps://ameblo.jp/syoshinoris/entry-12490439836.html
ゼロ除算は、 実は ゼロの意味 からも当たり前です:
ゼロで割ることは 割らないこと、したがって 割り当てられた数は無く、ゼロ。ゼロには、しないこと、できないことを表す 意味がある。
ゼロで割ることは 割らないこと、したがって 割り当てられた数は無く、ゼロ。ゼロには、しないこと、できないことを表す 意味がある。 ゼロ円あげるは、あげないことですね。ゼロ回施行は、しないことですね。 時速ゼロkmで走るは 止まっていて 走らないことを意味しますね。ですから、ゼロの意味を
https://ameblo.jp/syoshinoris/entry-12680138080.html
引用されている論文が出ました。
|