A recent AI paper explores how formal systems can potentially revolutionize math LLMs, addressing fundamental logic and computation challenges. It combines structured logic with abstract mathematical reasoning. Simultaneously, Bitwise is seeking approval for a Bitcoin Standard Corporations ETF, tracking companies holding over 1,000 BTC. There are varying opinions if the US will adopt a Bitcoin standard.