1:50真夜中まで
JA ▾
Lead illustration from Axiom's announcement of its Lean formalization of the Stacks Project
Axiom
新着 確認済み 科学・数学

Axiom、Stacks Project全体をLeanで形式化して公開 AIエージェント群が約1600万行を構築

約7500ページの代数幾何学の参照文献が機械検証済みの単一ライブラリに。形式化した命題の忠実さは外部の数学者がまだ検証していない。

SNAPE REP RT
版 2026-11-04T1811月04日 18:00 UTCシンギュラリティ、毎時ランキング。
1:50真夜中まで
File photo of Tencent's Binhai Mansion headquarters towers in Shenzhen
Wishva de Silva / Wikimedia Commons (CC BY-SA 4.0)

テンセント、旗艦オープンウェイトモデル「Hy4」を公開 視覚推論に初対応

テンセントはHy4を最も強力なオープンウェイトモデルの一つとする一方、研究レベルの数学や長期的なコーディング、高度な視覚的質問では主要なクローズドモデルに及ばないと認めた。

File photo of the Texas State Capitol in Austin
LoneStarMike / Wikimedia Commons (CC BY 3.0)

新規データセンター建設の一時停止を公約した民主党のジーナ・イノホサ氏がテキサス州知事選で勝利

テキサス州は2030年までに計画される米国データセンター容量の25%超を占める。夜間取引でCoreWeaveはRobinhood上で7%、SpaceXは6%下落し、ナスダック100先物は0.8%安となった。

アーカイブ · 過去30日間の版
2026年10月29日(木)12:00
2026年10月28日(水)12:00
2026年10月27日(火)12:00
2026年10月26日(月)12:00
2026年10月25日(日)12:00
2026年10月24日(土)12:00
2026年10月23日(金)12:00
2026年10月22日(木)12:00
2026年10月21日(水)12:00
2026年10月20日(火)12:00
2026年10月19日(月)12:00
2026年10月18日(日)12:00
2026年10月17日(土)12:00
2026年10月16日(金)12:00
2026年10月15日(木)12:00
2026年10月14日(水)12:00
2026年10月13日(火)12:00
2026年10月12日(月)12:00
2026年10月11日(日)12:00
2026年10月10日(土)12:00
2026年10月09日(金)12:00
2026年10月08日(木)12:00
2026年10月07日(水)12:00
2026年10月06日(火)12:00
無料。アカウント不要、トラッキングなし。寄付