「wolfram alpha」を含む日記

■LLMから外部ツールへの接続

アメリカの某物理学者がo1モデルに対して嫌味ったらしく、AIが苦手なタスクを解かせて失敗させて「これがPhDレベルｗｗ」と煽っていた

そもそも、AIがなぜ具体的な知識問題や計算問題が苦手かというと、言語推論で解ける範疇を超えるから

わかりやすい例が線型計画法である

AIに線型計画法を要する応用数学の問題を定式化せよと言えば、見事にモデルを完成させるだろう

しかし具体的な計算をせよと言えば、失敗するのが目に見えている

つまり言語推論はアルゴリズムの実行能力が弱い

この「アルゴリズムの実行」の部分を、wolfram alphaやgurobi optimizerなどの代替ツールの入出力に置き換え、AIがツールを使えるようにすればもっと高度なことができるようになるだろう

プログラミング言語の入出力を直にAIが使えるようにする方法もある

十分な長さの入出力と記憶を保持できるなら、AIに好きなものを自動的に作らせることも可能になる

実用面から言えば、Leanのような言語へ入出力できるAIがあれば、より厳密な数学的定式化が可能になる

Permalink | 記事への反応(1) | 13:08

ツイートシェア

■0の0乗

0の0乗 - Wikipedia

https://ja.wikipedia.org/wiki/0%E3%81%AE0%E4%B9%97

0 の 0 乗（れいのれいじょう）は、累乗あるいは指数関数において、底を 0、指数を 0 としたものである。その値は、代数学、組合せ論などの文脈ではしばしば 1 と定義される[注 1]一方で、解析学の文脈では二変数関数 xy が原点 (x, y) = (0, 0) において連続とならないため定義されない場合が多い。

Google

Google電卓は1

https://www.google.com/search?q=0%5E0

Wolfam Alpha

Wolfram Alpha先生は(未定義)

https://ja.wolframalpha.com/input?i=0%5E0

Permalink | 記事への反応(0) | 07:51

ツイートシェア

■昔は、仕事になったけど、今じゃ誰でも出来ること

• 方程式を解く、単位を変換する.　--→ wolfram alpha, casio 計算
• メールサーバを立てて、運用。--→ フリーアドレス
• ストレージサーバを立てて、運用。--→大容量NAS
• 幹事の飲み会日程調整。　--→ 調整さん
• 手書きの文字を、入力　--→OCR、Evernote

Permalink | 記事への反応(0) | 14:34

ツイートシェア

■Wolfram alphaよ、いいのかそれで

y=x^2

上の式は放物線であるが、この式の両辺をyで割った下の式

x^2/y=1

と入力すると放物線ですよ、と言ってしまうのはどうか。

計算はしっかりできているのになぜ放物線だと判定しているんだろう？

Permalink | 記事への反応(1) | 14:04

ツイートシェア

■

Wolfram Alphaで計算してみた

http://m.wolframalpha.com/input/?i=sinh(x)sin(y)%3D2a%2Ccosh(x)cos(y)%3D2b&incCompTime=true

anond:20161203112456

Permalink | 記事への反応(0) | 16:28

ツイートシェア

■http://anond.hatelabo.jp/20140325222402

Wolfram Alphaがもう少し賢くなったら数学にめっちゃくちゃ強い助手をタダで雇っているような状況になる。

数学者は苦労なく定理を発見できるようになるさ。

残念ながら、数学者ってのはお前の想像を絶する様なレベルで生きてるのでそんなものは全く意味が無い。

Permalink | 記事への反応(0) | 22:28

ツイートシェア

■http://anond.hatelabo.jp/20140325222402

有り得ん。wolfram alphaロクに使ってないだろお前…。

Permalink | 記事への反応(1) | 22:27

ツイートシェア

■http://anond.hatelabo.jp/20140325221912

横だけど実際に急速に簡単になってきているぞ。

Wolfram Alphaがもう少し賢くなったら数学にめっちゃくちゃ強い助手をタダで雇っているような状況になる。

数学者は苦労なく定理を発見できるようになるさ。

そして人類は労働という苦行から解放されるのだ。

Permalink | 記事への反応(2) | 22:24

ツイートシェア

■http://anond.hatelabo.jp/20110228131719

ていうか今時spacetimeとかmathomaticとかのiphoneアプリがあるわけで、リモートログインする必要すらないんだけどね…。

wolfram alphaも数式処理とかできるんだっけ？あれもiphoneアプリある。

Permalink | 記事への反応(0) | 13:27

ツイートシェア

■http://anond.hatelabo.jp/20100522183819

そんなあなたにWolfram Alpha

http://www.wolframalpha.com/

基本的に日本語には対応してないけど、例えばこんな感じ。

http://www.wolframalpha.com/input/?i=Japan

http://www.wolframalpha.com/input/?i=Saitama

http://www.wolframalpha.com/input/?i=CO2

http://www.wolframalpha.com/input/?i=Microsoft

http://www.wolframalpha.com/input/?i=hamburger

Permalink | 記事への反応(0) | 21:10

ツイートシェア

■http://anond.hatelabo.jp/20090523053517

入力された日本語をGoogle AJAX Language APIで翻訳し、Wolfram Alphaで検索します

http://wlfr.iishi.net/

Permalink | 記事への反応(0) | 08:40

ツイートシェア