Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Greg Egan

@gregeganSF@mathstodon.xyz
mastodon 4.7.2
  • Open on mathstodon.xyz

I am a science fiction writer and computer programmer.
Latest novel: MORPHOTROPHIC.
Latest collection: SLEEP AND THE SOUL.
Web site: gregegan.net

9197 Followers
341 Following
50 Posts
Joined October 28, 2022
Web site:
https://www.gregegan.net
Location:
Perth, Western Australia
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 16h ago
Boosted by @gvenema@fairmove.net
Head of climate action residents’ group: "We cannot dig up coal, ship it overseas, watch it drive climate change, and then pretend the consequences have nothing to do with us and won't be felt by us." 3/5 judges in Australia’s High Court just agreed. https://www.abc.net.au/news/2026-10-07/mount-pleasant-coal-mine-high-court-ruling/107233650
abc.net.au

Breaking: High Court rules in favour of climate in Hunter Valley coal mine case

Australia's High Court rules in favour of a Hunter Valley community group in a landmark climate ruling that could redraw how fossil fuel projects are approved in Australia.

4
0
5
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3w ago
TIL from @dandkuniverse.bsky.social that you can sometimes hear meteors burning up in the atmosphere *at the same time as you see them*, despite the discrepancy in the speed of light and the speed of sound. How? Here is an abstract from a relevant paper: “Recorded for centuries, people can hear and see meteors nearly concurrently. Electromagnetic energy clearly propagates at the speed of light and converts to sound (called electrophonics) when coupled to metals. An explanation for the electromagnetic energy source is suggested. Coma ions around the meteor head can easily travel across magnetic field lines up to ~120 km. The electrons, however, are tied to magnetic field lines, since they must gyrate around the field above ~75 km. A large ambipolar electric field must be generated to conserve charge neutrality. This localized electric field maps to the E region then drives a large Hall current that launches the electromagnetic wave. Using antenna theory and following, a power flux of over 10^{−8} W/m^2 at the ground is found. Electrophonic conversion to sound efficiency then needs to be only 0.1% to explain why humans can hear and see meteors nearly concurrently.” “On the electrophonic generation of audio frequency sound by meteors” Michael C. Kelley, Colin Price https://agupubs.onlinelibrary.wiley.com/doi/full/10.1002/2017GL072911
agupubs.onlinelibrary.wiley.com
112
1
86
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3w ago
Boosted by @trending@homestead.social
Open Letter about the Mathathon This open letter calling for the cancellation of the Caltech “Mathathon”, has received 471 signatures so far. [Only members of the Caltech community or mathematicians at PhD student level or beyond are eligible to sign.] “On October 30th, 2026, Caltech will begin hosting the Caltech Mathathon, a math hackathon in which participants are encouraged to solve open research problems by prompting LLMs. Two prominent AI companies, Anthropic and OpenAI, will supply participants with 2 million dollars in AI credits. This event is likely to have destructive impacts for the mathematical community.” https://docs.google.com/forms/d/e/1FAIpQLSf6dBeDwjRP4UkchGSpLwLQjiG8qLX5_wW_3-xoC4dImTPp6g/viewform
Google Docs

Open Letter about the Mathathon

The full text of the open letter is below. By signing this open letter, you consent to your name, title, and institutional affiliation being publicly displayed beneath this open letter. You can access a copy of the letter, including a regularly-updated list of signatories, here. On October 30th, 2026, Caltech will begin hosting the Caltech Mathathon, a math hackathon in which participants are encouraged to solve open research problems by prompting LLMs. Two prominent AI companies, Anthropic and

133
0
175
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 1w ago
Boosted by @jwz@mastodon.social
“So much for free speech. The studio releasing Alex Gibney’s new Elon Musk documentary Musk is finding itself unable to buy an ad on the biggest social platforms.” https://www.hollywoodreporter.com/business/digital/elon-musk-documentary-trailer-rejected-tiktok-youtube-1236710259/
The Major Social Media Platforms Are All Rejecting Paid Ads for Alex Gibney’s ‘Musk’ (Exclusive)
The Hollywood Reporter

The Major Social Media Platforms Are All Rejecting Paid Ads for Alex Gibney’s ‘Musk’ (Exclusive)

YouTube, TikTok and Meta have all turned down the trailer for the Oct. 9 doc, citing “political” content. X won't even take Bleecker Street's calls. The distributor is appealing.

