数学者の業務を置き換える可能性のあるAIツール
| ロゴ | ツール名 | できること |
|---|---|---|
 | Aristotle ↗Harmonic | 英語で与えた問題を一から証明し、Lean で形式化するAIエージェント。出力は機械で検証された証明を伴う。 |
 | Wolfram AI Assistant ↗Wolfram | 自然言語の指示から Wolfram Language の計算コードを作り、数式の処理や計算の実装を手伝う。 |
数学者の雇用の変化
この仕事に触れた雇用の変化は、まだ記録にない。
AI失業と、仕事のこれから。
| ロゴ | ツール名 | できること |
|---|---|---|
| Aristotle ↗Harmonic | 英語で与えた問題を一から証明し、Lean で形式化するAIエージェント。出力は機械で検証された証明を伴う。 |
| Wolfram AI Assistant ↗Wolfram | 自然言語の指示から Wolfram Language の計算コードを作り、数式の処理や計算の実装を手伝う。 |
この仕事に触れた雇用の変化は、まだ記録にない。