it.xnews.jp

API

Factorio の品質システムを数学で解く 2026-09-30
factoriogame-designmathematics
クレイ数学研究所、2026年の数学賞を発表 Clay Mathematics Institute · 2026-09-12
mathematicsawardsclay-mathematics-institute
数学者25人がAIの数学問題解法に懸念表明 2026-09-11
mathematicsaialignment
OpenAIがナビエ–ストークス問題を未発表モデルで解決、研究チームが「横取り」と指摘 Simon Willison’s Weblog · 2026-09-09
mathematicsaiopenairesearch-ethics
休暇を使った「脳の衰退」からの回復 2026-09-07
cognitive-declinereadingmathematicspersonal-developmentvacation
Claudeが11日間でフェルマーの最終定理をLeanで完全に形式化 2026-09-04
formal-verificationartificial-intelligencemathematics
地球上で陸地や水を避けて進む最長経路の計算手法 arXiv.org · 2026-08-30
mathematicsoptimizationgeography
発散定理を用いた高速体積計算アルゴリズム 2026-08-28
volume-computation3d-graphicsmathematics
線形代数テキスト『Linear Algebra Done Right』第4版、5言語で利用可能に 2026-08-17
linear-algebramathematicsopen-accesstextbook
AIが数学者を「出し抜く」のは推論力ではなく記憶容量 PifferPilfer · 2026-08-15
artificial-intelligencemathematicsworking-memorycognitive-sciencelanguage-models
自然数の部分集合の格子は豊かな構造を持つ Joel David Hamkins · 2026-08-13
lattice-theoryorder-theoryset-theorymathematicsmathematical-logic
LLMが得意とする数学の領域とは Gowers's Weblog · 2026-08-12
llmmathematicsai-capabilities
あらゆる次数の魔法六角形が存在することを証明 gukov.dev · 2026-08-09
magic-hexagonsmathematicsaicombinatorics
ハンナ・フライ教授、リーラヴァティ賞を受賞——数学の公開普及への貢献 2026-07-25
mathematicsscience-communicationleelavati-prizehannah-frypublic-engagement
AI コーディングエージェントでテレンス・タオの古い Java アプレットを現代化 What's new · 2026-07-12
ai-coding-agentsmathematicsvisualization-tools
OpenAIのモデルが離散幾何学の中心的予想を反証 OpenAI · 2026-05-20
artificial-intelligencemathematicsdiscrete-geometry