16
0
14
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 1w ago
RE: https://mstdn.social/@QuantaMagazine/117359884077976693 Graham’s conjecture (1971): Modulo some prime p, can you find a way to order any subset of {1,...,p-1} so that its successive partial sums are all distinct? Since an initial breakthrough in 2022, three groups of young mathematicians have proved* this for different regimes: large subsets (as a fraction of p), small subsets, and finally those of intermediate size, covering all cases. *Like many results in combinatorics, the proofs only hold for sufficiently large p.
Open quoted post
Quoting
Quanta Magazine
@QuantaMagazine@mstdn.social
“It’s interesting, in fact, that many mathematicians and computer scientists have an interest in juggling,” the late mathematician Ronald Graham said in a 1980 television interview. “I think it’s the search for patterns and structure that is responsible for this.” https://www.quantamagazine.org/mathematicians-harness-randomness-to-crack-a-55-year-old-conjecture-20260928/
Open quoted post
mstdn.social

Quanta Magazine: "“It’s interesting, in fact, that many mathematici…" - Mastodon 🐘

6
0
2
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3mo ago
Lots of regrettable silliness here: two papers by Max Planck (!) have been retracted, probably by some automated process that based the decision on the same material appearing in another journal (which was far more common at the time, and even Einstein did it) and a rebuttal to a work being published under the same title (but not author) as the thing being rebutted. But the funniest line in the article is: “Springer Nature is nevertheless still selling the empty PDF for $39.95.” https://www.science.org/content/article/why-have-papers-one-history-s-most-famous-physicists-been-retracted
science.org
503
22
492
6
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3mo ago
“Mathematician Laurence Sigler had made it his mission to translate [Fibonacci’s Liber Abaci], rushing to complete the task right before he died of lymphocytic leukemia in 1997. But his editor moved on, and the manuscript languished on floppy disks for years. For a while Sigler’s widow Judith Sigler Fell, fearing the project would be killed, took the extraordinary step of impersonating her husband in communiqués. By the time Fell found a new publisher, Springer Verlag (now part of the same publisher as Nature), floppy disks had been superseded and she had to hire a hacker to extract the files. Fell then discovered that Springer only accepted submissions in TEX format, the technical standard for physics and mathematics texts. She learned it and spent six months retyping the text. Fibonacci’s Liber Abaci was finally published in 2002 — the 800th anniversary of the book’s first appearance.” https://blogs.nature.com/aviewfromthebridge/2017/04/20/fibonaccis-mathematical-legacy/
blogs.nature.com

Fibonacci’s real mathematical legacy | A view From the Bridge

266
10
232
2
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 4mo ago
“I’d created 2000 free-text responses and labelled them ‘UK’. Then I copied and pasted the exact same 2000 responses but labelled these ‘US’. Finally, I combined them to create a dataset of 4000 total responses, and jumbled them up. Despite the responses being identical for the UK and US, Copilot produced a rich, detailed summary of how US and UK respondents differed.” https://kucharski.substack.com/p/real-signals-or-artificial-stereotypes H/T @sinalana.eurosky.social
Real signals or artificial stereotypes?
kucharski.substack.com

Real signals or artificial stereotypes?

Adventures with a cultural Copilot

504
0
497
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 2mo ago
While the FCC has approved a test satellite from Reflect Orbital (which wants to illuminate solar farms at night), the basic physics here seems decisive — on the side of “No, this can’t possibly be a practical thing to do.” From the linked analysis by Michael Brown and Matthew Kenworthy: [Reflect Orbital’s plan is “simple satellites in the right constellation shining on existing solar farms”. And their goal is only 200 watts per square metre – 20% of the midday Sun. Can smaller satellites deliver? If a single 54 metre satellite is 15,000 times fainter than the midday Sun, you would need 3,000 of them to achieve 20% of the midday Sun. That’s a lot of satellites to illuminate one region. Another issue: satellites at a 625km altitude move at 7.5 kilometres per second. So a satellite will be within 1,000km of a given location for no more than 3.5 minutes. This means 3,000 satellites would give you a few minutes of illumination. To provide even an hour, you’d need thousands more. Reflect Orbital isn’t lacking ambition. In one interview, Nowack suggested 250,000 satellites in 600km high orbits. That’s more than all the currently catalogued satellites and large pieces of space junk put together. And yet, that vast constellation would deliver only 20% of the midday Sun to no more than 80 locations at once, based on our calculations above. In practice, even fewer locations would be illuminated due to cloudy weather.] https://theconversation.com/a-us-startup-plans-to-deliver-sunlight-on-demand-after-dark-can-it-work-and-would-we-want-it-to-264323 https://ca.pcmag.com/news/16760/fcc-approves-reflect-orbitals-giant-mirror-satellite-that-astronomers-hate
A US startup plans to deliver ‘sunlight on demand’ after dark. Can it work – and would we want it to?
The Conversation

