AI
Claude、フェルマー最終定理を11日で形式化
AnthropicのClaudeがフェルマー最終定理の計算機検証済み証明を11日で生成。Leanで1300万行を記述した。
AnthropicのClaudeがフェルマー最終定理の計算機検証済み証明を11日で生成。Leanで1300万行を記述した。
数式で描く回転模様が音を生み出すブラウザベースのインタラクティブ・ツール。パラメータ調整で個性的なジェネラティブ音楽が可能だ。
高度な数学的推論が可能になったAIは、数学者の役割と数学そのものの意味を問い直している。UCLAのテレンス・タオ教授は、人間とAIが役割分担する「大数学」への変革を提唱する。
当サイトでは、アクセス分析や広告配信のためにCookieを使用しています。「同意する」をクリックすることで、Cookieの使用に同意いただいたものとみなします。詳細はプライバシーポリシーをご覧ください。