Quintoud

Modern, cloud based, CAD

[Quintoud @asimeqi]

@mathelirium For all the naysayers, this is what this guy did and it is beautiful. https://t.co/dfBkDqTuCX

[Shiva Kintali @ShivaKintali]

Here is a Short Proof of the Quasi-Riemann Hypothesis.

My goal here is to substantially simplify OpenAI’s proof and focus only on proving the Quasi-Riemann Hypothesis for some 1-c, without worrying about maximizing the value of the c.

I obtained a much shorter proof for c=1/48. This proof is easy to understand and it can be taught in math courses in one lecture.

It is self-contained. It is only 21 pages including abstract, proof overview, all proof details and references.

Paper is on my homepage: https://t.co/IIjOhmNDjU

PDF file: https://t.co/UwN9nn6mAv

CC: @AlexKontorovich @__alpoge__ @jdlichtman @cremieuxrecueil @danielmarinq @stevenstrogatz @kenono691 @littmath @nasqret @PI010101 @nechita_ion @Isaac__kim @FryRsquared @wtgowers @MarcusduSautoy @DrEugeniaCheng @JSEllenberg @JohnDCook @JDHamkins @AxlerLinear @emilyriehl @hollykrieger @Kit_Yates_Maths @PoShenLoh @robertghrist @AlexKontorovich @kenono691 @ch_nira @rrwilliams @lreyzin @ChrisPeikert @fortnow @RadishHarmers @thomasfbloom @abhatt2 @mahdi_tcs_ @octonion @prz_chojecki @thegautamkamath

[Quintoud @asimeqi]

@mathelirium I can't see why the proof reading is uninspiring work. I would love to read proofs and make them easier to understand for humans. I am sure a lot of new math is hidden on those proofs. The real question is how to get credit for that job.

[Quintoud @asimeqi]

@manicprone @Ja870B @mathelirium Everybody who works is getting a credit, if not with words, in the form of a paycheck or some other form.

[Quintoud @asimeqi]

@j32pmxr @mathelirium And how do you get that job in the first place? That's what credit is for.

[Quintoud @asimeqi]

@Artful_Memes @mathelirium A mathematician is still needed to do that. Both to tell LLM what ideas to work on and usher the results into the world.

So, Nat'ralists observe, a Flea
Hath smaller Fleas that on him prey,
And these have smaller Fleas to bite 'em,
And so proceed ad infinitum:

- Jonathan Swift

[Quintoud @asimeqi]

@zenfisherman0 @mathelirium No matter how good it becomes there will always be that first human who understands it. That person will be called a mathematician.

[Quintoud @asimeqi]

@ThinkDi92468945 @mathelirium Math is not but people are about attribution/getting credit. And there is no math without people.

[Quintoud @asimeqi]

@vid2xb6 @mathelirium Universities don't pay you for science even today. They pay you to teach students. They use you science as a test whether to hire you or not, and for their own prestige.

[Quintoud @asimeqi]

@ArtJazd So many websites do that and I hate it. But then I have done it myself because it's not easy to fully match http with an API.

[Quintoud @asimeqi]

@vid2xb6 @mathelirium Offensive language remains offensive even in a different language.

[Quintoud @asimeqi]

@zenfisherman0 @mathelirium Therenis always room for qualified people to do more than the AI can do.

[Quintoud @asimeqi]

@Artful_Memes @mathelirium I don't understand what you are trying to say. Nobody builds their ideas from scratch. There are plenty of ideas to be generated by looking at AI proofs. More than ever.

[Quintoud @asimeqi]

@Ja870B @mathelirium credit == money. One is supposed to afford living conditions.

[Quintoud @asimeqi]

@Maks_NAFO_FELLA None of those actions could destroy the project. As long as the people in charge lived, there would be a delay of 6-12 months, but they would be in full production by now. Unless the project was not in a good state which seems to be the case.

[Quintoud @asimeqi]

@JasBilyeu Learn and connect with CAD people.

[Quintoud @asimeqi]

@istvan_csanady I was in a PTC call on Thursday and the presenter mentioned that the Creo UI accesses about 100,000 API functions. You can't beat them in Geometry, that's for sure.

[Quintoud @asimeqi]

@pickover Green of course. Because it is green (Duh!) but also because if I press Red I would cause a world ending inflation.

[Quintoud @asimeqi]

@10_X_eng +1 and now you are number 30. 3 more votes push you to 26.

[Quintoud @asimeqi]

WTH @PTC. Is this how you end?!

[Bloomberg @business]

Schneider Electric said it is acquiring US-based engineering software developer PTC for an implied enterprise value of $23.7 billion https://t.co/ZveHjV2sUR

[Quintoud @asimeqi]

@Abhijit_091 Quintoud, a CAD kernel. Only about 40% done, but it's still a huge amount of work and the result is quite capable.