A US startup plans to deliver ‘sunlight on demand’ after dark. Can it work – and would we want it to?

Satellites beaming sunlight down to Earth sound like science fiction – and they have astronomers very worried.

137
32
159
3
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 2mo ago
The Jacobian conjecture is false! The Jacobian conjecture proposed that if you have a map F:C^n→C^n with polynomials as the components, and the determinant of the matrix of partial derivatives of F is a non-zero constant, then F will have a polynomial inverse. https://en.wikipedia.org/wiki/Jacobian_conjecture But someone has now found a counterexample. This is easy to check, so there’s no doubt that it’s correct. https://x.com/__alpoge__/status/2079028340955197566 𝐹(𝑥,𝑦,𝑧) = (𝑦²(3𝑥𝑦+4)(𝑥𝑦+1)+𝑧(𝑥𝑦+1)³, 3𝑥𝑦²(3𝑥𝑦+4)+3𝑥𝑧(𝑥𝑦+1)²+𝑦, 2𝑥−𝑥³𝑧−3𝑥²𝑦) F has a constant Jacobian determinant of -2, but it cannot have an inverse because it is not one-to-one: F(0, 0, -1/4) = F(1, -3/2, 13/2) = F(-1, 3/2, 13/2) = (-1/4, 0, 0)
x.com
111
14
52
3
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago

“A study that claimed OpenAI’s ChatGPT can positively impact student learning has been retracted nearly one year after publication. The journal publisher, Springer Nature, cited “discrepancies” in the analysis and a lack of confidence in the conclusions—but not before the paper racked up hundreds of citations and made the rounds on social media.”

https://arstechnica.com/ai/2026/05/influential-study-touting-chatgpt-in-education-retracted-over-red-flags/

arstechnica.com
234
22
325
3
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3w ago
Replying to
@martinvermeer@fediscience.org From the linked paper: “Finally, it is well known that the aurora creates intense ELF and VLF radio waves that reach the ground. We think that it is quite possible that the many reports of audible aurora by high-latitude, indigenous peoples are, in fact, true. Hopefully, this paper will inspire research on this topic.”
7
1
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago
“Arizona State University rolled out a platform called Atomic that creates AI-generated modules based on lectures taken from ASU faculty by cutting long videos down to very short clips then generating text and sections based on those clips. Faculty and scholars I spoke to whose lectures are included in Atomic are disturbed by their lectures being used in this way—as out-of-context, extremely short clips some cases—and several said they felt blindsided or angered by the launch. Most say they weren’t notified by the school and found out through word of mouth. And the testing I and others did on Atomic showed academically weak and even inaccurate content. Not only did ASU allegedly not communicate to its academic community that their lectures would be spliced up and cannibalized by an AI platform, but the resulting modules are just bad.” https://www.404media.co/asu-atomic-ai-modules-arizona-state-university/
University Professors Disturbed to Find Their Lectures Chopped Up and Turned Into AI Slop
404 Media

University Professors Disturbed to Find Their Lectures Chopped Up and Turned Into AI Slop

ASU Atomic, a new tool in beta at Arizona State University, takes faculty lectures and chops them into extremely short clips, that AI then attempts to turn into learning materials.

