It may not be impressive, but it can be useful. If, by rapidly iterating over others' homework, you or your bot can prove X, then it can boost everyone's confidence of MY research that relies on X being true.

No one saw quasi-RH coming or many of the others here. So that is unlikely. And the last batch of 10 problems they released a few weeks ago which were impressive enough were all novel results. There have been issues with them using techniques or ideas that should be better credited to where some of those approaches are coming from. But that's the sort of thing that often happens at a preprint stage. When I referee a paper, if this happens, you just request they cite the relevant papers and move on. This isn't at all stealing things.

This is really not accurate. There's Fields Medal level work here with quasi-RH for example. And for Hadwiger-Nelson it took an approach that doesn't seem to be in in the literature. These things really are doing novel math. I've personally seen this is in a bunch of situations. Here's a personal example, much smaller than anything like these problems. I have a recent preprint with a student here https://ancillary-proxy.atarimworker.io?url=https%3A%2F%2Farxiv.org%2Fabs%2F2609.36068 (about 90% of this was done by her. She's very good.) But part of this came from when I ran a version of Proposition 13 in that paper through Claude just to clean up the draft of that bit before I sent it to her. Claude informed me (essentially unprompted) that the argument had a whole in it (in addition to pointing out grammar errors, unbalanced parentheses and some other embarrassing minor mistakes). I then fixed the hole, and gave it back to Claude. Claude thought for a few minutes, and then informed me that I had *not* fixed the hole, and the reason was that my version of the proposition was missing an entire infinite family which it constructed. The literature on this problem is small, and I'm very familiar with it. The family it produced is straightforward (see Prop 8), but definitely was not in the existing literature. So yes, these systems really can do novel math, and can even do so in an essentially minimally prompted fashion, in this case, explaining to the meat mathematician why his proof is wrong. My student and I then generalized Claude's family to Theorem 9 in that paper, but the AI definitely had an impact.

At some level this was actually not a good thing. I'm trying to encourage students to *not* rely on the AI for research so they develop basic research skills. So if the AI had not volunteered the family I wouldn't have had to tell her that the AI had discovered it, but honestly required noting it. So I had a conflict between intellectual honesty and being a good role model.

HEIC is worthless because it's illegal to implement unless you get permission. Maybe in 20 years it'll be usable.

Don't like that fact? Then we need to find and support (oh no, and be?) political candidates who oppose software patents.

You shouldn't need anyone's permission to write a computer program. It's infuriating.

Never thought of epoch time! The ultimate revenge of the nerds! 8^)

During the longest days many of the outside contractors in my area tend to tie their workday to the light/dark cycle. There are times here in PA where it is getting light at 4 in the morning! That's like bonus time toward meeting the schedule. And you are correct about the heat. We have the added humidity (it hung around 100 percent this past summer) Upper 80's and 100 percent humidity plays hell on construction workers.

Although it is mainly a transfer of energy use. But what makes me laugh is just how the intersection of solipsism and stupidity runs so deep in these matters.

Even the name "Sunshine Protection Act" the hill politicians have chosen to die on, is 100 percent wrong. The amount of sunshine in any 24 hour cycle is a matter of physics, not something politicians can vote on.

But a person who gets up at 7:00 A.M. and works a day shift. sees how it is light longer in the summer, and is stupid, thinks that all that is needed is to keep DST, and the day will be longer. And their solipsism has them thinking everyone else would benefit from that. I meant who could oppose a longer day? There are times here when it is getting light at 4 in the morning. Then it makes some sense to shift, people who work outside like that, especially in temperate zones. Hours wasted in the morning, unless you want to start work at 4 AM. But on the other end of the stick, if DST becomes permanent, in my area, during December and January, sunrise will happen around 0830, with 0835 being the latest. And I'm in PA. Around 40 degrees North, not even halfway up the latitudes.

But the solipsists don't care, and stupid is not fixable.

