Melanie Wood

mentions 2 type Person feed RSS

// recent coverage 2 mentions

00:00

2026-06-12

korbonits.com

large-language-models

Easier to Convince Than to Prove

A new paper from MiniMax, MaxProof, trains a model to write competition-math proofs and achieves high scores on IMO and USAMO problems, but a cross-verification experiment reveals that among proofs th…

20:28

2026-05-20

techcrunch.com

artificial-intelligence

OpenAI claims it solved an 80-year-old math problem — for real this time

OpenAI claims its new general-purpose reasoning model has produced an original mathematical proof disproving a famous unsolved geometry conjecture first posed by Paul Erdős in 1946, marking what the c…

// co-occurs with top 8 entities

OpenAI 1 Paul Erdős 1 Kevil Weil 1 Yann LeCun 1 Google DeepMind 1 Demis Hassabis 1 Noga Alon 1 MiniMax 1

// topics top 6 topics

artificial intelligence 1 research 1 science 1 large language models 1 ai safety 1 ai research 1