129
10
190
4
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3mo ago
Boosted by @GroupNebula563@mastodon.social
Phase contrast microscopes were invented in the 1930s by the Dutch physicist Frits Zernike, and developed and manufactured by physicist and entrepreneur Caroline “Lili” Bleeker. Zernike won the Nobel Prize for this in 1953 ... but Bleeker held the patents, so she might not have been too disappointed. The picture here shows how converting the *phase shift* in the light passing through an almost transparent cell into a *change in brightness* can improve the contrast and detail in the image. https://en.wikipedia.org/wiki/Phase-contrast_microscopy https://en.wikipedia.org/wiki/Frits_Zernike https://en.wikipedia.org/wiki/Lili_Bleeker
en.wikipedia.org
57
0
29
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3mo ago
TIL that the sea-sickness medication that made the D-day landing possible — given the loss of usual supplies from Europe — was derived from a native Australian plant, the corkwood tree Duboisia myoporoides, whose properties had been known for centuries to indigenous Australians. https://www.abc.net.au/listen/programs/no-one-saw-it-coming/dday-bush-medicine/106778814 https://www.kcl.ac.uk/news/australian-indigenous-bush-medicine-was-given-to-allied-soldiers-on-d-day https://en.wikipedia.org/wiki/Duboisia_myoporoides
abc.net.au
40
2
26
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 2mo ago
The fatal Hendra virus was an infamous spillover from bats to horses to humans in Australia in the 1990s. Since then, ecologists, bat experts and virologists have learned a lot about these events, perhaps including mitigating strategies. “The findings suggested that planting eucalyptus trees that feed bats in winter, when food elsewhere is scarce, could help prevent spillover by drawing bats from all over the country. When there are rare pulses of flowering in remnant winter habitat, the bats leave the cities and farms, and go back to native habitat. Every time this happened in the 25-year study period, there were no spillover events. A pulse of winter flowers rich enough to draw more than 100,000 flying foxes to an individual roost would substantially reduce the risk of spillover, the researchers concluded. And it is possible that a sufficiently large tract of eucalypts could protect the entire country from the virus.” https://www.theguardian.com/science/2026/aug/03/hendra-virus-australia-sentinels-book-extract-animal-to-human-disease-spread
theguardian.com
20
0
9
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3mo ago
Replying to
Several commenters have mentioned the MRI helium / iPhone MEMS interaction, which is much more interesting than the CAT X-ray / flash memory corruption that I suffered! tl;dr Recent iPhones use micro-electromechanical systems (MEMS) as the resonator in crucial oscillator circuits rather than quartz crystals, and helium can penetrate the packaging of these systems, bond to the surface of the resonators, and modify their behaviour enough to ruin them. https://www.ifixit.com/News/11986/iphones-are-allergic-to-helium
ifixit.com
36
0
37
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3mo ago

AI-assisted answers to Erdős conjectures get all the buzz, but good old-fashioned human mathematicians [*] recently settled a 50-year-old conjecture:

Is there a positive constant c such that every binomial coefficient Bin(n,k) has a divisor in the interval (cn,n]?

The answer turns out to be: YES when n is large and k is large compared to n, but strictly NO.

It's a long proof, but I managed to learn something cool from the first few pages.

Erdős originally guessed that maybe Bin(n,k) would always have a divisor in the interval [n-k+1,n], which would be a tighter result. After all:

Bin(n,k) = n (n-1) (n-2 ) ... (n-k+1) / k!

and it's easy to imagine k! failing to “spoil” *all* of the factors in the numerator here.

But in 1958, Schinzel found the counterexample Bin(99215, 15), which is NOT divisible by any of 99201 ... 99215. In fact, Schinzel found an infinite number of counterexamples of the form Bin(n, 15), where the values of n form an arithmetic series, and for n = 13085213870159810495 this is also a counterexample to the conjecture that [cn,n] might always contain a divisor for the choice c=3/4.

So this was an early hint that maybe even the conjecture allowing for any choice of c would fail ... but it took until 2026 to settle this!

https://arxiv.org/abs/2605.21221v2

* Edit: the authors did make some use of AI tools, but it seems to have been predominantly a collaboration between between several authors combining their own results on aspects of the proof.

arxiv.org
31
0
8
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 4mo ago

Dear Benjamin Franklin

I have travelled back in time from 2026 to tell you that we’re still not certain exactly how lightning works.

There are relativistic electrons and gamma rays involved, maybe positrons, and (possibly extragalactic) cosmic rays.

But it’s complicated, and we’re still thrashing out the details.

https://www.quantamagazine.org/what-causes-lightning-the-answer-keeps-getting-more-interesting-20260506/

What Causes Lightning? The Answer Keeps Getting More Interesting. | Quanta Magazine
Quanta Magazine