Mathematician here specializing in number theory with a side-order of graph theory. I've only had time to start looking at two of them. First, is the Hadwiger-Nelson/chromatic number of the plane https://ancillary-proxy.atarimworker.io?url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FHadwiger%25E2%2580%2593Nelson_problem proof. As far as I'm aware (and I could be wrong) the technique it uses here is not in the literature, so this is a genuine construction of a new technique. Second is the Erdos Egyptian fraction bound, and for that one it looks like the techniques are about what I'd expect, but I'm definitely still digesting both of these.

For the quasi-Riemann Hypothesis the striking thing is almost the opposite direction. It looks like the AI used standard complex analytic techniques to get the result. But many mathematicians have often thought for years that those techniques would not likely be strong enough to get this sort of result.

I know less about the Unique Games Conjecture https://ancillary-proxy.atarimworker.io?url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FUnique_games_conjecture but having talked with some of the people there it looks like it took a somewhat standard set of ideas and then combined them with multiple just weird stuff and sort of took a hard left turn at one point for no clear reason and ended up at the result.

It is also worth noting that while many of these have Lean code confirming their correctness (quasi-RH for example) others do not. The three I mentioned above have all also been looked at at this point by human mathematicians who have not found issues; that's likely true for others, but those three I'm aware at least of people doing so. Not all the claims have Lean code though; a bit under half. One of the non-formalized problems also has been withdrawn due to what essentially amounts to a sign error https://ancillary-proxy.atarimworker.io?url=https%3A%2F%2Fgithub.com%2Fopenai%2Fmath%2Fblob%2Fmain%2Fpreprints%2FAlgebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026%2Fpaper.pdf. It is likely others will be withdrawn also by the end, but I'd be surprised if more than 10 are. And even if everything single one without Lean code turned out to be wrong (which seems very unlikely), this would still be an amazing set of math. I commented elsewhere that if a human mathematician had made the quasi-RH result they'd be likely a shoe-in for the Fields Medal, and another mathematician replied saying "delete likely."

Now a more editorial comment: There are legitimate concerns about what this is doing to mathematics. This sort of thing is very cool. But it also is part of a trend that may make it much harder to train young mathematicians or get them to exist at all. If the AIs are limited in how genuinely novel their ideas can be, then we may end up in a situation where we get a massive burst in math over the next few years, and then math stalls out because we don't have enough good really high caliber mathematicians (Not the mathematicians like me, but people like Serre, Tao, Scholze, Clausen,etc.) to come up with deeply new ideas that the AIs can build on.

I've been on planes with hundreds of people per flight. Their experience is the same as mine. No one keeled over. This ain't just me homie. And I'm not going to provide citations with everyone I ever flew with - that's thousands of people. I only relate that people don't die because they changed timezones. If this was a regular occurrence across many people, people would notice.

That you think that my relating a personal experience over many years is flawed reasoning only shows you didn't have anything useful to say, but that didn't stop you from saying something. Good work, coward.

Must be Drinkypoo derangement syndrome. That was a misread on my part, mea maxima culpa's all around But.....

Validate your claim that DST kills people. Shifting a timezone should have exactly the same effect. One hour plus or minus, should be showing dead people as a direct cause. And I don't take back that you are solipsistic.

Shifting one timezone should have exactly the same effect. Death. Explain why it does not.

... until March 32nd.

So when we are on permanent DST, I have to go to work late in December? Or at 4 in the morning during the summer? And across time zones and latitudes, making corrections for everyone?

Sorry, but perhaps in prehistoric times up to the early 1700's your "natural" system might work. It definitely does not in an interconnected world. A whole lot of us have to know what time people show up for work in cities and countries we communicate with. Example: One place I would call was on the west coast. Their workday was 7:30 to 4:30. They were 3 hours behind my time. So if I need to call them at my time, I have to wait until 10:30 Eastern Time. If I have to call Mumbai Adding an element of randomness is just going to make the juggling worse

You think changing the clocks twice a year fixes everything?

Of course it doesn't. Low latitudes have almost no difference in day night cycle, and the higher you go in latitude, the more the dy night cycle shits over teh year, and at the highest latitudes, no adjustment is actually possible that would do anything.

