Sabitlenmiş Tweet
krishna
12.8K posts
krishna retweetledi
proposing the flag of artificial superintelligence
Alvaro Lozano-Robledo@mathandcobb
Following up on the suggestion from Will Sawin, here is an illustration of the new configurations that disprove Erdos' unit distance conjecture (made with the help of ChatGPT 5.5 Thinking).
English
Two weeks ago, watching Agnessa Pedersen mind control a drone in real time, was one of the most moving moments in my career. Agnessa is a rare and wondrous human working towards a wild future.
English
clearly all the words and numbers used in this proof are already part of the training data. i went through the entire 125 pages of summarised cot, i couldn't find a single novel symbol in there.
they really think they can continue fooling everyone with this. all the elementary pieces used to prove this were already known. not one new integer was invented. not one fresh Greek letter was discovered in the wild. the model simply rearranged previously existing mathematics into an order that happened to solve the problem, which is obviously just memorisation if you ignore the rearrangement, the dependency structure, the proof search, the synthesis, and the fact that this is exactly what mathematicians... ahem ahem
anyhow, wake me up when it invents a completely new field all by itself and new greek letters and numbers with properties completely unknown. that is the true test for agi.
OpenAI@OpenAI
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
English
ninja thinks he did something here
Vir Das@thevirdas
The fact that a specific section of Indian twitter, is praising an Italian lady, is just incredibly ironic :-)
English
the general explaination of how it did this was that since the model is trained the entirety of known mathematics. it discovered the relationships between the knowns and hence the conjecture.
i have long believed that these models are already smarter than us, we just cannot comprehend the latents hence it has to dumb it down to our language and hence prompt engineering as the entire field exist to bring out certain behaviour.
in my current experiments you see this more than anything how even few steps of conditioning really reveals how increasingly complex and inter connected the manifolds are. and imo there should be more time and effort given trying to interpret these latents traverse and hopefully understand this alien intelligence
OpenAI@OpenAI
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
English
krishna retweetledi
English
@starlitmatcha @ChinmayKak i’m going to steal yo girl
English
