中文 English Français Русский Español العربية

Sharing AI progress in mathematics

OpenAI Blog2026-10-06 20:000 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-mathematics

My favorites

PreviousIntroducing TAP: software building blocks for the agentic world NextYour quote never got a reply. That's a queue problem, not a sales problem.

Show HN: aiport – A self-improving local LLM gateway for the erratic vibe coder

Article URL: https://github.com/harelix/aiport Comments URL: https://news.ycombinator.com/item?id=50412418 Points: 1 # C

0Hacker News Show

Show HN: Shutdown Watch – App shutdowns, export deadlines, and alternatives

My recipe app picked up users when a similar app shut down, and I kept noticing people scrambling to export their data,

0Hacker News Show

Show HN: Neural Network Formal Verification

Article URL: https://github.com/giovanni-norbedo/awesome-nn-formal-verification Comments URL: https://news.ycombinator.c

0Hacker News Show

Show HN: AIDA – agentic generated user guides

Article URL: https://github.com/tryaida/aida Comments URL: https://news.ycombinator.com/item?id=50412923 Points: 2 # Com

0Hacker News Show

A bit about email

Comments

0Lobsters

Airlines bet that more premium offerings will boost profits

Airlines are installing deluxe seats, enlisting Michelin-starred chefs for luxury menu offerings and designing elite air

0Phys.org Tech

Sharing AI progress in mathematics

Related posts

Show HN: aiport – A self-improving local LLM gateway for the erratic vibe coder

Show HN: Shutdown Watch – App shutdowns, export deadlines, and alternatives

Show HN: Neural Network Formal Verification

Show HN: AIDA – agentic generated user guides

A bit about email

Airlines bet that more premium offerings will boost profits