We have modern tech that lets us have flexible scheduling, even schools are now flexible enough that on bad weather days the children take classes from home (yes that is proving to not work but the tech is here). So your fix is making working parents continually change their workday, and hiring an au pair? And each day will be a little different. What is more, everyone who works will have to calculate the start time for any place they call. If I need an answer when I get into work, but the person I'm calling won't be in for another hour, that's cray cray.

Sounds more like chaos to me.

I had an assistant who at one point would call me when I was out of town. He'd call at 8:00 East coast time, while I was on the west coast. 5:00 in the morning. After the fifth time, I told him I was going to smack him if he did it again when I got back. Three hours difference.

Now your solution amps that up to the point of randomness. Time zones is fairly simple. Time zones plus different times of work depending on latitude - that's just chaos.

Keep the time where it belongs - unchanging - and fix your work and school hours to match the time of year. This is no longer a problem with modern technology that is stuck on your nose all day - thanks to the smart phone we no longer need the dumb clock gymnastics that is DST.

Here's a solution for you. Universal coordinated time. UCT is the same time around the world. You don't have to ever change what time it is. Then you can do the adjusting in your work times, and you don't have to guess what time it is to do business. I use UCT all the time, because my business is all around the world. If DST is an insufferable experience, You'd faint in the gymnastics needed to say, find a time to call Mumbai, and would have a heart attack when you found to that some places are actually tomorrow at times while you are at some time today.

Look up the differences between latitudes.

Why don't we all have our personal times? Don't let the man tell you what time it is. 8^)

You are a rather solipsistic fellow aren't you? You never got on or off a bus in the dark so no one does. Look up the day night cycles. Here in PA, the sunrise is at 7:35 A.M. on December 30th. Add permanent DST, and it becomes 8:35 And it gets worse further north. https://ancillary-proxy.atarimworker.io?url=https%3A%2F%2Fsunrise-sunset.org%2F Consider other people

Right, DST kills people. Here's your problem. If DST kills people, then why aren't people who regularly shift time zones drop over dead? I regularly did 3 time zone shifts, back and forth between the home in the east, and the west coast, even some to Alaska. I got on a plane, and got off a plane, and no one died.

I had Jet lag, for sure, but never felt ill, just a little strange.

If one hour kills people, then 3 or 4 hour shifts should have a greater effect. Explain why not?

It does that, but a lot of us regularly shift several time zones and back.

Jet lag is real and it doesn't feel all that great. But it is the price we pay. On short trips, I could just keep my regular cycle. If it was longer than a week, the body just adapts no matter how hard I try.

What is interesting to me is that after a career with a lot of extensive time zone shifts. a one hour change doesn't bother me at all.

Probably the biggest PITA is dealing with the pets. I try to just adapt a bit earlier or later, each day, until they are on what the think is their schedule aligns with the clock again

And I regularly felt coast to coast USA, That three time zone difference should have killed me outright, if the westward flight didn't coming back east should have. Here's the truth. The earth is a oblate spheroid rotating on a tilted axis relative to the sun.

As it orbits the sun, that tilt creates different light/dark cycles. over the course of the orbit

Near the equator, there is not much difference over the course of the year. And it is not unusual for people living there to find the clock changes silly.

As the latitude increases, people there experience larger and larger changes in teh day/night respective lengths. Here in PA, it is significant, some hours one way or the other between summer and winter.

A bit further, like say Canadian cities, it becomes even more extreme. DST to ST? . You'll probably Go to work in the dark, and drive home in the dark. But it still helps

Finally, at the really high latitudes, no amount of correction helps. Their summers, there is no dark cycle, and the winters, no light cycles.

We tried permanent Daylight savings time during the Arab Oil Crisis. And people hated it, we went back to ST/DST pretty quickly.

Oddly enough, permanent DST was sold as the way to save money on fuel. It didn't. Some politicians seemed to even think that it would somehow make the day longer. I do not see that the general IQ and smarts these days.

So we have stupid people wanting permanent DST, we have ostensibly smart people who didn't think about the latitude issue, and solipsistic people living at low latitudes that don't care about those at the higher latitudes.