What Causes Lightning? The Answer Keeps Getting More Interesting. | Quanta Magazine

Armed with a slew of new instruments, physicists are closing in on one of nature’s oldest mysteries — and finding that storm clouds are seething with violent and unexpected phenomena.

70
8
45
1
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 2mo ago
Replying to
The formal definition of the Burau representation is a bit daunting, but Vaughan Jones gives a vivid intuitive description. If you think of a braid as a bowling alley with n lanes that can cross over and under each other, and at every crossing there is a probability t of a ball in the upper lane falling down to the lower lane, the (i,j) entry in the Burau matrix is just the probability that a ball starting in lane i exits in lane j. [This metaphor only works for braids that can be built by stringing together any sequence of the “standard generators” where strand i crosses over strand i+1. To get the whole group you need to throw in the inverses of those generators as well.]
19
0
7
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago

A new knot invariant that “uniquely identifies more than 97% of the knots with 18 crossings. By comparison, the Jones polynomial, one of the most widely used invariants for cataloging knots, identifies about 42%, and the Alexander polynomial only about 11%.”

A great write-up in Quanta:

https://www.quantamagazine.org/a-powerful-new-qr-code-untangles-maths-knottiest-knots-20260422/

The paper itself is fun and fairly accessible. It’s also full of questions for the future!

“A Fast, Strong, Topologically Meaningful and Fun Knot Invariant” by Dror Bar-Natan, Roland van der Veen

https://arxiv.org/abs/2509.18456

A Powerful New ‘QR Code’ Untangles Math’s Knottiest Knots | Quanta Magazine
Quanta Magazine

A Powerful New ‘QR Code’ Untangles Math’s Knottiest Knots | Quanta Magazine

With a newly discovered mathematical tool, researchers are hoping to gain unprecedented insight into the structure of complex knots.

63
4
25
2
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 2mo ago
In 1909, Arthur Wieferich proved that if 𝑥ᵖ+𝑦ᵖ=𝑧ᵖ for an odd prime 𝑝 that does not divide positive integers 𝑥, 𝑦, or 𝑧, then 𝑝² must divide 2ᵖ⁻¹−1 Fermat’s little theorem says 𝑝 itself always divides 2ᵖ⁻¹−1. Soon afterwards, Dmytro Grave checked every prime under 1000, and conjectured that no such “Wieferich Primes” exist! Then in 1913, Waldemar Meissner checked 1093 … Now that we have computers this is trivial, but in 1913 it was a slog. Meissner showed that 2³⁶⁴−1 was divisible by 1093², and since 1093 – 1 = 3 × 364, and 𝑡³−1 is divisible by 𝑡−1, that’s enough. Later, Emil Haentzschel pointed out that 2¹⁸²+1 is divisible by 1093², which does the same job because 𝑡⁶−1 is divisible by 𝑡+1. Just how annoying this was to Meissner has not been recorded.
16
0
3
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3mo ago

We have observed electron neutrinos oscillating into mu and tau neutrinos.

But could we ever observe electrons themselves oscillating into muons or tauons?

The short answer is “probably not”, for reasons mostly to do with the much greater mass differences between the charged leptons compared to those of the neutrinos. But it’s worth reading this paper in full, as it gives a clear, detailed exposition of the creation, propagation and detection of the relevant states.

H/T Martin Bauer

https://arxiv.org/abs/0706.1216

arxiv.org
20
0
6
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago
Astronomers have shown that the gravitational acceleration galaxy clusters exert on each other obeys an inverse square law, 1/r^n with n = 2.1±0.3, on distance scales of the order of 100-750 Mega light-years. This rules out many theories of “Modified Newtonian Dynamics”. They used the “kinematic Sunyaev-Zeldovich effect” (kSZ), a measure of how cosmic microwave background photons gain energy from electrons in motion (relative to the universe’s expansion), to determine how the velocities between pairs of galaxy clusters varied with their separation, in a sample of 227,837 galaxies. The kSZ is tricky, because there is also a temperature effect, but it is better for this than trying to use the Doppler shift for objects with a large cosmic red shift. Write-up in Science: https://www.science.org/content/article/newton-s-law-gravity-passes-its-biggest-test-ever The paper: https://arxiv.org/abs/2604.14327
science.org
45
1
17
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago

