Dan Abramov

数学を知らない人が約40億トークンでConwayの50年前の予想を証明

数学の素人である Dan Abramov が、一か月と約 400 億トークンを費やし、Claude と ChatGPT を Lean につないで Conway が 50 年前に提唱した細分化予想の証明を得た。数学者による独立検証はまだ受けていない。