オープンソースのコーディング支援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 数学特化 Blog

中国の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... 続きを読む

だからぁ！！ 俺は数学苦手なんだけどお前ら教え方クソなんだよ！ 例えばな..

2024/08/10 230 users 面積 半分 計算 縦×横 三角形

だからぁ！！ 俺は数学苦手なんだけどお前ら教え方クソなんだよ！ 例えばな！ 三角形の面積の計算！ 縦×横×高さ÷2 これはなんなんだよ！ って意味不明だろ！？ だけどな 三角形を2つ組み合わせると四角形になる！ つまり四角形を半分にしたものが三角形だ！ だから÷2が入るんだ！ って教えないじゃねーか！ 四角形半分こ... 続きを読む

「みんな頭いいな」　矛盾してしまう数学の難問を解決する“秀逸な方法”が続々、どれもトンチ力が試される

2024/08/09 128 users 難問 YouTube パラドックス みんな頭 仕方

文章の中に書いてある数字がいくつ含まれているのか考えると矛盾してしまう問題が話題となり、パラドックスを解決するさまざまな“秀逸な方法”が寄せられています。数学力よりもトンチ力が試されています？ 動画を投稿したのは、YouTubeに勉強の仕方などを投稿しているグレートティーチャー目黒（@gtMEGURO）さん。今回は... 続きを読む

コード生成・数学・推論の能力が大幅に向上した「Mistral Large 2」をMistral AIがリリース

2024/07/25 5 users 推論 Mistral Large コンテキストウィンドウ

フランスのAI開発企業・Mistral AIが、新世代の主力モデル「Mistral Large 2」を2024年7月24日に発表しました。Mistral Large 2は、コード生成、数学、推論能力が大幅に向上したほか、128kのコンテキストウィンドウを持ち、数十種類の言語やプログラミング言語にも対応しています。 Large Enough | Mistral AI | Frontie... 続きを読む

【格差社会】数学の例文にお金を使うと「貧困層の子供」は成績が下がる - ナゾロジー

2024/07/21 100 users ナゾロジー マーストリヒト大学 例文 オランダ 貧困層

日本には義務教育があり、子供たちは家庭環境や収入の違いにとらわれず、教育を受けることができます。 低所得者層だとしても意欲的に学ぶなら、教育の益を十分に得て、成績を高めることができるはずです。 しかし、こうした考えは現実的ではないのかもしれません。 オランダのマーストリヒト大学（Maastricht Universit... 続きを読む

OpenAIが新型人工知能「Strawberry」プロジェクトを密かに推進、以前「Q*」とリークで呼ばれていた数学が解けるAI

2024/07/14 11 users strawberry OpenAI AGI tech リーク

汎用人工知能(AGI)の研究に画期的な進歩をもたらすかもしれないとウワサされるOpenAIのAI開発プロジェクト「Q*(キュースター)」が、社内で積極的に取り組まれていることが伝えられました。 Exclusive: OpenAI working on new reasoning technology under code name ‘Strawberry’ | Reuters https://www.reuters.com/tech... 続きを読む

数論・代数幾何・表現論が紡ぐ数学の世界 | NTT技術ジャーナル

2024/07/06 218 users センタ 本稿 源泉 世界 全体像

NTT基礎数学研究センタでは、数学の基礎研究をとおして科学技術の源泉である「知の泉」をより豊かにしたいと考えています。本稿ではまず、NTT基礎数学研究センタでの研究の全体像を俯瞰します。さらに、センタの中心的な研究領域である「数論、特に数論力学系」「代数幾何・数論幾何」「表現論・保型形式」について紹介... 続きを読む

数学が苦手だったという後輩に「脳みそが発達しきってなかっただけ！あなたの賢さがあれば今なら絶対わかる！」って力説したら激アツ展開だった

2024/07/07 23 users 脳みそ 激アツ展開 後輩 賢さ チャート式

きつね @wreck1214 ずっと数学が苦手だったという後輩に「中高生の時に脳みそが発達しきってなかっただけ！あなたの賢さがあれば今なら絶対わかる！少なくとも数IAは絶対大丈夫！！」って力説してチャート式見せたら「なんだ！確かに今ならできるかも！やってみたい！」とその場でチャート式をポチってて激アツ展開だっ... 続きを読む