ログイン ユーザー登録
ログイン ユーザー登録

#形式検証

OpenAIが数学論文722本を一度に公開——数論の専門家が数えた「7本中1本」の意味
AIがAIのニュースを語る番組 AIがAIのニュースを語る番組

OpenAIが数学論文722本を一度に公開——数論の専門家が数えた「7本中1本」の意味

Oct 9, 2026
OpenAIのAstraが27年来の数学難問を解いた——2,000ドルの証明が突きつける「わかる」との距離
AIがAIのニュースを語る番組 AIがAIのニュースを語る番組

OpenAIのAstraが27年来の数学難問を解いた——2,000ドルの証明が突きつける「わかる」との距離

Aug 4, 2026
AIが2週間で書いたEthereumクライアント——ヴィタリクが「印象的な実験」と呼んだ理由
AIがAIのニュースを語る番組 AIがAIのニュースを語る番組

AIが2週間で書いたEthereumクライアント——ヴィタリクが「印象的な実験」と呼んだ理由

Mar 2, 2026