Breaking: Rubio, Araghchi announce negotiations to divide up parallel worlds between those in which US, Iranian conditions are met to each party’s complete satisfaction.

40
11
14
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 2mo ago
Replying to
@oantolin@mathstodon.xyz I’m surprised this wasn’t found 20 years ago with a “brute-force” search with some clever pruning.
12
2
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3mo ago
Replying to
Can we make the radiators much smaller by running them, say, twice as hot, and actively pumping heat from the electronics into these hotter surfaces? Yes, of course we can, the laws of thermodynamics are fine with that. However ...
20
0
7
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3mo ago

I’m two episodes into “For the Record: An Incomplete History of Music” from the Cosmic Shambles. It’s a sprawling, joyful, smart and generous tour, from the baryonic acoustic oscillations of the early universe to the Pythagorean comma, the Indian Tala system, Arabic quarter-notes, and much more to come (9 episodes in total, not all of them yet released).

https://www.youtube.com/playlist?list=PLoVTI-iJf1y2EfoTD-fOQLfQ3hQunroWy

youtube.com
14
0
3
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 3mo ago

“In the 80 years since George Romero's Night Of The Living Dead ambled into public consciousness … ”

So Romero managed to insinuate his movie into the zeitgeist when he was six years old, 22 years before it was released. That’s one hell of a slow-burn viral marketing campaign.

Quote is from the preamble to an interview with Yeon Sang-ho, director of “Train to Busan” [which I loved] and the new film “Colony” [not yet seen].

https://www.abc.net.au/news/2026-06-20/yeon-sang-ho-colony-the-interview/106813376

abc.net.au
15
0
3
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 4mo ago

Breaking: Google AI summary of leaked Australian budget papers confirms that $2B will be allocated to phasing out all bicycle gears that rotate in the wrong direction by 2035.

