Do not judge mathematicians for their LLM use. The standards of our community are still in flux. We can fight over what those standards should be, but individuals have to act in the meantime and we should not litigate their behavior.Which is calling on good behavior by people who may or may not choose to listen to Terry.
LLMs should not be used to compete with other mathematicians, to scoop them or otherwise embarrass them. It goes without saying that we are somewhat competitive, but there is nothing to be gained from this behavior and a lot to lose in terms of collegiality. We are extremely lucky to be in a field where we talk openly at conferences not only about what we’ve done but what we are working on, sometimes years before those results see the light of day.
Focus, if you choose to use LLMs, on developing your own research, intuition, and results. No one owns an area of mathematics or a certain problem. But it is not acceptable for me to wake up one day and say, you know I know famous mathematician — is working on problem — and I’m just going to solve it. They will be impressed with me, or I will get that next job I need. The easiest way to guard against this behavior in the long run is to just not reward it.
Since its founding, METR and its affiliates have received funding from EA kingpins like Democratic megadonor Dustin Moskovitz and Skype cofounder Jaan Tallinn — both of whom are Anthropic investors.Tallinn again! His involvement definitely scares me.
Doctors have lost control of field of medicine.Mr. Seehafer proposed a plan to centralize A.I. oversight at the health department or in the F.D.A. commissioner’s office, raising concerns that decisions would be more influenced by the tech sector than by medical considerations, according to people familiar with the plan who were not authorized to discuss it publicly.
The plan met with resistance from Dr. Michelle Tarver, the top medical devices official overseeing A.I. software, favoring leadership from expert scientists with a focus on patient safety.
Dr. Makary, who had been outspoken about the influence of Silicon Valley investors, then got word that health department officials wanted him to fire Dr. Tarver, according to people with knowledge of the matter. He refused.
“Nighttime temperatures have soared in the past 120 years,” Christy said.
“That is due to human development around the weather stations because nighttime temperatures are far more sensitive to urbanization—parking lots, buildings, removal of forests, and so on—than daytime temperatures.”
Over the past century, many locations where temperature readings were taken have been touched by urbanization and suburban sprawl, with the construction of asphalt and concrete structures in formerly rural areas, he said. These structures absorb heat during the day and release it at night.
“You can’t pin it on greenhouse gases alone because the urban effect is so obvious in these stations,” he said. “It doesn’t take much to make an urban heat island—you can just build a parking lot next to a rural station, and you’ve got an urban heat island started.”
there’s an aspect of OpenAI’s work that I haven’t seen anyone talk about: they posted a Lean 4 formal proof at the same time as their conventional human-readable proof.Wow, this is great. Now we have to find mathematicians still willing to continue to pursue mathematics. ☹️
Say a research article takes 20 times more effort to formalize than page in an undergraduate textbook. Then formalizing the 166-page paper from OpenAI would take 132,800 person-hours. It took OpenAI 17 hours to verify their proof in Lean. I hesitate to use the word “revolutionary,” but lowering the cost of anything by four orders of magnitude is revolutionary.
Integration with a large plasma proteome-phenome repository suggests that sprint-intensity exercise (SIE) acutely stimulates the release of protective proteins into the circulation to a greater extent than moderate-intensive exercise (MIE). These data help explain how SIE, despite requiring only a fraction of the time of MIE, elicits robust metabolic signaling and whole-body benefits.Sprint-level exercise was six 30-second bouts of cycling against resistance. Moderate level exercise lasted 90 minutes in the beginning gradually increasing to 120 minutes towards the end. That's a lot of exercise. 😓
It detects Bluetooth signals broadcast by compatible smart glasses and compares their identifiers against a catalogue created by Szydlowski after examining several devices.
The study also found that nearly half of students use artificial intelligence chatbots regularly for learning, but those who use them for drafting essays, summarizing texts and researching topics generally score about 20 points lower in science, equivalent to a year's learning.
Today is the 25th anniversary of 9-11. I have not seen this video before, which someone posted today. Back then we came together as a country, and vowed never to forget, but sadly, I think we have. Like this guy.
––– 凄い –––