rzr999

Disclosure: I’m working with Bruno on a company around this.

In the past few weeks, AI labs have reported solving long-standing problems, including OpenAI’s claimed Navier–Stokes proof. Mathematicians fear for their jobs, and others hope math education will finally become unnecessary.

Bruno Buchberger, who invented Gröbner bases in 1965, gave his answer in the inaugural lecture of ACM SIGSAM. There will be no “math winter”: mathematics has always aimed to trivialize itself, and by Gödel there’s no upper bound to automation, so human genius just moves up a level.

He’s also done this before. In 2002 his Theorema system re-invented the Gröbner bases algorithm automatically from the bare specification, by analyzing failed correctness proofs. That’s proof generation, not proof checking. He argues logic + LLMs should beat Lean + LLMs with far less compute. Terrence Tao’s latest video ends with a strikingly similar proposal a few days later.

Given the surge of interest, he’s resuming Theorema and founding a company around it.

Is logical synthesis the next layer, or will “LLM + Lean + compute” win anyway?

I think it would be interesting to see the perspective of Prof. Bruno Buchberger (Johannes Kepler University in Austria) since he brings a unique perspective into this in his talk "Will AI Kill Mathematics?" about Automated Math Generation. https://www.youtube.com/watch?v=WLYW6BPkkIk

He is also trying to start a new company around this like Aristotle, who already tackle this problem, but with a new angle.

I think it would be interesting to see the perspective of Prof. Bruno Buchberger (Johannes Kepler University in Austria) since he brings a unique perspective into this in his talk "Will AI Kill Mathematics?" about Automated Math Generation. https://www.youtube.com/watch?v=WLYW6BPkkIk

Let's not forget the old RPi Cam web interface project. It's a really old one but it's still running on my Pis. It's running in a perinneal environment so it doesn't ruin the SD card it's on, while saving to a server. The interface is also neat. https://elinux.org/RPi-Cam-Web-Interface

What happens to shares? Are people getting IBM stock or cash?

Chatgpt 3.5 actually gave a pretty good answer on what the code does: https://chat.openai.com/share/1d55622a-c9cc-4daf-97de-d766e2...

On implications of what is AI and how we can achieve automated programming.

SEEKING WORK

Location: Europe, Austria, Linz

Remote: Yes

Looking for: Building Large Applications Architectures from 0 to 100, Coaching Teams, Domain-Driven Design, Building and Rolling out Scalable Web Ecosystems, Data-Intensive, Live Data with AI Support

Technology: Architecture, Angular Microfrontends, Java Microservices, Openshift, private Clouds

I am an experienced professional with 15+ years of expertise in building microservice architectures, full stack applications, and dynamically embedded microfrontends. I specialize in creating clean and efficient architectures, including comprehensive strategies for running and maintaining microfrontends and backends. My skill set encompasses code templates, automated deployments in cloud architectures, coding standards, and governance. I am actively seeking companies that are enthusiastic about developing robust architectures and are interested in leveraging my knowledge to achieve their goals.

Contact Information: Please find my contact information in my profile.

Let me know if you need any further assistance!

and tips for going above level 4? something clever seems not be enough, so does prompt hacking start here already?

Are they happy to sell less for this price?

There is a saying in japanese that ideas don't come from kami but from kami. Kami in the first meaning means god. In the second it means paper.

So ideas don't come from god but from paper.

How does memory bandwidth between M1 Pro and M1 Max affect CPU (not GPU) performance?

The thing is that Postico was explicitly made for Postgres so it works flawlessly with it.

Which one was the Finnish company doing sequencing?

One example which is as simple as possible as complicated as necessary would be great.

Same thoughts here. I don't have too much time to chit chat with the trainer there, I know it's required but for example I would keep exchanges to a minimum.

I have a long lasting gastritis and would love to try you guys out. I am wondering if I should wait for the lactose/fructose/sorbit tests or not.

Another question is I already have a huge list of things I tried, can I just feed those in?

On a side note they have a shady business model. When it comes to using certificates regularly they withhold funds if you don't buy enough certificates from them until you top up with 200 USD again. That means funds just get stuck. They won't return them even if you cancel the account.

A kitchen hand mixer from the time of the DDR inherited from my grandparents. Still works today, use it to make mashed potatoes, etc multiple times a week.

I don't understand: why not use the Reminders app on your iPhone?

Yeah, a button would be nice.