Hacker News new | past | comments | ask | show | jobs | submit

An OpenAI model has disproved a central conjecture in discrete geometry

https://openai.com/index/model-disproves-discrete-geometry-conjecture/
loading story #48214064
loading story #48214003
loading story #48213681
As I have stated before, AI will win a fields medal before it can manage a McDonald's

A difficult part was constructing a chess board on which to play math (Lean). Now it's just pattern recognition and computation.

LLMs are just the beginning, we'll see more specialized math AI resembling StockFish soon.

loading story #48213436
loading story #48213188
Stockfish did not teach itself to play chess. You are probably thinking of Leela Chess Zero - an open re-implementation of AlphaZero - both were given nothing but the rules of chess and a board and played millions of games against themselves until they were the strongest engine available at the time.

Stockfish's neural net evaluation model was trained on millions of its positions with its own original algorithmic evaluation function (entirely developed by humans) and search tree. The result was a much smaller model than Leela's that requires little computation (not even a GPU), paired with its already extremely efficient search/pruning algorithms that made it stronger than Leela in competitive play. Leela's evaluation function is much stronger (at one ply it has an ELO of around 2300, Stockfish is probably closer to 1800), but it requires vastly more resources and those are always bounded in a match.

Humans haven't learned as much new information about chess from Stockfish as we have from Leela.

I disagree. It will be able to perform work deserving if a fields medal before it is capable of running a McDonalds. I think it will be running a McDonalds well before either of those things happen, and a fields medal long after both have happened.
loading story #48213330
One could hardly ask for a task better suited for LLMs than producing math in Lean. Running a restaurant is so much fuzzier, from the definition of what it even means to the relation of inputs to outputs and evaluating success.
I think Lerc is saying that LLMs will be pressed into service managing McDonald's restaurants long before they are actually capable of managing said restaurants successfully.
loading story #48213867
loading story #48213281
loading story #48218826
loading story #48214590
loading story #48214293
loading story #48213154
loading story #48213137
loading story #48217449
loading story #48213768
loading story #48213408
loading story #48213036
loading story #48213594
loading story #48217118
loading story #48213902
loading story #48213939
loading story #48216963
loading story #48213204
loading story #48214465
loading story #48219489
loading story #48219781
loading story #48213067
loading story #48214156
loading story #48219053
loading story #48213027
loading story #48213071
loading story #48213163
loading story #48213377
loading story #48221967
loading story #48212745
loading story #48213231
loading story #48213162
loading story #48215681
loading story #48212820
loading story #48220059
loading story #48212923
loading story #48215815
loading story #48213065
loading story #48216038
loading story #48217233
loading story #48215771
loading story #48218534
loading story #48213566
loading story #48213870
loading story #48214758
loading story #48218483
loading story #48212959
loading story #48214162
loading story #48220501
loading story #48216843
loading story #48217805
loading story #48214574
loading story #48212822
loading story #48217699
loading story #48219597
loading story #48216632
loading story #48213141
loading story #48218175
loading story #48213189
loading story #48218140
loading story #48215238
loading story #48212943
loading story #48214564
loading story #48217560
loading story #48215142
loading story #48217472
loading story #48215004
loading story #48212890
loading story #48212965
loading story #48215528
loading story #48214536
loading story #48214335
loading story #48214692
loading story #48213186
loading story #48213150
loading story #48215696
loading story #48218912
loading story #48216990
loading story #48220062
loading story #48216379
loading story #48215455
loading story #48213633
loading story #48213191
loading story #48219977
loading story #48212765
loading story #48214521
loading story #48213459
loading story #48213963
loading story #48215018
loading story #48215545
loading story #48216867
loading story #48215067
loading story #48217795
loading story #48218910
loading story #48212881
loading story #48213381
loading story #48213344
loading story #48213439
loading story #48221219
loading story #48215707
loading story #48213708
loading story #48212758
loading story #48213056
loading story #48214887
loading story #48213210
loading story #48216690
loading story #48217535
loading story #48213527
loading story #48213906
loading story #48217694
loading story #48212981