Crypto Briefing

Math AI startup Axiom Math gets algorithm-generated proofs into peer-reviewed journals

Axiom Math's AxiomProver AI system gets algorithm-generated proofs published in peer-reviewed journals, a first for the $1.6B ...
note

アルゴリズム検証のためのComparatorとデータ生成手法

みなさんこんにちは！ワンキャリアのOCC（ONE CAREER CLOUD）チームで開発エンジニアを担当しているJustin（Github：justin3-1）です。 今回はアルゴリズム検証に欠かせない「Algorithm Comparator」について、実際にコードを書いて動かしながら、使い方や検証用のデータ ...
ExtremeTech

Google Fed a Language Algorithm Math Equations. It Learned How to Solve New Ones.

Computers fail at even simple math more often than many of us realize and that flaw is rooted in the architecture of the machines themselves. Using machine learning, Google might have discovered a way ...
マイナビニュース

暗号アルゴリズム「SHA-1」の廃止を発表、NIST

米国国立標準技術研究所(NIST: National Institute of Standards and Technology)は12月15日(米国時間)、「NIST Retires SHA-1 Cryptographic Algorithm｜NIST」において、暗号アルゴリズム「SHA-1」を廃止すると伝えた。SHA-1の暗号ハッシュ関数はすでに脆弱と評価されており米国政府機関 ...