オープンソースのコーディング支援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/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は物理学、数学、生物学で博士課... 続きを読む

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

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

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

数学を解ける言語モデル「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）さん。今回は... 続きを読む

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

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は絶対大丈夫！！」って力説してチャート式見せたら「なんだ！確かに今ならできるかも！やってみたい！」とその場でチャート式をポチってて激アツ展開だっ... 続きを読む

ゲーム作りとかCGに関わる数学③(中級) - Qiita

2024/06/17 20 users Qiita ゲームプログラミング 微分積分 初歩 中級

ゲーム作りとかCGに関わる数学(初歩)③ この辺から、理系の高校～大学教養課程くらいのレベルの話になってきます。ちょ～っと難しいかもしれないけど頑張りましょう。 微分積分 ここは実は微分積分をやってくださいというリクエストがあったので入れてみました。 人によっては「え？ゲームプログラミングに微分積分とか使... 続きを読む

２時間で絵が上達したのはAIのおかげ。その方法と描いた絵の紹介｜rimi

2024/06/16 462 users デモ AI絵 家庭教師 イラスト 先生

こんにちは、rimiです。AIが数学の家庭教師になるというデモを見て、「イラストの先生にもなってもらえるのでは？」と思い、やってみました。 結果は記事サムネの画像で、自分としては素敵に描けたと思っています！！！（AI絵ではなく、私が自分の手で描いたものです） この記事では、具体的にどうAIを使ったのかご紹介... 続きを読む

数学の「＝」（等しい）とはどういうことか？　英ICL教授が発表　「コンピュータの登場で定義が曖昧に」

2024/06/09 204 users コンピュータ 定義 発表

このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさん... 続きを読む

統計検定®︎準１級は実務で役に立つのか？

2024/05/28 335 users 実務 統計検定 準1級 廣田 結論

タイトルの結論は、「役に立つ」です。 役に立つか立たないかの議論は一切せず、本記事では、如何に統計や数学が実社会で役に立つかを紹介します。 はじめに こんにちは。ZENKIGENデータサイエンスチーム所属の廣田です。原籍はオムロンソーシアルソリューションズ株式会社 技術創造センタですが、社外出向でZENKIGENに... 続きを読む