「Wolfram alpha」を含む日記 RSS

はてなキーワード: Wolfram alphaとは

2024-09-27

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

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

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

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

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

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

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

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

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

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

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

2022-07-01

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

2020-08-17

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

2018-08-13

Wolfram alphaよ、いいのかそれで

y=x^2

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

x^2/y=1

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

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

2014-03-25

http://anond.hatelabo.jp/20140325222402

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

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

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

http://anond.hatelabo.jp/20140325221912

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

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

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

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

2011-02-28

http://anond.hatelabo.jp/20110228131719

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

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

 
ログイン ユーザー登録
ようこそ ゲスト さん