OpenAI、新たなAIモデル「o3」発表--AGIへ前進、軽量版は1月末公開

2024/12/20 15 users OpenAI コーディング 推論能力 英国 名称

OpenAIは、推論能力を大幅に強化した新しいAIモデル「o3」およびその軽量版「o3 mini」を発表した。複雑な問題解決能力を持ち、科学、数学、コーディングなどの幅広い分野で優れたパフォーマンスを発揮するという。2025年1月末頃に「o3 mini」が、その後すぐに強力な「o3」が登場する。 o3とは 名称は順当なら「o2」とな... 続きを読む

“N/S高研究部の学生2人”が数学の未解決問題を解決か　プレプリントで論文公開

2024/12/12 21 users 未解決問題 プレプリント 論文公開 解決 seamless

このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 N/S高研究部（KdEi研）に所属する横井杏樹さん（高1）と、N/S高研究部アドバイザーで東京... 続きを読む

あなたは解ける？「国際成人力調査」日本“世界トップレベル” | NHK

2024/12/10 25 users NHK 国際成人力調査 世界トップ あなた OECD

社会生活で求められるスキル＝成人力を測る国際成人力調査。 どのように行われ、どのような問題が出されたのでしょうか。 まず調査は、対象者の自宅などでタブレット端末を使って対面式で行われました。情報を活用するスキルを重視し、高度な数学の公式などの知識がないと解けない問題は出されていません。 OECDは実際の... 続きを読む

「無限」に関する新概念。新たな巨大基数を数学者ら提唱、未解決問題「HOD予想」に影響？【研究紹介】 レバテックラボ（レバテックLAB）

2024/12/10 23 users 基数 レバテックラボ レバテックLAB オーストリア 論文

オーストリアのウィーン工科大学、スペインのバルセロナ大学、ドイツのハンブルク大学に所属する研究者らが発表した論文「Large cardinals, structural reflection, and the HOD Conjecture」は、無限に関する概念「巨大基数」について新たな発見をしたとする研究報告である。 ▲論文のトップページ 数学において、無限大... 続きを読む

OpenAI、月3万円「ChatGPT Pro」　最新モデル無制限に - 日本経済新聞

2024/12/05 14 users chat OpenAI シリコンバレー 清水孝輔 人工知能

【シリコンバレー=清水孝輔】米新興企業オープンAIは5日、対話型AI（人工知能）の有料サービスに最上位プラン「Chat（チャット）GPT Pro」を追加すると発表した。料金は月額200ドル（約3万円）と既存の有料プランの10倍となる。数学の問題を解くのに必要な論理的思考力を高めた最新モデルなどを使用量の制限なく提供する... 続きを読む

LLMの思考の性能をモンテカルロ木探索で引き上げる

2024/12/04 12 users LLM 須藤英寿 タスク モンテカルロ木探索 チャット

導入 こんにちは、株式会社ナレッジセンスの須藤英寿です。普段はエンジニアとして、LLMを使用したチャットのサービスを提供しております。 今回は、推論ステップをモンテカルロ木探索を用いて導き出し、複雑なタスク(例えば、数学の問題を解くなど)での性能を大幅に引き上げる手法、「HiAR-ICL」について解説します。 ... 続きを読む

1本の巻物が呼ぶ波乱　江戸の天才数学者、関孝和の実像 - 日本経済新聞

2024/11/24 12 users 関孝和 実像 巻物 リンネ 流派

江戸時代の日本で花開いた「和算」は、関数もグラフもない、学校で教わるのとは全く異なる数学だ。力学ならニュートン、分類学ならリンネと、学問の各分野にはその祖と呼ばれる研究者がいることが多いが、和算で言えば江戸時代前期の関孝和（？〜1708）がその人だった。関は、江戸時代を通じて最大の和算の流派であった... 続きを読む

オープンソースのコーディング支援AI「Qwen2.5-Coder」シリーズの性能はGPT-4oに匹敵、64GBのRAM＆M2搭載MacBook Proでもローカル実行可能

2024/11/14 15 users 匹敵 GPT-4o コーディング支援AI ローカル実行 性能

中国・Alibabaグループが開発する大規模言語モデル(LLM)「Qwen」の研究チームが、コード生成や補完、数学の推論タスクに特化したLLM「Qwen2.5-Coder」の新モデルを2024年11月12日にリリースしました。Qwen2.5-Coderのコーディング機能はGPT-4oに匹敵し、パラメータ数も最大320億で、M2搭載MacBook Pro上でも実行できたこ... 続きを読む

数学の理論を使い「妬みのない」家事分担を実現する | 東京大学

2024/11/13 510 users 家事分担 理論 東京大学

