AIニュース 2026.10.01 Claude、理論物理の9-loop計算を達成。AI科学研究は“発見”から“計算労働”まで拡大 ANTHROPIC / AI FOR SCIENCE / 2026.09.25 Claude… 続きを読む→
AIニュース 2026.09.09 OpenAIはナビエ–ストークス問題を解決した?AI証明・Lean検証と最新の争点 OpenAIはナビエ–ストークス問題を解決したのでしょうか。2026年9月8日にAI生成の証… 続きを読む→