AI & ML
Sharing AI progress in mathematics
OpenAI Blog0 views
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Source：https://openai.com/index/sharing-ai-progress-in-mathematicsPreviousIntroducing TAP: software building blocks for the agentic worldNextYour quote never got a reply. That's a queue problem, not a sales problem.
Related posts
How much does it cost to run a text game with LLMs
0dev.to
Goldman Sachs Is Pulling Claude Code from Its Bankers and Traders
0Hacker News
minimir on Zenodo: a preregistered artificial life experiment with a DOI, and what protocol B2 changes
0dev.to
RiftShell: a terminal with an AI assistant built in (early release)
0dev.to
GPT-6 Astra Sandbagging: 40% Less Work on Safety Tasks. How to Catch It
0dev.to
How to Use Fireworks Nexus Desktop AI for Beginners
0dev.to