公平な資源配分のアルゴリズムを研究する情報理工学系研究科の五十嵐歩美准教授。「公平性」の概念を数学的に定義して、配分のしかたを数理的に解析する「公平分割理論」を研究してきました。その取り組みが評価され、2021年にMITテクノロジーレヴューの「Innovators Under 35 Japan 2021」に選出。2022年には、一般社団... 続きを読む

東大も震撼した「円周率が3なんて、けしからん」…「計算力の低下問題」をはるかに超える問題「円が正六角形でいいんですか？」（杉山 博宣）

2024/11/06 11 users 杉山 断片 円周率 東大 定義

基本的な数学の知識 基本＝簡単ではありません。 「基本＝各分野の“基"となり、“本”質となるもの」です。そのため、「基本的な数学の知識」を問う問題とは、バラバラな断片の集まりとしての知識ではなく、「定義から積み上げた知識」であるかを問う問題です。 先の記事で取り上げた、2003年の東京大学理科前期で出題され... 続きを読む

美しすぎる。神の言語といわれるLISPは、数学のように純粋で美しいロジックが展開できる言語。オシャレな LISP インタプリタ。 - Qiita

2024/10/27 130 users LISP インタプリタ Qiita プログラマー 夜景

タイトル: 「東京プログラマー　リスプを書かずにはいられない物語」 新宿の夜景を見下ろすカフェで、主人公の大輔は、ノートパソコンに向かって静かにキーボードを叩いていた。彼は東京で働くプログラマー。コードの世界に浸り、特に最近夢中になっているのが関数型言語LISPだった。 LISPは、数学のように純粋で美しい... 続きを読む

いかにして問題をとくか

2024/10/24 159 users 問題 参戦 分野

この記事は、6月28日開催予定 PHPer Tea Night #18 - 技術書オススメバトル への参戦エントリです。 Gポリア著「いかにして問題をとくか」 およそ80年前、「数学」という分野より、この本は出版された。 そして今に至るまで、数学に留まらないあらゆる分野の課題解決本として参照され続けている。 ソフトウェアエンジニ... 続きを読む

読書感想：曲線の秘密 - ネギ式

2024/10/19 14 users 曲線 ネギ式 読書感想 序説 デカルト

図書館で借りた本。 サブタイトルは「自然に潜む数学の真理」だが、作者の掲げるキーワードは「円から楕円へ」である。 たいへん面白く読めた。 曲線の秘密　自然に潜む数学の真理 (ブルーバックス) 作者:松下泰雄 講談社 Amazon 第1章は「曲線を見る、そして何を知る」 デカルトの方法序説は有名だが、序説は序説であり... 続きを読む

親が中卒で文化資本が無く、予備校にも通わず独学で宅浪して東大入って大変だったなぁと思ってたら、同級生はまた違う地獄を見ていた話

2024/10/18 7 users 中卒 叔父 独学 祖父 宅浪

キティー Kitty @kitty_lifehack わい「親は中卒だけど、文化資本ない中で大学への数学とNHKのラジオ英会話とZ会で宅浪して大学来たんご、大変やったんご」 同級生「祖父も父も叔父もみんな東大で現役で落ちた時家族の視線で殺されるかと思った。一浪でも受かってよかった。」 みんなそれぞれの地獄があるんご。 続きを読む

「明日は動物園に行こう」夫が言いだしたが息子は動物園に行く暇があったら数字をやりたがる人間…案の定断られたが夫がそこから教養をみせた話

2024/10/14 161 users 欠片 今朝 教養 数字 動物

778 @rainb0w411 昨日の夜に夫が、明日は動物園に行こうと言い出したとき、何言ってんだ君の息子は動物に欠片も興味がなく動物園に行く暇があったら数字やりたがる人間やぞと思ったのね。でも、本人に聞いてからにしようと答えた。そして今朝、案の定、息子は「動物園いきたくない」と言った訳だけど、それに対して夫が ... 続きを読む

『は？？？？』テストの問題が謎すぎる「なんでこんな速度にしてしまったのだろうか…」「数学と思ったのに現文のテストだったのか」

2024/10/11 87 users 速度 テスト 問題

きっと疲れてるんだろうな 続きを読む

核融合装置を自宅で自作――学生がAIと友人たちの協力によって4週間でプラズマを生成 - fabcross for エンジニア

2024/10/09 12 users プラズマ Anthropic 生成 自作 核融合装置

カナダのウォータールー大学で数学を専攻するHudZah氏は2024年8月24日、自身の寝室で核融合装置を構築し、プラズマを生成したとX（旧Twitter）に投稿した。ハードウェアの組み立てや回路設計の経験がまったくない中、Anthropicの生成AI「Claude 3.5 Sonnet」と友人たちの支援を得て、たった4週間でこのプロジェクトを成... 続きを読む

