Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

An OpenAI model has disproved a central conjecture in discrete geometry

openai.com

Post reply on HN
Print view View original

41–50 of 1001 posts

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#41

Post by comboy »

alansaber wrote: post #7

AI isn't going to supercharge science but I wouldn't be as dismissive as other posters here.

Not only it supercharged science it supercharges scientist. Research on any narrow topic is a different world now. Agents can read 50 papers for you and tell you what's where. This was impossible with pure text search. Looking up non-trivial stuff and having complex things explained to you is also amazing. I mean they don't even have to be complex, but can be for adjacent field where these are basics from the other field but happen to be useful in yours. The list goes on. It's a hammer you need to watch your fingers, it's not good at cutting wood, but it's definitely worth having.

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#42

Post by Jcampuzano2 »

aurareturn wrote: post #2

One thing seems for certain is that OpenAI models hold a distinct lead in academics over Anthropic and Google models. For those in academics, is OpenAI the vendor of choice?

OpenAI specifically targeted Academia a lot and gave out a lot of free/unlimited usage to top academics and universities/researchers.

They also offer grants you can apply for as a researcher. I'm sure other labs may have this too but I believe OpenAI was first to this.

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#43

Post by throw-the-towel »

renegade-otter wrote: post #28
alansaber wrote: post #7

AI isn't going to supercharge science but I wouldn't be as dismissive as other posters here.

It will notice things that humans may have missed. That said - it can only work off the body of work SOMEONE did in the past.

> it can only work off the body of work SOMEONE did in the past.

And so do humans. Gotta stand on these shoulders of giants.

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#44

Post by tracerbulletx »

aurareturn wrote: post #2

One thing seems for certain is that OpenAI models hold a distinct lead in academics over Anthropic and Google models. For those in academics, is OpenAI the vendor of choice?

Hasn't AlphaFold been used to make real discoveries for a few years now?

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#45

Post by 0x5FC3 »

tonfa wrote: post #36
0x5FC3 wrote: post #30

Is there a reason why we only hear of Erdos problems being solved? I would imagine there are a myriad of other unsolved problems in math, but every single ChatGPT "breakthrough in math" I come across on r/singularity and r/accelerate are Erdos problems.

Afaik this is because there is a community and database around them.

Interesting. OpenAI could also be trying to solve other problems, but Erdos problems maybe falling first?

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#46

Post by Lerc »

vatsachak wrote: post #11

As I have stated before, AI will win a fields medal before it can manage a McDonald's A difficult part was constructing a chess board on which to play math (Lean). Now it's just pattern recognition and computation. LLMs are just the beginning, we'll see more specialized math AI resembling StockFish soon.

I disagree. It will be able to perform work deserving if a fields medal before it is capable of running a McDonalds. I think it will be running a McDonalds well before either of those things happen, and a fields medal long after both have happened.

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#47

Post by ausbah »

Fraterkes wrote: post #37

I guess if this stuff is going to make my employment more precarious, it’d be nice if it also makes some scientific breakthroughs. We’ll see

shame we won’t see any of these medical breakthroughs when we all lose our jobs and thus our healthcare

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#48

Post by throw-the-towel »

0x5FC3 wrote: post #30

Is there a reason why we only hear of Erdos problems being solved? I would imagine there are a myriad of other unsolved problems in math, but every single ChatGPT "breakthrough in math" I come across on r/singularity and r/accelerate are Erdos problems.

They're just famous because Erdos was a great mathematician, kinda like the Hilbert problems a century earlier.

Re: An OpenAI model has disproved a central conjecture in discrete geometry

#49

Post by sigmoid10 »

vatsachak wrote: post #11

As I have stated before, AI will win a fields medal before it can manage a McDonald's A difficult part was constructing a chess board on which to play math (Lean). Now it's just pattern recognition and computation. LLMs are just the beginning, we'll see more specialized math AI resembling StockFish soon.

Managing a McDonalds is a question of integration and modalities at this point. I don't think anyone still doubts that these models lack the reasoning capability or world knowledge needed for the job. So it's less of a fundamental technical problem and more of a process engineering issue.
Post reply on HN