OpenAI's new model has produced an original proof disproving a prominent open problem in geometry, as claimed by the company. This achievement marks the first time AI has autonomously solved a central problem in mathematics. The model's capabilities have broad implications for various fields, including biology, physics, and medicine.
Why it matters
This achievement highlights AI's growing potential to make breakthroughs in mathematics and other fields, with significant implications for various domains of research and application.
Community talk
OAI researcher on Erdos problem: “This is the biggest deal in the history of AI so far. And it will look like a small deal at the end of the year.” (Buckle up)
Backprop-free Pong: PC + distributional Hebbian plasticity vs. PPO: 57% vs. 59%, ~1500 lines from scratch [P]
Have you actually used 256K/1M context for messy workflow inputs?
What do you think about Tabular Foundation Models [D]