Mexican lawyer turned AI entrepreneur, aspiring physics researcher

[jsoledad]

How did you find PF?

Google Search

Hi everyone,

I’m Jesús, a Mexican lawyer who slowly drifted into AI, then physics, and now… something in between. I currently lead Marte AI, a symbolic AI company building deterministic cognition engines.

I recently published a formal natural language proof that P ≠ NP, as well as papers on quantum–classical equivalence, coherence-based gravity, and a symbolic cosmology language called PostMath. I’m not affiliated with any academic institution (nor I intend to), just trying to build from first principles, and using AI to accelerate my own discoveries.

Glad to be here. I hope to contribute, challenge, and learn.

 

[TensorCalculus]

sounds cool! Just keep in mind that if you would like to discuss your papers, they must be peer-reviewed and published in a reputable journal (which, considering the fact that the P=NP problem is still open, I would assume is not currently the case) :)

 

[PeroK]

I recently published a formal natural language proof that P ≠ NP,

Don't forget to claim your $1 million-dollar prize!

 

[jsoledad]

Don't forget to claim your $1 million-dollar prize!

That's why I said NL!

 

[jsoledad]

sounds cool! Just keep in mind that if you would like to discuss your papers, they must be peer-reviewed and published in a reputable journal (which, considering the fact that the P=NP problem is still open, I would assume is not currently the case) :)

Of course, I was just introducing myself

 

[TensorCalculus]

Of course, I was just introducing myself

great! :)

Lots of new people on here try to make their first thread about their own personal theories/speculations then get themselves in a mess so I just thought to let you know just in case.

 

[DaveC426913]

Welcome jsoledad.

With your interest in AI in mind, it might also be helpful to review PF's policy on AI-generated content, in case that comes up.