The next model will probably run simulation of a Universe to get a command output

Can't wait for the moment when AGI realizes how stupid and dishonest its owners are.

Your coworkers, after they learned about major progress in this problem, asked a model which was trained on the year of private work (the blog post even acknowledges this). No wonder it found the proof in less than a week using significantly higher compute resources. And if Tristan's accusations are true, that was absolutely intentional on the part of OpenAI. You are an evil company with evil people.

They have messed things up, because Levent has a conflict of interest between his job at Anthropic and this independent work, and Tristan should have opted out of OpenAI training on their work (he probably didn't know about this). This doesn't justify OpenAI's despicable attempt to steal their work.

Can you call paranoia a fear of something which is happening? OpenAI uses user chats for training and they are "open" about it.

Attempts to steal $1,000,000 for a solution to Millennium Prize Problem have become a tradition, apparently.

The nest step would be to map every human. Shouldn't be too hard, there are only 8B of us.

Guess Flock is trying that for the US as a POC ;)

I wouldn't call it corruption when the richest man decides how the government's money should be spent. He is not an official, after all. I would call it a dead democratic system. EOL.

The Julia type system is also great for AI, it makes code generation more robust. I also liked that some Julia code (such as matrix multiplication) can be executed on a GPU with no change and will be almost as fast as possible, although complex algorithms still require writing specialized kernels (which can be done completely in Julia as well).

I find his submission very valuable. It is not only digestible for humans but also summarizes the proof, explains what humans were missing, and highlights the methods that could help with stronger and similar conjectures (see his comments to the post).