[過去ログ] 純粋・応用数学・数学隣接分野(含むガロア理論)19 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
380
(1): 01/04(土)09:25 ID:JiQXGw+V(1/2) AAS
これいいね
gigazine.net/news/20241225-ai-frontiermath/
gigazine
2024年12月25日
OpenAIのo3モデルが数学の超難問データセット「FrontierMath」で25.2%のスコアを獲得した衝撃を数学者が語る

インペリアル・カレッジ・ロンドンで純粋数学の教授を務める数学者のケビン・バザード氏が、OpenAIのo3モデルがFrontierMath問題データセットで25.2%のスコアを獲得したことについて解説するブログ記事を投稿しました。

Can AI do maths yet? Thoughts from a mathematician. | Xena
省8
382: 01/04(土)09:55 ID:6lrI3oEN(1) AAS
>>380
> 実際の数学者は計算ではなく証明や証明のためのアイデアを考え出すことにほとんどの時間を使用するため、
> 「計算で数値的な答えを出すことは独自の証明を思いつくことと完全に異なる」
> として数学力の計測に不適だとする数学者も存在します。

計算苦手なポアンカレならそういうだろうな
計算得意なガウスがどういうかは知らない

> しかし証明を採点するのはコストがかかるため、
省4
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.029s