“Erdos problem #728 was solved more or less autonomously by AI”

Published: 1 week ago (January 9, 2026 at 05:39 PM EST)

1 min read

Source: Hacker News

Source: Hacker News

Metadata

Article URL: https://mathstodon.xyz/@tao/115855840223258103
Comments URL: https://news.ycombinator.com/item?id=46560445
Points: 198
Comments: 139

Back to Blog

AI models are starting to crack high-level math problems

Since the release of GPT 5.2, AI tools have become inescapable in high-level mathematics....

Erdos problem #728 was solved more or less autonomously by AI

Article URL: https://mathstodon.xyz/@tao/115855840223258103 Comments URL: https://news.ycombinator.com/item?id=46560445 Points: 129 Comments: 67...

[Paper] Do explanations generalize across large reasoning models?

Large reasoning models (LRMs) produce a textual chain of thought (CoT) in the process of solving a problem, which serves as a potentially powerful tool to under...

[Paper] Building Production-Ready Probes For Gemini

Frontier language model capabilities are improving rapidly. We thus need stronger mitigations against bad actors misusing increasingly powerful systems. Prior w...

Metadata

Related posts

AI models are starting to crack high-level math problems

Erdos problem #728 was solved more or less autonomously by AI

[Paper] Do explanations generalize across large reasoning models?

[Paper] Building Production-Ready Probes For Gemini