「君は今すでに中2だけど実は小4の段階で躓いているので、数学ではなく算数からやり直す必要あるんよ」を心を折らず伝えるコミュニケーション能力が求められる

2024/10/05 257 users 算数 Sui_A コミュニケーション能力 段階 病気

病気の豚 @Sui_A 「君は今すでに中2だけど実は小4の段階で躓いているので、数学ではなく算数からやり直す必要があるんよ」を心を折らずに伝えるコミュニケーション能力が求められる 続きを読む

銀行員👱‍♂️「海外赴任の目的は？就業以外では口座作れません」私「博士研究員です」👱‍♂️「研究はお勉強だから仕事じゃないですよ😅」

2024/10/03 11 users 海外赴任 口座 博士研究員 銀行員 研究

田沼りっか, Ph.D. @tkmpkm1_mkkr なんか勘違いしているのかもしれないが、学問を研究するというのは、一般人と議論するのとは流石に人文学どころか、俺達自然科学とか数学やってる人たちでも違うぞ。そういう仕事は別に学者のやることじゃないんだわ。だから給料も出ないし（繰り返し）。 x.com/kapao_chan/sta… Ryutar... 続きを読む

OpenAI、数学的思考力がすごいAIモデル「o1-preview」　深く考えることで難問を解く

2024/09/13 10 users OpenAI strawberry 難問 コーディング 従来

OpenAIが9月12日、「Strawberry」と呼ばれていた次世代AIモデル「o1-preview」をついに発表した。複雑な問題に対してより長い時間をかけて思考し、科学、コーディング、数学などの分野で従来のモデルを凌駕する能力を持つとされている。また、より効率的なコーディング用モデルとして「o1-mini」も同時に発表された。o1-... 続きを読む

ChatGPTに「o1」登場　じっくり考えて賢さアップ、数学オリンピック予選で8割正答　プレビュー版はきょうから

2024/09/12 29 users GPT-4o 思考プロセス 国際数学オリンピック 従来 物理学

o1では従来のモデルのようにユーザーの入力に対して即答せず、考える時間を設けるようになったことで思考プロセスを洗練している。国際数学オリンピックの予備試験で比較したところ、GPT-4oは13％しか正しく解けなかったがo1は83％正答したという。同社によるベンチマークテストでは、o1は物理学、数学、生物学で博士課... 続きを読む

ジャッカード類似度（Jaccard Similarity）／ジャッカード係数（Jaccard Index）とは？

2024/08/28 5 users 尺度 連載目次 集合 統計学 機械学習

連載目次 用語解説 数学／統計学／機械学習におけるジャッカード類似度（Jaccard Similarity）とは、2つの集合が「どのくらい重なり合っているか」の計算値で類似性を表す尺度である。具体的には、「2つの集合の共通部分（＝積集合：∩）」に含まれる要素数を、「2つの集合全体（＝和集合：∪）」に含まれる要素数で割るこ... 続きを読む

公文、75万人分の情報漏えい新たに発覚　子どもの氏名なども　委託先・イセトーのランサムウェア被害で

2024/08/20 25 users 公文 イセトー ランサムウェア被害 氏名 漏えい

発送物の印刷や送付を委託していたイセトーがランサムウェア攻撃を受けた影響で、情報が漏えいした恐れがある件を巡り、公文教育研究会（公文）は8月20日、新たに個人情報など約75万人分の漏えいを確認したと発表した。 漏えいしたのは、（1）2023年2月までに公文で算数か数学、英語、国語を学習した会員の会員番号、利... 続きを読む

「玉音放送を生で聞いた祖母の日記」が昔の書き方で読みにくい→解読班の現代語訳により戦争に対する率直な感想がわかる内容だった (2ページ目)

2024/08/16 5 users 解読班 玉音放送 祖母 戦争 X.com

頑張らない @itsukahaininaru 数学のとき書くyに似たやつは「に」って大学生のとき覚えたけどその時の題材竹取物語だった気がする、、1945年でも使われてたんだな、、 x.com/emyu_colorfulv… emyu: よく喋るバイオリン弾き。 @emyu_colorfulvn 拡散希望 読める方いらっしゃいませんか？ 1945年8月15日 玉音放送を生で聞... 続きを読む

数学を解ける言語モデル「Qwen2-Math」が登場、GPT-4o超えの数学性能

2024/08/10 20 users クローズドソース 数学性能 言語モデル GPT-4o 数学特化

中国のAI研究チームが数学特化の大規模言語モデル「Qwen2-Math」を公開しました。Qwen2-MathはGPT-4oやGemini-1.5-Proなどのクローズドソースの大規模言語モデルをしのぐ数学性能を備えています。 Introducing Qwen2-Math | Qwen https://qwenlm.github.io/blog/qwen2-math/ QwenLM/Qwen2-Math: A series of math-specif... 続きを読む