Hacker News

AHMがOpenAIによる10月6日の数学文書公開に関する声明を発表した

News reported that OpenAI retracted three mathematics papers.

Claude Codeを活用することで、これまで存在が知られていなかった惑星を発見した可能性があると主張する記事

OpenAIがGitHubの数学リポジトリを更新し、6つの新しいLean形式化、19件の修正、3件の取り下げを実施した

• •リポジトリには6つの新しいLean形式化と19件の修正が追加された
• •3つの数学的結果が取り下げられた
• •トップラインの結果の約42%が形式化済みとなった

An article critiques OpenAI's Math 1.0 and argues for Math 2.0, which evaluates mathematical progress beyond just problem-solving.

• •Math 1.0 prioritized solving unsolved problems, but its optimization has reached an unsustainable stage.
• •Math 2.0 proposes reducing the focus on live problem-solving in favor of exposition, community building, and exploring new research fields.
• •The author believes AI can contribute positively to all these aspects of mathematical progress.

Claude CodeやCodexなどのAIコーディングサブスクリプションの残量管理をmacOSメニューバーで可視化し、リセットまでの持続性を予測・助言するツール

• •Claude Code、Codex、Antigravity、CursorなどのAIコーディングツールに対応している
• •サブスクリプションの残量がリセット時刻まで持続するかを判断し、持続しない場合の改善策を提示する
• •macOSのメニューバーに常駐して利用状況を管理するペース管理ツールとして機能する

音楽ストリーミングのボット農園運営に関与した米国人男性が、連邦裁判所で刑務所判決を受けた事件について報じられている

• •北カロライナ州の男性がボットによる音楽ストリーミング操作に関与したとして起訴された
• •米国司法省のサイトから事件の詳細が確認できる
• •Hacker News上で41ポイントと66件のコメントが寄せられている

DeepSeek 4.1 Flashに関する業界の反応が鈍い理由について、議論や見解、文書、不人気な意見などが紹介されている

• •DeepSeek 4.1 Flashに対する業界の反応が低い理由について言及されている
• •記事は考えや議論、文書、不人気な意見などを扱う内容となっている
• •具体的な技術的詳細や業界の具体的な反応内容は記述されていない

Rumors spread that a robot solved a mathematical problem being worked on by complexity theory researcher Dana Moshkovitz, sparking discussion within her household.

• •Complexity theory researcher Dana Moshkovitz was working on a specific mathematical problem.
• •Rumors spread that a robot had solved the problem.
• •Her nine-year-old son told his researcher mother about the rumor and teased her.

A 2016 article titled "As We Become Cameras" has been shared, suggesting reflections on how camera and surveillance technologies affect human behavior and society.