23
12
6
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 2mo ago
Replying to
@ProfKinyon@mathstodon.xyz Wow, that’s interesting! As a naive onlooker, I don’t really understand why people found it likely. Is there anything you can say about how the counterexample clashes with your original intuition?
7
1
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 4mo ago
Replying to
@johncarlosbaez@mathstodon.xyz Here’s a piece of a quasicrystal with icosahedral symmetry. I describe how to get this with the 3D version of the cut-and-project method here: https://www.gregegan.net/APPLETS/12/deBruijnNotes.html#HD
gregegan.net
11
3
5
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago
A reminder to my fellow West Australians that, whatever your age, you can get a FREE flu vaccine in May and June. I got mine today. Most pharmacists are participating, but you’ll probably need to book an appointment online.
12
0
6
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 2mo ago
An interesting interview with former US Energy Secretary Ernest Moniz, a nuclear physicist who was involved in the negotiations leading to the 2015 Iran nuclear agreement. His Iranian counterpart, Ali Akbar Salehi, had studied at MIT when Moniz was on the faculty, and though they hadn’t met at the time they had many friends in common. (25 min audio) https://www.abc.net.au/listen/programs/if-youre-listening/is-trump-pushing-more-countries-toward-nuclear-weapons-/106911218
abc.net.au
4
0
1
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 4mo ago
Replying to
@j_bertolotti@mathstodon.xyz My elderly mother sometimes puts her Kindle in a hands-free frame that holds it up in front of her, as it’s less tiring for her than holding it herself or having it sit flat on a table, and the frame comes with a remote to turn the pages.
10
0
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago
Replying to
@johncarlosbaez@mathstodon.xyz In previous cases of automating mathematical activities, we’ve usually known very explicitly exactly what we were doing: computing trig tables, enumerating and checking graphs for the 4-colour map theorem, etc. This makes it relatively easy to understand the time and memory resources required, and how far they can be scaled up before hitting computational complexity limits. It’s much less clear what LLMs are doing when arriving at these kinds of proofs, but it would be helpful if the people building and studying LLMs could make it equally transparent. My guess is that the “algorithm” being effectively performed here (though of course not explicitly programmed as such) is something roughly along the lines of: • extract a set P of relevant / related proofs from the literature • break P down into a set of suitably fine-grained steps, S • iterate through subsets of S looking for any collection of steps that will solve the problem It’s impressive that it’s possible to automate these three things at all, even as imperfectly as LLMs do them, but if this description is more or less correct then it will eventually hit the same kind of scaling issues as any other combinatorial approach. It might be possible to make this kind of smart-brute-force search more smart and less brutish in the manner of Alpha Go etc., but strategically pruning the decision trees for assembling valid proofs is likely to be much tougher than it was for Go.
10
8
3
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago
Replying to
@dpiponi@mathstodon.xyz Looking forward to the midterm election results coming down to which judges, ruling on district boundary changes, accept or reject the Axiom of Choice.
10
0
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 4mo ago
Replying to
@rk@mastodon.well.comhttps://en.wikipedia.org/wiki/Negative_gearing_in_Australia
en.wikipedia.org
7
0
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago
Replying to
@ghouston I suspect Trump’s actual plan is to invade the Vatican and install Vance as Pope.
3
1
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago
Replying to
@antopatriarca@mathstodon.xyz @johncarlosbaez@mathstodon.xyz It’s pattern matching that would allow it to discern what proofs from the literature are “relevant,” and what recomposition of parts of them “solve the problem”. Depending on exactly how various parts of this are divided between training and inference time, “the literature” might be limited to training data only, but I’m not really worried about that distinction when it comes to getting a handle on what the overall process is.
2
3
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago
Replying to
@mirth@mastodon.sdf.org @antopatriarca@mathstodon.xyz @johncarlosbaez@mathstodon.xyz Sure, but even in a worst-case scenario we have a very large capacity to experiment on these systems and test hypotheses about what they are effectively doing. There’s also a whole growing subfield of improving interpretability in general. We’re not stuck with black boxes; we can modify and inspect these systems as much as we like, so it seems unduly pessimistic to me to think that they will remain opaque.
2
1
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago
Replying to
@subjectsphinx@mathstodon.xyz I seriously doubt that, given how much more access we have to the structure and history of these models compared to the brain.
2
0
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago
Replying to
@mjd@mathstodon.xyz @dpiponi@mathstodon.xyz I used that once, for an application where I was hoping that the fast things would compensate for the terrible additions, but ... it probably wasn’t the best solution.
1
1
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 5mo ago
Replying to
@BoydStephenSmithJr@hachyderm.iohttps://en.wikipedia.org/wiki/Crossing_number_(knot_theory)
en.wikipedia.org
1
0
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 2mo ago
Australia is planning to replace SMS-based emergency alerts with a new system. There will be a test on Monday 27 July at 2pm AEST. https://www.ausalert.gov.au/alerts-explained/national-test “Will my device receive an AusAlert? AusAlerts work on many mobile phones, tablets and smartwatches. Devices don’t need a working SIM card. They are expected to work on: • iPhones 11 and up running iOS 26.4 or later • Apple Watch SE2, SE3, Series 6 and up running watchOS 26.4 or later • Android devices running Android 12 or later. Older Android phones and phones that don’t use iOS or Android might still receive AusAlerts.” The iPhone 11 was released in September 2019. My mother still uses the perfectly good iPhone 6S Plus the family bought her at the end of 2015. I bought my own first smartphone, a Motorola G10, in August 2021, and it only supports Android 11. “If you have an older device or use an alternate operating system (e.g. GrapheneOS, LineageOS), you may get a test alert with the heading ‘Presidential Alert’ or ‘Extreme Threat Alert’. The content of the alert will be the same. This is because some older devices don't follow Australian Standards and will display an American or international alert heading instead of the Australian 'AusAlert'.” [A “Presidential Alert” sounds like a warning that Trump ate a bad cheeseburger and is about to start another war.] The new system has advantages, but it ought to be treated as an additional channel, not a replacement for the existing SMS-based messages.
ausalert.gov.au
0
0
0
0
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 2mo ago
Data centres powered by gas or coal should be 100% steampunk, full of hissing, clanking Babbage engines, tended by grimy-faced urchins who risk being crushed between the gears as they clear out all the sparrow's-nest malware with chimney-sweep brushes. https://www.abc.net.au/news/2026-08-06/ai-data-centres-gas-northern-territory/107002860
abc.net.au
0
0
0
1
Open post
Greg Egan @gregeganSF@mathstodon.xyz
· 2mo ago
“All previous identifications of asteroids with a neck have been interpreted as ‘bilobates’, having just two lobes, but (44) Nysa has a unique ‘trilobate’ structure.” https://www.eso.org/public/videos/potw2631a/
eso.org
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 22:13:17 UTC